[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
๐Parsing
Flag this post
A fresh look at the Spring Framework
infoworld.comยท4h
๐จAPI Design
Flag this post
The correspondence theory: How supercompatibility conditions, transformations twins, and austenite-martensite interfaces are determined directly from correspond...
arxiv.orgยท1d
๐จComputer Graphics
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
๐ฆRust Macros
Flag this post
Scala vs F#
alexn.orgยท4d
ฮปFunctional Programming
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.orgยท8h
๐ซEffect Systems
Flag this post
Create a Text Editor With Go - Setup
๐Neovim
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.orgยท8h
๐ฑEdge AI
Flag this post
The older I get, the better my code becomes
๐งDevOps
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
๐MLOps
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.orgยท1d
๐งฎSMT Solvers
Flag this post
Learning React and React Native
โ๏ธReact
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท1d
โFormal Verification
Flag this post
Loading...Loading more...