Functional Programming

Feeds to Scour
SubscribedAll
Scoured 37 posts in 9.8 ms

Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications

 ⚡Hardware Acceleration  Content type: News  Content type: Blog
leetarxiv.substack.com··Substack, r/programming

Configure Calva Result Display

 ✍️Prompt Engineering
clojure-diary.gitlab.io·

The perils of UUID primary keys in SQLite

 ⚙️Algorithms
andersmurphy.com··Lobsters, Hacker News, r/programming

A programming language for humans.

 💻Programming Languages
crowdhailer.me··Lobsters

Open source building blocks for computational design. Est. 2006

 💻Programming Languages
thi.ng··Hacker News

Getting silly with C, part &((int*)1)[-1]

 🔗Concatenative Languages  Content type: News  Content type: Blog
lcamtuf.substack.com··Substack, r/C_Programming, r/programming

Hacker Newsletter #796

 ✍️Prompt Engineering
HackerNews Letter via kill-the-newsletter.com·

Jas: AI-Paired Engineering as a Revival of N-Version Programming

 🎯AI Agents  Content type: Academic
arxiv.org·

Alex

 💻Programming Languages  Content type: Blog
blog.underwd.net·

Introducing Jo — Secure Programming for the AI Era

 💻Programming Languages  Content type: Blog
jo-lang.org··Hacker News

tensor product of stable (infinity,1)-categories in nLab

 🔷Category Theory
ncatlab.org·
Less-relevant results

LLMs are eroding my software engineering career and I don't know what to do

 💬LLMs  Content type: Blog
human-in-the-loop.bearblog.dev··Hacker News

DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.

 ⚡Hardware Acceleration  Content type: Code
github.com··Lobsters

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

 💻Programming Languages  Content type: Academic
arxiv.org·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

 ∀Mathematical Logic  Content type: Code
github.com·

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

 🎲Probability  Content type: Academic
arxiv.org·

HabitOS: local-first AI habit tracker in your terminal (Rust + ratatui + sqlx)

 🧠Behavioral Economics  Content type: Code
github.com··r/rust

No more posts from jhcha.oyo's subscribed feeds.

Scour all 25255 feedsLearn more about Feeds

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
Save / unsave
s

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