Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·2d
🐫OCaml
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·3d
💎Refinement Types
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·1d·
Discuss: Hacker News
❄️Nixified Development
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Generating Website Banners Algorithmically
golfed.xyz·1h·
Discuss: Hacker News
💾Retro Computing
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·2d
✓Automated Theorem Proving
Adventures in C++ Game Architecture
hoboker.substack.com·2d·
Discuss: Substack, r/programming
🔬Static Analysis
Lessons in Disabling RC4 in Active Directory
syfuhs.net·2h·
Discuss: Hacker News
🛡️seL4
Collecting my thoughts about notation and user interfaces
interconnected.org·1h·
Discuss: Hacker News
🔄Finite State Machines
A Robot Wrote My Research
particle.scitech.org.au·31m·
Discuss: Hacker News
✓Automated Theorem Proving
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·43m·
Discuss: Hacker News
➡️Category Theory
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·12h·
Discuss: Hacker News
🐫Embedded OCaml
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·2d
📚Automata Learning
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·3d
✅Model Checking
Tricks from OpenAI gpt-oss YOU 🫵 can use with transformers
huggingface.co·15h·
Discuss: Hacker News, r/LocalLLaMA
🔧Unikernel Development
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Using Haskell in Production
agentultra.com·1d·
Discuss: Hacker News
🔠Type-Level Programming