Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·22h·
Discuss: Hacker News
🚀MLOps
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·3d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·16h
🔥PyTorch
Flag this post
Automated Cost-Benefit Analysis for Synthetic Biology Gene Synthesis Services
dev.to·4h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
⚛️Quantum Computing
Flag this post
Mastering Angular Signals: A Complete Guide Beyond RxJS
dev.to·10h·
Discuss: DEV
🌐Axum
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, r/LLM
🤖Transformers
Flag this post
Can LLMs subtract numbers?
arxiv.org·16h·
Discuss: Hacker News
📝Parsing
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
All decisions are wrong, but some are better
dev.to·1d·
Discuss: DEV
🎨Design Systems
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
Managing long contexts in agentic coding systems
cto.new·5h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Automated REST API Anomaly Detection via Graph Neural Network-Driven Causal Inference
dev.to·3h·
Discuss: DEV
📱Edge AI
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
💬Prompt Engineering
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·16h
📐Linear Algebra
Flag this post
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·3h·
Discuss: DEV
🎨API Design
Flag this post