Making asm.js/WebAssembly compilation more parallel in Firefox
bouvier.ccΒ·15h
πŸ—οΈCompiler Archaeology
Flag this post
The Art and Discipline of Prompt Engineering
cacm.acm.orgΒ·16h
⚑Proof Automation
Flag this post
Quiz: Using Python Optional Arguments When Defining Functions
realpython.comΒ·22h
πŸ”—Lisp
Flag this post
Is Your Data Valid? Why Bufstream Guarantees What Kafka Can't
vutr.substack.comΒ·7hΒ·
Discuss: Substack
🌊Streaming Systems
Flag this post
The Future of Coding – From Syntax to Intention
future.forem.comΒ·3hΒ·
Discuss: DEV
πŸ› Language Design
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.comΒ·3dΒ·
πŸ’»Programming languages
Flag this post
AgentKit: How Efficient Laziness Fixes Fragile LLM Workflows
dev.toΒ·1dΒ·
Discuss: DEV
βš™οΈProof Engineering
Flag this post
Adaptive Transformer Architecture Optimization via Hyper-parameter Exploration and Reinforcement Learning
dev.toΒ·10hΒ·
Discuss: DEV
⚑Z3 Optimization
Flag this post
MAGIC-Flow: Multiscale Adaptive Conditional Flows for Generation and Interpretable Classification
arxiv.orgΒ·6h
πŸ”Vector Forensics
Flag this post
Morphologically Intelligent Perturbation Prediction with FORM
arxiv.orgΒ·1d
πŸŒ€Differential Geometry
Flag this post
[R] Review of a ML application to Parkinson's disease diagnosis paper
reddit.comΒ·2hΒ·
πŸ”Information Retrieval
Flag this post
Excision Score: Evaluating Edits with Surgical Precision
arxiv.orgΒ·1d
⛏️File Carving
Flag this post
Code Like a Master Builder: AI-Powered Program Composition
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Compiler Design
Flag this post
Can Confidence Estimates Decide When Chain-of-thought is Necessary for Llms?
arxiv.orgΒ·1d
πŸ’»Local LLMs
Flag this post
SecureLearn - An Attack-agnostic Defense for Multiclass Machine Learning Against Data Poisoning Attacks
arxiv.orgΒ·6h
πŸ”Vector Forensics
Flag this post
Exploration through Generation: Applying GFlowNets to Structured Search
arxiv.orgΒ·6h
πŸ•ΈοΈGraph Embeddings
Flag this post
Neural Networks for AC Optimal Power Flow: Improving Worst-Case Guarantees during Training
arxiv.orgΒ·6h
🎯Performance Proofs
Flag this post
The Fruit Fly's Secret to Fault-Tolerant AI: Redundancy Done Right
dev.toΒ·11hΒ·
Discuss: DEV
πŸ›‘οΈError Boundaries
Flag this post