Side Effect Analysis, Purity Tracking, Effect Polymorphism, Type-and-Effect Systems

Reconfigurable modules ease analog design
edn.com·1h
Control Synthesis
Flag this post
Brain atlas reveals genetic risks for cancer and mental illness
ft.com·1d
🗺️Region Inference
Flag this post
9 Malicious NuGet Packages Deliver Time-Delayed Destructive Payloads
socket.dev·8h
🛡️Parser Security
Flag this post
Embedded SW DEV vs RF/High Frequency Validation Engineer.
reddit.com·4h·
Discuss: r/embedded
📚Forth
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.com·2d
🛡️Parser Security
Flag this post
LLMs Add Safety Risks To Physical AI
semiengineering.com·19h
🏰Capability Machines
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·3d·
Discuss: Hacker News
🎲Parser Fuzzing
Flag this post
Document Chat System
document-chat-system.vercel.app·4h·
Discuss: Hacker News
🔄Incremental Lexing
Flag this post
BIM Modeling Unlocks Value in Construction Estimation
dev.to·1d·
Discuss: DEV
📦Dependency Analysis
Flag this post
Sex and age shape Batten disease progression, brainwave study finds
medicalxpress.com·6h
🗺️Region Polymorphism
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·2d
Partial Evaluation
Flag this post
Intent-Driven Assertions are Redefining How We Test Software
dev.to·13h·
Discuss: DEV
🧪Test DSLs
Flag this post
The Double-Edged Revolution
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·1d
🪜Recursive Descent
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·1d·
Discuss: Hacker News
Gleam
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·2d
🚂Error Propagation
Flag this post
Lymphoid gene expression supports neuroprotective microglia function
nature.com·1d
🗺️Region Polymorphism
Flag this post
NAP: Attention-Based Late Fusion for Automatic Sleep Staging
arxiv.org·22h
🔄Subinterpreters
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·13h·
Discuss: DEV
🎮Language Ergonomics
Flag this post