It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.orgยท4d
๐ŸŒNetworkProtocols
How to Discover a CSS Trick
css-tricks.comยท2d
๐Ÿ“Mathematical Art
LazyVim for Ambitious Developers (Book)
lazyvim-ambitious-devs.phillips.codesยท1dยท
Discuss: Hacker News
โŸทBidirectional Programming
I built a board of 4 AIs and discovered their secret chat about me
gladicalexandru.medium.comยท22hยท
Discuss: Hacker News
๐Ÿ•ต๏ธVector Smuggling
Use Your Type System
dzombak.comยท3dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
AI Image Maker
aiimagemaker.netยท1dยท
Discuss: Hacker News
๐Ÿ“ธTIFF Evolution
Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
More Than Code
deadprogrammersociety.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Caught a vibe that this coding trend might cause problems
theregister.comยท2dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Personalized AI is rerunning the worst part of social media's playbook
helentoner.substack.comยท1dยท
Discuss: Substack
๐ŸŽ›๏ธFeed Filtering
Reacting to Andrej Karpathy's Talk, "Software Is Changing (Again)"
erdiizgi.comยท3dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Whys and Hows of Apply Family of Functions in R
dev.toยท4dยท
Discuss: DEV
๐Ÿ“Linear Algebra
AI Recommendation Engine with Redis
dev.toยท1dยท
Discuss: DEV
๐Ÿ—‚๏ธVector Databases
PyCon Portugal 2025 talks mafia
mathspp.comยท5h
๐ŸŒProtocol Synthesis
Unposed 3DGS Reconstruction with Probabilistic Procrustes Mapping
arxiv.orgยท2d
๐Ÿ“Projective Geometry
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.orgยท5d
๐Ÿง Intelligence Compression
Getting structured JSON from LLMs in C#
dev.toยท2dยท
Discuss: DEV
โœ…Format Verification
Sequential Bayesian Design for Efficient Surrogate Construction in the Inversion of Darcy Flows
arxiv.orgยท3d
๐ŸŒ€Differential Geometry
Exploring the Potential of LLMs for Serendipity Evaluation in Recommender Systems
arxiv.orgยท3d
๐ŸŽฏRecommendation Metrics
Does Vibe Coding Produce Adequate Documentation and Code Comments?
dev.toยท22hยท
Discuss: DEV
๐Ÿ”„Language Evolution