Intermediary between public and private members
Say I were to have a struct Foo { pub public: Bar, restricted: Qux } where ‘restricted’ is some member variable which I want to be able to get, but…
AI & ML
⚑ Сообщить о проблемеПоследние новости AI & ML от Tech News
Все темы
AI
News
Tech
agents
ai
api
architecture
automation
beginners
career
claude
database
devchallenge
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
Bidirectional Type Slicing
Abstract: Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing that answ…
Is truth futureproof? On the possible futures of mechanized proofs
Interactive theorem provers play increasingly important roles in the programming languages and mathematics communities, resulting in a large body of…
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
Parallelizing Compilation: In-Process vs Multi-Process
I'm not sure if there are already good names for this, but I can't find anything useful when I look online. Obviously, when compiling programs, para…