When will `type A = impl Trait` where A is associated type become stable?
github.comยท1dยท
Discuss: r/rust
๐Ÿ“ฆSerde
Flag this post
My dumb prompts that worked better
blog.nilenso.comยท1d
๐Ÿ’ฌPrompt Engineering
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.orgยท2dยท
Discuss: Lobsters
๐Ÿ“TLA+
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.comยท2dยท
๐Ÿฆ€Rust Macros
Flag this post
I've created a leetcode for system design
reddit.comยท10hยท
Discuss: r/programming
๐ŸŽจDesign Systems
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท22hยท
โš™๏ธSystems Programming
Flag this post
Can-t stop till you get enough
cant.bearblog.devยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.comยท15hยท
Discuss: Hacker News
๐Ÿ”ตGo
Flag this post
Autonomous Spectral Anomaly Mapping via Recurrent Kalman Filtering in Seabed Gravimetry
dev.toยท5hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.orgยท18h
๐Ÿ’ฌPrompt Engineering
Flag this post
Unlocking Logic's Secrets: BoolSkeleton โ€“ Streamlining Boolean Networks for Peak Performance by Arvind Sundararajan
dev.toยท57mยท
Discuss: DEV
๐ŸงฎSMT Solvers
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.orgยท1d
๐ŸŒณTree-sitter
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.toยท8hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท5dยท
Discuss: Hacker News
๐Ÿ”จCompiler Design
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.orgยท1d
๐Ÿ’ฌPrompt Engineering
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.orgยท18h
๐Ÿ’ซEffect Systems
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠDynamic Programming
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.orgยท1d
๐ŸงฎSMT Solvers
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.orgยท1d
๐Ÿ“ŠProfile-Guided Optimization
Flag this post