実務で使っているClaude Codeの開発環境の紹介
zenn.dev·2d
🇯🇵Japanese Computing
Going on the Offensive with Creative Strategy
rogermartin.medium.com·23h·
Discuss: Hacker News
🎯Proof Tactics
Code is just a lossy projection of intent, according to OpenAI researcher Sean Grove
the-decoder.com·3h
⚖️Hoare Logic
original ↗
lmika.org·17h
🔓Reverse engineering
How to Build Agents Users Can Trust
builders.ramp.com·2d·
Discuss: Hacker News
🔗Constraint Handling
LLMs are telepathy. We just don't know it yet
monarchwadia.com·1d·
Discuss: Hacker News
🏛Digital humanities
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·15m·
Discuss: Hacker News
🧲RISC-V Preservation
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·4d·
Discuss: r/MachineLearning
📏Linear Logic
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·3d
⚔️Lean Tactics
DpDNet: An Dual-Prompt-Driven Network for Universal PET-CT Segmentation
arxiv.org·1d
🧠Machine Learning
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·3d
🧮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·2d
🔄Archival Workflows
I ported the jsmn C JSON tokenizer to Go with goroutines for parallel parsing, seeking feedback
reddit.com·13h·
Discuss: r/golang
🔗Monadic Parsing
Why C and C++ Still Matter in the Age of Python and AI
dev.to·19h·
Discuss: DEV
🔩Systems Programming
(Attempting to) Engineer the chaos out of AI agents
dev.to·23h·
Discuss: DEV
⚔️Lean Tactics
Basic To-Do List App
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Crunching The News For Fun And Little Profit
hackaday.com·3d
📰RSS Archaeology
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·1d
📐Linear Algebra
Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
arxiv.org·4d
🎙️Whisper