Missing Critical Security Headers in OpenBlow
seclists.org·1h
🛡️Security Headers
実務で使っているClaude Codeの開発環境の紹介
zenn.dev·2d
🇯🇵Japanese Computing
Writing Custom Open-Source UI for Vivaldi Browser
velzie.rip·4h·
Discuss: Hacker News
🌐Web Standards
Going on the Offensive with Creative Strategy
rogermartin.medium.com·1d·
Discuss: Hacker News
🎯Proof Tactics
Code is just a lossy projection of intent, according to OpenAI researcher Sean Grove
the-decoder.com·14h
⚖️Hoare Logic
Ready lists
11011110.github.io·5d·
Discuss: Hacker News
🎨Graph Coloring
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·4d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
original ↗
lmika.org·1d
🔓Reverse engineering
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·5d·
Discuss: r/MachineLearning
📏Linear Logic
LLMs are telepathy. We just don't know it yet
monarchwadia.com·2d·
Discuss: Hacker News
🏛Digital humanities
I ported the jsmn C JSON tokenizer to Go with goroutines for parallel parsing, seeking feedback
reddit.com·1d·
Discuss: r/golang
🔗Monadic Parsing
Show HN: ArchGW – an intelligent edge and service proxy for agents
news.ycombinator.com·5h·
Discuss: Hacker News
🔌Interface Evolution
Machine Learning Fundamentals: cross validation tutorial
dev.to·2d·
Discuss: DEV
🌊Stream Processing
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·4d
🧮Datalog Engines
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·3d
🔄Archival Workflows
(Attempting to) Engineer the chaos out of AI agents
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Basic To-Do List App
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·2d
📐Linear Algebra
Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
arxiv.org·5d
🎙️Whisper
What are the most effective practices, tools, and methodologies your Data & AI team follows to stay productive, aligned, and impactful? [D]
reddit.com·9h·
Discuss: r/MachineLearning
🔄Archival Workflows