Feeds to Scour
SubscribedAll
Scoured 80661 posts in 951.1 ms
A brief introduction to Compilers with Kotlin examples
rabbitvictor.com·1d
Formal Verification
Preview
Report Post
Bench4HLS: End-to-End Evaluation of LLMs in High-Level Synthesis Code Generation
arxiv.org·6h
🐫OCaml
Preview
Report Post
JDK, JRE, JVM, JIT
dev.to·1d·
Discuss: DEV
🌐WebAssembly
Preview
Report Post
Not All Tokens Matter: Data-Centric Optimization for Efficient Code Summarization
arxiv.org·6h
🐫OCaml
Preview
Report Post
Script - High Performance Systems Language
docs.script-lang.org·5h
🌐WebAssembly
Preview
Report Post
taolson/Admiran: Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
github.com·2d·
Discuss: r/programming
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Report Post
FFI with GraalVM Native Image: The Real Work of Maintaining a Library That Crosses Language Boundaries
avelino.run·11h
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Report Post
A true 'hello world' LLM pipeline
alganet.github.io·1d·
Discuss: Hacker News
🐫OCaml
Preview
Report Post
Managing Unreliable Compilers
blog.tonkotsu.ai·19h·
Discuss: Hacker News
Formal Verification
Preview
Report Post
Competitive Pure Functional Languages
blog.samibadawi.com·2d·
Discuss: Hacker News
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Report Post
Writing a C Compiler in Clojure
shagunagrawal.me·3d·
Discuss: Hacker News
🐫OCaml
Preview
Report Post
Training a 67M-parameter transformer on an M4 Mac Mini
geddydukes.com·18h·
Discuss: Hacker News
🐫OCaml
Preview
Report Post
Generate Code, Build Scenes, Debug Errors
ziva.sh·14h·
Discuss: Hacker News
🤔Programming, Programming Languages, Philosophy
Preview
Report Post
Llms Achieve Scalable Kernel Generation, Automating a Traditionally Time-Consuming Process
quantumzeitgeist.com·2d
🐫OCaml
Preview
Report Post
simlay - Writing iOS XCTests in Rust
simlay.net·7h·
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Report Post
karans4/sysp: A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.
github.com·3d·
🐫OCaml
Preview
Report Post
How to Write High-Performance Code
blog.bytebytego.com·19h
🌐WebAssembly
Preview
Report Post
Ultra-low-bit LLM Inference Allows AI-PC CPUs And Discrete Client GPUs To Approach High-end GPU-Level (Intel)
semiengineering.com·17h
🔤Type Theory
Preview
Report Post
**Abstract:** This paper introduces a novel, automated framework for assessing the spectral decomposability of Banach algebras, specifically focusing on Von ...
freederia.com·7h
📐Category Theory
Preview
Report Post
SMART AI WRITING AND PRESENTATION GENERATION!
oreateai.com·7h
🔍Prolog
Preview
Report Post

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