Feeds to Scour
SubscribedAll
Scoured 8516 posts in 219.7 ms
Code vs Serialized AST Inputs for LLM-Based Code Summarization: An Empirical Study
arxiv.org·1d
🔨Compilers
Impredicativity in Linear Dependent Type Theory
arxiv.org·15h
🔠Type-Level Programming
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·2d·
Discuss: r/node, r/reactjs
🔧ppx
Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package
jakebox.github.io·3d·
Discuss: Lobsters, Hacker News
❄️NixOS
Making Waffles with Group Theory
hmpcabral.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Memory and Learning layer be built in-house or bought externally?
medium.com·3h·
Discuss: Hacker News
📚Automata Learning
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·3d·
Discuss: Hacker News
⚙️Compiler Design
Learnings from Creating a GUI Library
blog.s-schoener.com·1d·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Quantization-Aware Distillation
ternarysearch.blogspot.com·2d·
Discuss: Hacker News
📚Automata Learning
The many masks LLMs wear
understandingai.org·1d·
Discuss: Hacker News
📚Automata Learning
Your VCL App: 4x to 11x Faster Math Performance with Elements
blogs.remobjects.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
LLMs could be, but shouldn't be compilers
alperenkeles.com·4d·
Discuss: Lobsters, Hacker News
⚙️Compiler Design
Finding My Spark Again: A Month with Codex
dragsbaek.tech·1d·
Discuss: Hacker News
🔧DevOps
Style tips for less experienced developers coding with AI
honnibal.dev·4d·
Discuss: Hacker News
λFunctional Programming
Some thoughts on LLM coding
blog.dave.tf·1d·
Discuss: Hacker News
🔬Static Analysis
Designing a Cost-Efficient Agentic System
p.agnihotry.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Portable C Compiler
en.wikipedia.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Togelius: Math and me
togelius.blogspot.com·1d·
Discuss: Hacker News
➡️Category Theory
A Software Engineer’s Wish List for CS Research
laser-coder.net·1d·
Discuss: Hacker News
🔤DSLs
popmelt/core: The design collaboration layer for AI coding agents
github.com·3h·
Discuss: Hacker News
📦OPAM

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help