When will `type A = impl Trait` where A is associated type become stable?
github.comยท2dยท
Discuss: r/rust
๐Ÿ“ฆSerde
Flag this post
My dumb prompts that worked better
blog.nilenso.comยท2d
๐Ÿ’ฌPrompt Engineering
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.orgยท2dยท
Discuss: Lobsters
๐Ÿ“TLA+
Flag this post
I've created a leetcode for system design
reddit.comยท19hยท
Discuss: r/programming
๐ŸŽจDesign Systems
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท1dยท
โš™๏ธSystems Programming
Flag this post
Can-t stop till you get enough
cant.bearblog.devยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท5dยท
Discuss: Hacker News
๐Ÿ”จCompiler Design
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท2hยท
Discuss: DEV
๐ŸŒฟTrie Structures
Flag this post
New to C, did a string interning library.
reddit.comยท8hยท
โš™๏ธZig
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ตGo
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท6d
๐ŸงฎSMT Solvers
Flag this post
DentalSplat: Dental Occlusion Novel View Synthesis from Sparse Intra-Oral Photographs
arxiv.orgยท3h
๐Ÿ‘๏ธComputer Vision
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.orgยท2d
๐Ÿš€MLOps
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.orgยท2d
๐Ÿ’ฌPrompt Engineering
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.orgยท1d
๐Ÿง Machine Learning
Flag this post
Periodic Skill Discovery
arxiv.orgยท3h
๐ŸŽฏReinforcement Learning
Flag this post
From AI to NLP: The Four Phases of Language Understanding
dev.toยท12hยท
Discuss: DEV
๐Ÿ’ฌNatural Language Processing
Flag this post
Explaining Human Choice Probabilities with Simple Vector Representations
arxiv.orgยท3h
๐ŸŽฏReinforcement Learning
Flag this post
Prompting for Policy: Forecasting Macroeconomic Scenarios with Synthetic LLM Personas
arxiv.orgยท1d
๐Ÿ’ฌPrompt Engineering
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.orgยท2d
๐Ÿ’ฌPrompt Engineering
Flag this post