AI and Programming Language Communities
jerf.org·16h
🎯Gradual Typing
Measuring Validity and Reliability of Human Ratings
unofficialgoogledatascience.com·2h·
Discuss: Hacker News
🧠Intelligence Compression
Why Most SBOMs Fail and What to Do About It
ovalenzuela.com·1d·
Discuss: Hacker News
✅Format Validation
I built a tool to generate quizzes from PDFs in seconds
quizora.co·52m·
Discuss: Hacker News
🏛Digital humanities
The Guide to the Foundation Models Framework
azamsharp.com·2d·
Discuss: Hacker News
λLambda Formalization
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·2d·
Discuss: Hacker News
🦀Rust Macros
How AI Agents Gather Data
blog.dust.tt·19h·
Discuss: Hacker News
📥Feed Aggregation
Prototype AI-Powered Apps with Claude Artifacts
support.anthropic.com·22h·
Discuss: Hacker News
🔌Interface Evolution
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·3d
🐛Fuzzing
SAC: A Framework for Measuring and Inducing Personality Traits in LLMs with Dynamic Intensity Control
arxiv.org·12h
🧠Intelligence Compression
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·2d
🔗Topological Sorting
Playwright: Using Cognito to Log In for Your E2E Tests
dev.to·1d·
Discuss: DEV
🧪CBOR Fuzzing
Building a Laravel Blog with ChatGPT Codex
dev.to·4h·
Discuss: DEV
🦀Rust Macros
Writing Toy Software Is a Joy
quiz.businessexplain.com·1d·
Discuss: Hacker News
🔩Systems Programming
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.org·3d
⚔️Lean Tactics
Machine Learning Fundamentals: adam optimizer
dev.to·1d·
Discuss: DEV
📊Quantization
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·3d
💻Local LLMs
Day 6/100: Numbers, Arithmetic, and Type Conversion
dev.to·2h·
Discuss: DEV
🧮Algebraic Datatypes
LR(1) parse-tables generator
github.com·3d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Developing AI-Powered Applications with LLMs on Google Cloud
dev.to·4h·
Discuss: DEV
🎙️Whisper