Machine-Generated and Checked Proofs for a Verified Compiler (Experience Report)
dl.acm.org- 1 points
- 0 comments
- 1 minute ago
- by matt_d
What my dad taught me about AI coding in the 90s
askmike.org- 1 points
- 0 comments
- 2 minutes ago
- by askmike
How Far Can NYC Transit Take You?
subway.fyi- 1 points
- 0 comments
- 4 minutes ago
- by thunderbong
Playing whack-a-mole is losing
dadrian.io- 1 points
- 0 comments
- 9 minutes ago
- by tabletcorry
Pluralistic: How Canada can help Americans and defeat America
pluralistic.net- 1 points
- 0 comments
- 10 minutes ago
- by A_D_E_P_T
Handling 8 thousand mouse refreshes per second in Godot Engine
godotengine.org- 2 points
- 0 comments
- 11 minutes ago
- by jaimex2
UK will use Ukraine battlefield data to train AI and use it againsts protesters
theguardian.com- 2 points
- 0 comments
- 13 minutes ago
- by skor
FreeToken: Efficient Edge-Native Moe Serving with Bandwidth-Adaptive Execution
arxiv.org- 1 points
- 0 comments
- 15 minutes ago
- by Anon84
Iran Is Using Foreign Criminals to Attack Its Critics Overseas
newyorker.com- 1 points
- 0 comments
- 19 minutes ago
- by firefax
The cost of today's "smart" devices
fsf.org- 2 points
- 0 comments
- 20 minutes ago
- by smitty1e
The Official Ig Nobel Card Game Is Born, Improbably
improbable.com- 2 points
- 0 comments
- 24 minutes ago
- by sohkamyung
Bookshelf – Self-hosted eBook library that runs on object storage
github.com- 3 points
- 0 comments
- 25 minutes ago
- by arbayi
Tiny, fast Windows Notepad replacement (source available)
liquidninja.com- 2 points
- 1 comments
- 25 minutes ago
- by bananaboy
SQLite as a Document Database (2020)
dgl.cx- 2 points
- 0 comments
- 25 minutes ago
- by lioeters
The text mode lie: why modern TUIs are a nightmare for accessibility
osnews.com- 4 points
- 0 comments
- 28 minutes ago
- by birdculture
Evaluating Shrinking (Experience Report)
dl.acm.org- 2 points
- 0 comments
- 29 minutes ago
- by matt_d
From Gradients to ChatGPT
mister-meeseeks.github.io- 2 points
- 0 comments
- 30 minutes ago
- by simonpure
Show HN: AiSyncing – Back up your AI coding assistant memories to GitHub
github.com- 1 points
- 0 comments
- 33 minutes ago
- by mastermindxs
Directory navigator that doesn't require you to visit a folder first
github.com- 2 points
- 1 comments
- 34 minutes ago
- by rudus
War Machines: Netflix Confirms Sequel to Hit Sci-Fi Movie War Machine
moztako.me- 2 points
- 0 comments
- 35 minutes ago
- by cecyev
Characterizing the spiral: potential mechanisms in AI-associated delusions
nature.com- 4 points
- 0 comments
- 35 minutes ago
- by jambalaya8
Mission impossible? Quantifying military emissions
thebulletin.org- 2 points
- 0 comments
- 36 minutes ago
- by measurablefunc
Show HN: Flostep – Diagrams people can actually walkthrough
flostep.dev- 1 points
- 1 comments
- 40 minutes ago
- by pandurang90
Lean: Postmortem for the Kernel Soundness Bug Hunt
leodemoura.github.io- 3 points
- 0 comments
- 40 minutes ago
- by matt_d
Epigenetic aging biomarker responsiveness to longevity interventions in humans
nature.com- 3 points
- 0 comments
- 42 minutes ago
- by bookofjoe
Show HN: Mainly – a self-hosted mail client built for your multiple domains
mainly.crnst8.com- 1 points
- 0 comments
- 49 minutes ago
- by flowerpil
Equations explained colorfully with KaTeX and Markdown
github.com- 1 points
- 1 comments
- 51 minutes ago
- by lioeters
Codeanywhere Is Sunsetting
codeanywhere.com- 3 points
- 1 comments
- 52 minutes ago
- by jcbhmr
Show HN: Stigmergy, a Karpathy-style LLM wiki for a team, not one person
github.com- 1 points
- 1 comments
- 52 minutes ago
- by sturlese
OpenDryFire – 10x cheaper laser dry-fire scoring from a webcam and mic
github.com- 1 points
- 0 comments
- 53 minutes ago
- by infinitone
Migrating off Heroku to AWS without killing your deploy speed
qovery.com- 1 points
- 0 comments
- 56 minutes ago
- by makaimc
PageLens–A Chrome extension that uses AI to summarize your tab
github.com- 1 points
- 0 comments
- 1 hour ago
- by WinstoneH
Why AI Detection Fails for Academic Integrity
arxiv.org- 2 points
- 0 comments
- 1 hour ago
- by Anon84
Agile Design and Implementation of a Systolic Array-Based CNN Accelerator (2024) [pdf]
ijerm.com- 1 points
- 1 comments
- 1 hour ago
- by peter_d_sherman
The computer use verification skill that every agent needs
twitter.com- 1 points
- 0 comments
- 1 hour ago
- by gmays
Show HN: Self-hosted tunnels: local directory/port, your domain, HTTPS, passkeys
github.com- 1 points
- 0 comments
- 1 hour ago
- by schappim
iCloud+ Hide My Email addresses will remain on icloud.com
developer.apple.com- 107 points
- 11 comments
- 1 hour ago
- by K7PJP
Supreme Court Allows Trump Plan to Restrict Mail-In Voting, for Now
nytimes.com- 10 points
- 4 comments
- 1 hour ago
- by mikhael
France readies high school phone ban for new term
lemonde.fr- 2 points
- 0 comments
- 1 hour ago
- by geox
Life Policies Shouldn't Be Funding the Boss's Trophy Assets
bloomberg.com- 1 points
- 0 comments
- 1 hour ago
- by petethomas
Show HN: My friend built a Gleam server – let's try to take it down
kms.andrewpavlov.org- 1 points
- 0 comments
- 1 hour ago
- by harakternik
Trump Admin Moves to Impose More Than $100K Fee for H-1B Worker Visas
sg.news.yahoo.com- 3 points
- 1 comments
- 1 hour ago
- by dsmark
MetaRoCE: A New RDMA Transport Built for AI-Scale Ethernet
engineering.fb.com- 3 points
- 0 comments
- 1 hour ago
- by sbulaev
Moon
ciechanow.ski- 45 points
- 3 comments
- 1 hour ago
- by simonebrunozzi
AI text watermarking and quality loss
blog.keyvan.net- 2 points
- 0 comments
- 1 hour ago
- by k1m
See what your content is worth to AI agents
index.parallel.ai- 1 points
- 0 comments
- 1 hour ago
- by martialg
Vector search in PostgreSQL: deduplicating speakers with pgvector and HNSW
rvier.fr- 2 points
- 0 comments
- 1 hour ago
- by brvier
What Codex Sends to the Model
0xkato.xyz- 1 points
- 0 comments
- 1 hour ago
- by gmays
Introduction to Variable Fonts on the Web
eb.dev- 3 points
- 0 comments
- 1 hour ago
- by Topfi
Show HN: I calculated how much of every Indian price is tax and duty
thodasa.com- 2 points
- 1 comments
- 1 hour ago
- by bhaumiktandan