Binary Search in Haskell and Rust
mmhaskell.com·4d
📐Interval Arithmetic
Defold editor scripting adds scene editing in 1.10.4
defold.com·13h·
Discuss: Hacker News
🦀Rust Macros
SEO, Logorrhoea and the Rise of Sick AI
purpleorca.co.uk·13h·
Discuss: Hacker News
🌀Brotli Internals
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·1d·
Discuss: Hacker News
⚡gRPC
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
🔗Constraint Handling
🐍 My Python Journey: Week 3 – The Realm of Operators
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
[D] Automatic system prompt generation from a task + data
reddit.com·7h·
Discuss: r/MachineLearning
⚡Proof Automation
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
💻Programming languages
Cactus Language • Stylistics 2
inquiryintoinquiry.com·2d
💻Programming languages
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
📏Code Metrics
Object Oriented Programming is an expensive disaster which must end
medium.com·2d·
Discuss: Hacker News
💻Programming languages
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·1d·
Discuss: Hacker News
🌊Stream Processing
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
⚡Incremental Computation
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·13h·
Discuss: Hacker News
🦀Rust Macros
Are You Being Unfair to LLMs?
towardsdatascience.com·3h
💻Local LLMs
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·2d
🧮Kolmogorov Complexity
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
📏Code Metrics
“Craft in the Real World”: Advice for writing workshops that is relevant more generally
statmodeling.stat.columbia.edu·8h
📕Bookbinding