Just curious
Ask HN: What's new in theoretical CS these days?
1–10 of 19 posts
Re: Ask HN: What's new in theoretical CS these days?
#2Most bleeding edge stuff is going to be designing the compute pipelines/hardware for ML.
Re: Ask HN: What's new in theoretical CS these days?
#3[dead]
Re: Ask HN: What's new in theoretical CS these days?
#4Most bleeding edge stuff is going to be designing the compute pipelines/hardware for ML.
I could be wrong, but I think the OP was asking about "CS Theory" meaning the branch of computer science that deals with the theory of computation. Turing Machines, Automata, The Halting Problem, etc. Although those things are all old. I'm not sure what's new, so I can't answer his question.
Re: Ask HN: What's new in theoretical CS these days?
#5Most bleeding edge stuff is going to be designing the compute pipelines/hardware for ML.
That isn’t theoretical computer science. In this day and age, that’s firmly in the hands of engineers.
And while AI might be the current big thing, I don’t imagine it will be at the forefront of engineering. I think quantum computing takes the prize there.
Re: Ask HN: What's new in theoretical CS these days?
#6Most bleeding edge stuff is going to be designing the compute pipelines/hardware for ML.
Programming language pl research in haskell omega has a lot of bleeding edge theoretical cs stuff too
Re: Ask HN: What's new in theoretical CS these days?
#7Lisp is making a comeback
Re: Ask HN: What's new in theoretical CS these days?
#8Lisp is making a comeback
Lisp has been making a comeback since the 60s
Re: Ask HN: What's new in theoretical CS these days?
#9Re: Ask HN: What's new in theoretical CS these days?
#10Koka [1] has “algebraic effect handlers” which are pretty cool. An alternative to monads for modeling effects in a sound way.
Lots of advances in theory of gradual typing. See with by Ben Greenman et al.
That’s just stuff from my neck of the woods. (PL) I would recommend reading stuff from POPL or ICFP or OOPSLA.