๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ซ ocaml
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com
ยท
3d
ยท
Discuss:
Hacker News
โ
formal methods
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev
ยท
15h
ยท
Discuss:
Hacker News
๐
compilers
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com
ยท
16h
ยท
Discuss:
Hacker News
โ
formal methods
ECMA-262, 16th edition, June 2025
262.ecma-international.org
ยท
3d
ยท
Discuss:
Hacker News
๐
compilers
NeuralMorse โ Reinventing Morse Code with Neural Networks
masatohagiwara.net
ยท
1d
ยท
Discuss:
Hacker News
โ
formal methods
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com
ยท
1d
ยท
Discuss:
Hacker News
โ
formal methods
libsemigroups: C++ library for semigroups and monoids
github.com
ยท
2d
ยท
Discuss:
Hacker News
,
r/cpp
โ
formal methods
A Gentle Introduction To Fortran
hackaday.com
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐
compilers
Writing Your Own Simple Tab-Completions for Bash and Zsh
mill-build.org
ยท
3h
ยท
Discuss:
Hacker News
,
r/programming
๐
compilers
Radiofrequency radiation injures trees around mobile phone base stations (2016)
pubmed.ncbi.nlm.nih.gov
ยท
21h
ยท
Discuss:
Hacker News
โ
formal methods
Arenas in Rust
russellw.github.io
ยท
1d
ยท
Discuss:
Hacker News
๐
compilers
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net
ยท
4d
ยท
Discuss:
Lobsters
,
Hacker News
๐
compilers
A New Concurrent ML in Guile Scheme
wingolog.org
ยท
2d
ยท
Discuss:
Hacker News
โ
formal methods
In Support Of Shitty Types
lucumr.pocoo.org
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
โ
formal methods
The hiring test that defeated AI
bitecode.dev
ยท
1d
ยท
Discuss:
Hacker News
โ๏ธ
systems programming
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com
ยท
1d
ยท
Discuss:
Hacker News
๐
compilers
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com
ยท
1d
ยท
Discuss:
Hacker News
๐
compilers
The Generativity Pattern in Rust
arhan.sh
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐
compilers
Cross-Entropy. Intuition and Applications
hclimente.eu
ยท
8h
ยท
Discuss:
Hacker News
โ๏ธ
systems programming
Lexiq โ Learn English for Computer Science with Quizzes and Flashcards
lexiq.etudionet.life
ยท
9h
ยท
Discuss:
Hacker News
๐
compilers
Loading...
Loading more...
Page 2 »