Show HN: I built an edge ML system to detect and classify trick-or-treaters
🔮Type Inference Visualization
Flag this post
Open Source Hardware Certifications for October 2025
makezine.com·5h
🌐Portable Assembly
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·2d
✅Configuration Validation
Flag this post
Fil-C
graydon2.dreamwidth.org·5h
🌱Forth Kernels
Flag this post
DevTrends MCP – Real-Time Developer Intelligence for AI Coding Assistants
🎮Language Ergonomics
Flag this post
I really like Promptfoo for testing prompts, so I wrote an article on how to use it to test prompts with different models and various assert types. Let me know ...
💬Interactive REPLs
Flag this post
Remote Director Data Engineering
remoteok.com·1d
🔐Capability Protocols
Flag this post
Three-Terminal Memtransistors for Decentralized Edge Applications (Penn State, NIWC)
semiengineering.com·1d
🔬Nanopasses
Flag this post
LinEAS: End-to-end Learning of Activation Steering with a Distributional Loss
machinelearning.apple.com·3d
🪜Recursive Descent
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✅Type Checking
Flag this post
The 2-hour upgrade: coder engineer
🎮Language Ergonomics
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🎮Language Ergonomics
Flag this post
Adapting Self-Supervised Representations as a Latent Space for Efficient Generation
machinelearning.apple.com·2d
🗺️Region Polymorphism
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
🪜Recursive Descent
Flag this post
Loading...Loading more...