Latest News
⚑ Report a ProblemTech news from the best sources
All topics
- игры
AI
Gear
News
Tech
agents
ai
api
architecture
automation
beginners
career
database
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
A Design Space Exploration of Async/Await
Abstract: Many modern programming languages include some form of asynchronous programming. In particular, a growing number now have what we call str…
Modelling Actors with Redex: Part I
The link goes to the first of three articles in a recently-completed series: Part I: The Functional Fragment: ISWIM in Redex Part II: The Communicat…
Why Rocq is better than Lean for program verification
A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs. Comments