Show more

First up is On Computable Numbers, with an Application to the Entscheidungsproblem, written and directed by the one and only Alan Turing in 1936. If you know of any famous CS paper, it's probably this one.

Here, Turing both invents Turing machines, which are the most powerful model of computation currently available, and uses them to produce a negative answer to the decision problem, which has important implications for logic problems in CS.

cs.virginia.edu/~robins/Turing

Show thread

Alright, buckle up -- I've had enough of some of you fools making fun of my field.

This thread is a computer science reading list. I will be updating it every whenever.

I will be focusing on papers that are foundational or that I find especially aesthetically pleasing.

i still can't believe i own this domain

sebastian boosted

introspection??? idk 

i have returned to the stomping grounds

sebastian boosted

git pro tip:

Add the following lines to ~/.gitignore_global instead of keeping it in a separate .gitignore per project:

.DS_Store
*~
*.bak
*.class

Can you come up with more globally sensible extensions to add? Add them to this thread!

do droids say:

sebastian boosted

D&D lets you live out all kinds of fantasies, such as:
-Having everyone call you by your preferred name and gender
-Having a big group of friends who do everything together
-Making a reasonable wage as a freelancer
-Being able to murder the terrible leadership of your country
-Getting 8 hours of sleep

sebastian boosted

minor Rise of Skywalker, Avengers Endgame spoilers 

sebastian boosted

I really love Dave Walden's introduction to his 1970 paper "A System for Interprocess Communication in a Resource Sharing Computer Network", aka RFC 62. You think he's setting up to say the first way is better than the second, but then he hits you with, "actually I'm doing both."

rfc-editor.org/rfc/rfc62.txt

sebastian boosted

People need to know that they do NOT HAVE TO PAY for having a website, shell access, gopher site, free radio shows...
AND you do not have to pay by selling your soul and attention by advertizing!
Free - as in freedom/freespeech AND free as in free beer for decades are available at
sdf.org/ and at
tildeverse.org/
Yes, they solicit donations, but not ravenously upon your attention span.
You can have a website. You can be a radio DJ with a scheduled show!! Come on! Boost!

hi hello why is Haskell package management such hot garbage

u wanna check stack's version? Get ready for stack exec stack -- --version

I can't

All we ever see of stars are their old photographs.

sebastian boosted
You may have heard of hy, the Lispish syntax for Python, but have you heard of dg?

pyos.github.io/dg/

It's a Haskellish syntax for Python, offensive to Haskellers and Pythonistas alike!

It doesn't go via the ast, but straight to bytecode.

@python @esolang
sebastian boosted

You are at her dinner party, I am on my couch texting "yeah i'm heading out now" every 15-20 minutes until the party is over. We are not the same

👏 A 👏 BLOCKCHAIN 👏 IS 👏 JUST 👏 A 👏 LINKED 👏 LIST 👏 WITH 👏 AN 👏 ATTITUDE 👏 PROBLEM 👏 AND 👏 A 👏 NETWORK 👏 SYNCHRONIZATION 👏 PROTOCOL 👏 THAT'S 👏 SLOWLY 👏 DESTROYING 👏 THE 👏 PLANET 👏

Show more
Mastodon

Jazz.af is a microblogging community for tech creatives. Talk about what you're making, or just hang out. Chill, like jazz.