New in our electronic #collection:

➡️ Paradata : documenting #data creation, curation and use

🔗 https://doi.org/10.1017/9781009366564

Paradata helps explain where data comes from and how it’s created, making it easier to understand, access and reuse. This book introduces the key concepts, methods and models of paradata for researchers, students and data managers.

#Datascience #Metadata #OpenAccess #OpenScience #Books #Bookstodon #Science #ComputerScience

New in our electronic #collection:

➡️ Paradata : documenting #data creation, curation and use

🔗 https://doi.org/10.1017/9781009366564

Paradata helps explain where data comes from and how it’s created, making it easier to understand, access and reuse. This book introduces the key concepts, methods and models of paradata for researchers, students and data managers.

#Datascience #Metadata #OpenAccess #OpenScience #Books #Bookstodon #Science #ComputerScience

Dear #ComputerScience and #Mathmatics Fedi,

Undergraduate computer scientist and mathematician here.

I've been consulting style guides and a few papers, and learning TeX, but I want to be taken seriously and see how to present my work in the style and format of a scientific/technical paper.

I’m struggling and I was hoping to get lots of examples of papers to help me learn the style and format that would be suitable for journal publication.

I’d be grateful of any assistance. Thank you!

Dear #ComputerScience and #Mathmatics Fedi,

Undergraduate computer scientist and mathematician here.

I've been consulting style guides and a few papers, and learning TeX, but I want to be taken seriously and see how to present my work in the style and format of a scientific/technical paper.

I’m struggling and I was hoping to get lots of examples of papers to help me learn the style and format that would be suitable for journal publication.

I’d be grateful of any assistance. Thank you!

The Manuscripts of Edsger W. Dijkstra

https://www.cs.utexas.edu/~EWD/

#HackerNews #EdsgerDijkstra #Manuscripts #ComputerScience #Programming #History #TechInnovation

Syntax and Semantics of Programming Languages (1995)

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/

#HackerNews #Syntax #Semantics #ProgrammingLanguages #1995 #ComputerScience #HackerNews

Syntax and Semantics of Programming Languages

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/

#HackerNews #Syntax #Semantics #ProgrammingLanguages #ComputerScience #HackerNews

@bits For an even more basic understanding of concepts, I recommend this PVS Crash Course Computer Science series. This episode walks you through a very basic CPU with a simple instruction set to understand the concepts. I really appreciate the visual step-by-step. The following episodes moves more into assembly. It was a great base for me to start reading more about the more complicated instruction sets in this blog post.

https://www.pbs.org/video/the-central-processing-unit-cpu-crash-course-computer-sci-v5aynn/

#ComputerScience #ComputerProgramming

@bits For an even more basic understanding of concepts, I recommend this PVS Crash Course Computer Science series. This episode walks you through a very basic CPU with a simple instruction set to understand the concepts. I really appreciate the visual step-by-step. The following episodes moves more into assembly. It was a great base for me to start reading more about the more complicated instruction sets in this blog post.

https://www.pbs.org/video/the-central-processing-unit-cpu-crash-course-computer-sci-v5aynn/

#ComputerScience #ComputerProgramming

arXiv No Longer Accepts Computer Science Position or Review Papers Due to LLMs

https://blog.arxiv.org/2025/10/31/attention-authors-updated-practice-for-review-articles-and-position-papers-in-arxiv-cs-category/

#HackerNews #arXiv #LLMs #ComputerScience #ResearchUpdates #AcademicPublishing

This question is for those who specialized in theoretical computer science and left academia at some point:
What to you do as a paid job now?

Edit: The "theoretical" is important.

#ComputerScience

This question is for those who specialized in theoretical computer science and left academia at some point:
What to you do as a paid job now?

Edit: The "theoretical" is important.

#ComputerScience

@brianb It would be a good day to let your high school #chemistry (and #computerscience ) students see that "¡Las Moléculas son Bellas!" https://www.youtube.com/live/Wlp8sqUmQ18

got some Abstract State Machines executin' from the CoreASM project.

https://github.com/CoreASM/coreasm.core

very satisfying - minimal bitrot! although the repo does not include the many ASM specifications included in the PhD dissertation:

https://summit.sfu.ca/_flysystem/fedora/sfu_migrate/9719/ETD4729.pdf

#systemsEngineering #computerScience #languageSpecification

Why Busy Beaver Hunters Fear the Antihydra

https://benbrubaker.com/why-busy-beaver-hunters-fear-the-antihydra/

#HackerNews #BusyBeaver #Antihydra #ComputerScience #ComplexityTheory #TechNews

The project “SAPIENCE: Symbols, Preliteracy and Code Evolution” (U Bologna) has 7 post-doc positions open, including one in #DigitalHumanities, #ComputationalLinguistics or #ComputerScience (No. 2):
https://www.sapience-fis.com/jobs/ #fedihumjobs

The project “SAPIENCE: Symbols, Preliteracy and Code Evolution” (U Bologna) has 7 post-doc positions open, including one in #DigitalHumanities, #ComputationalLinguistics or #ComputerScience (No. 2):
https://www.sapience-fis.com/jobs/ #fedihumjobs

Team claims to have Lean 4 proof that P≠NP

https://arxiv.org/abs/2510.17829

#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews

Team claims to have Lean 4 proof that P≠NP

https://arxiv.org/abs/2510.17829

#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews