programming languages

Feeds to Scour
SubscribedAll
Scoured 111 posts in 27.9 ms
💻Programming languagesyoutube.comContent type: Video·

Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]

Discussed on Hacker News
Feeds
🔓HackingKobzol’s blog·

How memory safety CVEs differ between Rust and C/C++

Covers 4 stories See all stories this covers including The pressure
Covered by 3 sources See all sources covering this story including this-week-in-rust.org, Awesome Rust Weekly
Discussed on Hacker News and Lobsters
Feeds
🏎️Varnish CacheGitHub·

Eternal Software Initiative: An open-source technology stack to preserve today's software in runnable form for 1,000 years

Covers 29th IOCC Best imaginary emulator Award, the Subleq computer (2025)
Covered by 4 sources See all sources covering this story including XDA, Linuxiac
Discussed on r/opensource
Feeds
📝Compiler Designfil-c.org·

Memory Safe Inline Assembly

Discussed on Hacker News
Feeds
📦Deflatetrifectatech.org·

zlib-rs in Firefox

Covered by 3 sources See all sources covering this story including Phoronix, this-week-in-rust.org
Discussed on Hacker News and Lobsters
Feeds
Less-relevant results
🌱Personal WikisSébastien Dubois·

TypedMark

Covers Obsidian
Feeds
🔗Functional Compilersdiscuss.ocaml.org·

OCaml 5.5.0

Discussed on Hacker News, Hacker News, and Lobsters
Feeds
🔬Logic in Computer ScienceJane Street Tech Blog·

Formal Methods and the Future of Programming

Covers 5 stories See all stories this covers including Lean: Programming Language and Theorem Prover
Covered by theconsensus.dev
Discussed on Hacker News
Feeds
📝Compiler DesignPhoronix·

Latest LLVM Patch Further Points To AMD GFX1250/GFX1251 Being Instinct Hardware

Feeds
🚀Compiler Optimizationshiraditya.github.io·

Loop Unrolling in the ML Era

Discussed on Hacker News
Feeds
📏Code Metricsnewsletter.techworld-with-milan.com·

The Trends #11: AI agents still can't build software from scratch

Covers 3 stories See all stories this covers including Show HN: New Benchmark from SWE-bench team is 0% solved
Feeds
⏰Temporal Logicarxiv.org·

Defense-in-Depth Runtime Safety in Move

Feeds
🔍Semantic Searchminovativemind.dev·

What are good benchmarks to test my CLI AI agentic system?

Discussed on Hacker News
Feeds
💾File Formatscodeberg.org·

Build of freestanding extensions for PHP is now available

Discussed on Hacker News
Feeds
💨Cache Analysisjvm-weekly.com·

Project Valhalla Explained: How a Decade of Work Arrives in JDK 28

Covers 2 stories See all stories this covers including JEP 401: Value Classes and Objects (Preview)
Covered by 3 sources See all sources covering this story including daemonology.net, indiehacker.news
Discussed on Hacker News, Hacker News, and Lobsters
Feeds
📊APL Heritageprog21.dadgum.com·

Papers from the Lost Culture of Array Languages (2011)

Discussed on Hacker News
Feeds
🕸️WebAssemblyrepost.sh·

Webhook tunnel with a TUI that generates types from live payloads

Discussed on Hacker News
Feeds
🔒Type Safetygracefulliberty.com·

Returning to Zig

Covers 2 stories See all stories this covers including Add an LLM policy for `rust-lang/rust` by jyn514 · Pull Request #1040
Discussed on Hacker News
Feeds
💻Programming languagesrntz.net·

Evaluation order and nontermination in query languages

Discussed on Hacker News
Feeds
📝Compiler Designtbench.ai·

Terminal-Bench Challenges: long-horizon, token-intensive, single-task benchmarks

Covers 3 stories See all stories this covers including Building a C compiler with a team of parallel Claudes
Discussed on Hacker News
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
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
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help