lamport.azurewebsites.net

How to Write a 21st Century Proof (2011) [pdf]

User23 138d ago 23 3

blog.konsti.xyz

More databases should be single-threaded

lawrencechen 138d ago 50 23

jmail.world

Show HN: Jmail – Google Suite for Epstein files

lukeigel 138d ago 1476 344

github.com

I wrote a code editor in C and now I'm a changed man

birdculture 138d ago 39 15

phys.org

Italian bears living near villages have evolved to be smaller and less agressive

wjSgoWPm5bWAhXB 138d ago 114 74

claude.com

Claude in Chrome

ianrahman 138d ago 311 187

support.claude.com

Anthropic: You can't change your Claude account email address

behnamoh 138d ago 88 70

afw.kuber.studio

Show HN: Fucking Websites

kuberwastaken 138d ago 11 6

guernicamag.com

The Graffiti Question

bryanrasmussen 138d ago 20 34

github.com

MIRA – An open-source persistent AI entity with memory

taylorsatula 138d ago 128 53

hmpg.net

You have reached the end of the internet (2006)

raytopia 138d ago 198 60

cp4space.hatsya.com

Shallow trees with heavy leaves (2020)

HeliumHydride 138d ago 11 0

bbc.com

Ireland’s Diarmuid Early wins world Microsoft Excel title

1659447091 138d ago 308 124

matteocapucci.wordpress.com

Mathematicians don't care about foundations (2022)

scrivanodev 138d ago 59 33

nasa.gov

X-59 3D Printing

Jsebast24 138d ago 63 12

thecritic.co.uk

AI will make our children stupid

binning 138d ago 65 92

annas-archive.li

Backing up Spotify

vitplister 138d ago 1868 639

shkspr.mobi

Why do people leave comments on OpenBenches?

sedboyz 138d ago 224 26

github.com

Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries

eatonphil 138d ago 122 17

news.ycombinator.com

Show HN: Chart Preview – Preview environments for Helm charts on every PR

Olu 138d ago 20 9

jeffgeerling.com

Big GPUs don't need big PCs

mikece 138d ago 281 122

hn-wrapped.kadoa.com

Show HN: HN Wrapped 2025 - an LLM reviews your year on HN

hubraumhugo 138d ago 302 151

apalrd.net

I spent a week without IPv4 (2023)

mahirsaid 138d ago 164 343

nuxx.net

OpenSCAD is kinda neat

c0nsumer 138d ago 318 246

ycombinator.com

Depot (YC W23) Is Hiring an Enterprise Support Engineer (Remote/US)

unknown 138d ago 0 0

spakhm.com

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

lioeters 138d ago 11 1

github.com

Show HN: Claude Code Plugin to play music when waiting on user input

Sevii 138d ago 54 14

facs.org

Over 40% of deceased drivers in vehicle crashes test positive for THC: Study

bookofjoe 138d ago 337 493

a1k0n.net

Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates

a1k0n 138d ago 419 72

deater.net

Maximizing Compression of Apple II Hi-Res Images

deater 138d ago 27 4

news.ycombinator.com

Untitled Story

mcflem007 138d ago 6 0

news.ycombinator.com

Untitled Story

mark336 138d ago 4 0

dotmeow.org

DotMeow – A fun domain with a serious mission

OuterVale 138d ago 9 8

utcc.utoronto.ca

Log level 'error' should mean that something needs to be fixed

todsacerdoti 138d ago 471 293

pierce.dev

Go ahead, self-host Postgres

pavel_lishin 138d ago 664 391

arstechnica.com

School security AI flagged clarinet as a gun. Exec says it wasn't an error

kyrofa 138d ago 45 30

github.com

TailwindSQL – Like TailwindCSS, but for SQL queries in React Server components

ravenical 138d ago 53 58

blog.jcz.dev

Gemini 3 Pro vs. 2.5 Pro in Pokemon Crystal

alphabetting 138d ago 314 91

github.com

Immersa: Open-source Web-based 3D Presentation Tool

simonpure 138d ago 158 25

arduino.cc

Arduino UNO Q bridges high-performance computing with real-time control

doener 138d ago 46 42

math.columbia.edu

Approaching 50 Years of String Theory

jjgreen 138d ago 88 130

github.com

A proof of concept of a semistable C++ vector container

joaquintides 138d ago 30 9

news.ycombinator.com

Raycaster (YC F24) Is Hiring a Research Engineer

unknown 138d ago 0 0

rushter.com

Hash tables in Go and advantage of self-hosted compilers

f311a 138d ago 62 43

pcworld.com

The post-GeForce era: What if Nvidia abandons PC gaming?

taubek 138d ago 33 55

sciencedaily.com

New Quantum Antenna Reveals a Hidden Terahertz World

aacker 138d ago 154 10

brooker.co.za

What Does a Database for SSDs Look Like?

charleshn 138d ago 144 119

github.com

Sharp: High performance Node.js image processing/optimization

nateb2022 138d ago 44 10

developers.openai.com

Skills Officially Comes to Codex

rochansinha 138d ago 298 129

antirez.com

Reflections on AI at the End of 2025

danielfalbo 138d ago 238 348

theregister.com

Airbus to migrate critical apps to a sovereign Euro cloud

saubeidl 138d ago 514 481

lists.nanog.org

NTP at NIST Boulder Has Lost Power

lpage 138d ago 487 207

ianvisits.co.uk

A train-sized tunnel is now carrying electricity under South London

zeristor 138d ago 141 102

github.com

A terminal emulator that runs in your terminal. Powered by Turbo Vision

mariuz 138d ago 121 20

thompson2026.com

The Deviancy Signal: Having "Nothing to Hide" Is a Threat to Us All

NickForLiberty 138d ago 216 163

map.contrails.org

Contrails Map

schaum 138d ago 125 61

lists.debian.org

Debian adds LoongArch as officially supported architecture

cbmuser 138d ago 45 6

newyorker.com

Feast Your Eyes on Japan's Fake Food

Kaibeezy 138d ago 39 19

servury.com

Privacy doesn't mean anything anymore, anonymity does

ybceo 138d ago 444 286

blog.techdocs.studio

A tagging system for documentation review comments

dgarcia360 138d ago 20 2

nuforc.org

Data Bank – Nuforc – Latest UFO Sightings

handfuloflight 138d ago 43 25

charlesproxy.com

Charles Proxy

handfuloflight 138d ago 323 118

phys.org

Iberian peninsula is rotating clockwise

karma_daemon 138d ago 18 1

support.google.com

Android introduces $2-4 install fee and 10–20% cut for US external content links

radley 138d ago 222 202

news.ycombinator.com

Ask HN: The internet is getting worse every day. How do we fix this?

electrodisk 138d ago 33 30

gh-actions-lockfile.net

Gh-actions-lockfile: generate and verify lockfiles for GitHub Actions

gjtorikian 138d ago 47 26

blog.incfly.org

Parallelizing ClickHouse aggregation merge for fixed hash map

markhneedham 138d ago 17 0

ewpratten.com

Fuzix on a Raspberry Pi Pico

ewpratten 138d ago 111 13

pomb.us

Build Your Own React

howToTestFE 138d ago 183 22

positron.solutions

Finding Alignment by Visualizing Music in Rust

positron26 138d ago 6 0

carolinacloud.io

Carolina Cloud – One third the cost of AWS for data science workloads

bojangleslover 139d ago 142 76

themarshallproject.org

Language Immersion, Prison-Style (2017)

johnny313 139d ago 16 0

statepress.com

PBS News Hour West to go dark after ASU discontinues contract

heavyset_go 139d ago 154 77

torrent-empress.leaflet.pub

The FOSS community acts like a cult and it's not helping the cause

Aloha 139d ago 11 16

youtube.com

Man Made Troubles (1953) [video]

CaliforniaKarl 139d ago 17 4