Show HN: Bedrock โ€“ An 8-bit computing system for running programs anywhere
benbridle.comยท2dยท
Discuss: Hacker News
๐Ÿ“บVT100 Emulation
Writing Custom Open-Source UI for Vivaldi Browser
velzie.ripยท10hยท
Discuss: Hacker News
๐ŸŒWeb Standards
Code is just a lossy projection of intent, according to OpenAI researcher Sean Grove
the-decoder.comยท21h
โš–๏ธHoare Logic
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.devยท5dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”’Type Safety
original โ†—
lmika.orgยท1d
๐Ÿ”“Reverse engineering
LLMs are telepathy. We just don't know it yet
monarchwadia.comยท2dยท
Discuss: Hacker News
๐Ÿ›Digital humanities
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
I created a new training dataset for stale SOTA LLMs
news.ycombinator.comยท18hยท
Discuss: Hacker News
๐ŸงฒRISC-V Preservation
I ported the jsmn C JSON tokenizer to Go with goroutines for parallel parsing, seeking feedback
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ”—Monadic Parsing
Machine Learning Fundamentals: cross validation tutorial
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
(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
Emergent misalignment as prompt sensitivity: A research note
arxiv.orgยท3d
โœจEffect Handlers
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.orgยท3d
๐ŸŽฏInteractive Provers
LightRag (Upgraded) + Multimodal RAG Just Revolutionized AI Forever
dev.toยท15hยท
Discuss: DEV
๐Ÿค–Archive Automation
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.comยท5dยท
Discuss: Hacker News
ฮปLambda Formalization
What are the most effective practices, tools, and methodologies your Data & AI team follows to stay productive, aligned, and impactful? [D]
reddit.comยท16hยท
Discuss: r/MachineLearning
๐Ÿ”„Archival Workflows
Build a conversational data assistant, Part 2 โ€“ Embedding generative business intelligence with Amazon Q in QuickSight
aws.amazon.comยท1d
๐Ÿ”Information Retrieval