Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·9h·
Discuss: Hacker News
⚙️Compilers
Flag this post
1967 speech about progress, computers, and staying human in an age of automation
mynamelowercase.com·1d·
Discuss: Hacker News
💻operating systems
Flag this post
Front-Panel Booting an ATmega88 Microcontroller
linusakesson.net·1d
💻operating systems
Flag this post
Longreads + Open Thread
thediff.co·1d
🌐Computer Networks
Flag this post
Foundation Models for Scientific Discovery: From Paradigm Enhancement toParadigm Transition
dev.to·17h·
Discuss: DEV
💻programming languages
Flag this post
Sonnet 3.5 vs 4.5: A real-world comparison debugging PostgreSQL internals
github.com·8h·
Discuss: r/ClaudeAI
⚙️Compilers
Flag this post
Navigating the Future: Technical Deep Dive into Modern Automotive Map Data Pipelines
dev.to·18h·
Discuss: DEV
⚙️Compilers
Flag this post
Show HN: PyNIFE. 400-900× speedup for embedding-based retrieval pipelines
github.com·23h·
Discuss: Hacker News
⚙️Compilers
Flag this post
SciDaSynth: Interactive Structured Data Extraction from Sci Literature with LLM
onlinelibrary.wiley.com·21h·
Discuss: Hacker News
⚙️Compilers
Flag this post
AI's Cost: Human Displacement and Environmental Destruction
dev.to·9h·
Discuss: DEV
💻operating systems
Flag this post
Weekly Challenge: Longest Expression
dev.to·15h·
Discuss: DEV
💻programming languages
Flag this post
InfiMed-ORBIT: Aligning LLMs on Open-Ended Complex Tasks via Rubric-BasedIncremental Training
paperium.net·21h·
Discuss: DEV
⚙️Compilers
Flag this post
Interpreter with 900 limit on recursion
reddit.com·3h·
Discuss: r/rust
⚙️Compilers
Flag this post
Stop Guessing! AI That Explains Its Algorithm Choices is Finally Here
dev.to·3h·
Discuss: DEV
🌐Computer Networks
Flag this post
Advice on Recreating a System Like Felix's (PewDiePie) for Single-GPU Use
reddit.com·3h·
Discuss: r/LLM
⚙️Compilers
Flag this post
How do you organize your notes without overthinking it?
reddit.com·10h·
Discuss: r/ObsidianMD
💻operating systems
Flag this post
What if your app's logic was written in... plain English? A crazy experiment with on-device LLMs!
dev.to·18h·
Discuss: DEV
⚙️Compilers
Flag this post
PhD AI Research: Local LLM Inference — One MacBook Pro or Workstation + Laptop Setup?
reddit.com·9h·
Discuss: r/LocalLLaMA
⚙️Compilers
Flag this post
My recent experiences with Haiku 4.5 for NON CODE purposes that were still complex
reddit.com·13h·
Discuss: r/ClaudeAI
💻programming languages
Flag this post
Unlocking Out-of-Distribution Generalization in Transformers via RecursiveLatent Space Reasoning
paperium.net·1d·
Discuss: DEV
⚙️Compilers
Flag this post