Feeds to Scour
SubscribedAll
Scoured 8404 posts in 162.5 ms
Unravelling Abstract Cyclic Proofs into Proofs by Induction
arxiv.org·1d
🔗Curry-Howard
Modelling Trust and Trusted Systems: A Category Theoretic Approach
arxiv.org·1d
≤Order Theory
Polysemanticity is a Misnomer
lesswrong.com·2d
🔁Fixed-Point Theory
A Conceptual Framework for Exploration Hacking
lesswrong.com·2d
🐫OCaml
miniKanren.org
minikanren.org·5d·
Discuss: Lobsters
📦Module Systems
Exclusive: US military preparing for potentially weeks-long Iran operations
reuters.com
·1h·
Discuss: Hacker News
✓Automated Theorem Proving
The Most Comprehensive Financial Simulation Ever Made
wallstreetraider.com·1h·
Discuss: Hacker News
🔲Cellular Automata
More power: first Ariane 6 with four boosters lifts off
esa.int·1h·
Discuss: Hacker News
⎈Kubernetes
War Atlas: Mapping 3,500 Years of Conflict
googlemapsmania.blogspot.com·28m·
Discuss: Hacker News
🕸️Graph Theory
PlantNet; Identify, explore and share your observations of wild plants
identify.plantnet.org·24m·
Discuss: Hacker News
🕸️Graph Theory
So Bright the Vision by Clifford D. Simak
openlibrary.org·32m·
Discuss: Hacker News
🕸️Graph Theory
Gitdatamodel Documentation
git-scm.com·1h·
Discuss: Lobsters, Hacker News
🔨Nix Derivations
We urgently need a federal law forbidding AI from impersonating humans
garymarcus.substack.com·1h·
Discuss: Substack
🔲Cellular Automata
Intent to Experiment: Ship Rust XML Parser to 1% stable for non XSLT scenarios
groups.google.com·1h·
Discuss: Hacker News
📦Opam
PyG Documentation — pytorch_geometric documentation
pytorch-geometric.readthedocs.io·5d·
Discuss: Hacker News
📦OPAM
Ask HN: What are challenges for enterprise level Knowledge Graph adoption in AI
news.ycombinator.com·40m·
Discuss: Hacker News
🧠Automated Reasoning
014: The green dot trap
oldschoolburke.com·1h·
Discuss: Hacker News
🎮Verification Games
Why I'm Not Worried About My AI Dependency
boagworld.com·1h·
Discuss: Hacker News
🧠Automated Reasoning
LLM Performance in Astro, React, Tailwind and Cloudflare
10xbench.ai·3d·
Discuss: Hacker News
👁️System Observability
Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]
sjalander.com·5d·
Discuss: Hacker News
🐫OCaml
Sign up or log in to see more results
Sign UpLogin

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