Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Escape Analysis
Flag this post
Weak-To-Strong Generalization
lesswrong.comยท7h
๐คKleene Algebra
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
๐คProgram Synthesis
Flag this post
Bold Devlog - October Summary
๐OCaml Multicore
Flag this post
Ajla Tutorial
๐ซOCaml
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท2d
ฮปFunctional Programming
Flag this post
My first fifteen compilers (2019)
โ๏ธCompiler Design
Flag this post
What are you doing this weekend?
๐Nix Language
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.orgยท4h
โ๏ธNixOS
Flag this post
Smaller Surfaces
๐Refinement Types
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.comยท21h
๐ฆModule Systems
Flag this post
Speedrunning an RL Environment
๐ฎVerification Games
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท1d
๐คProgram Synthesis
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
๐ก๏ธmacOS Security
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท1d
๐ง Automated Reasoning
Flag this post
Loading...Loading more...