GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics) (github.com)

1 points by justdoitookk 41s ago 1 comments

Symbol-Level Editing (sysprogs.com)

1 points by handfuloflight 1m ago 0 comments

WinUI OSS Update: Phased Rollout Toward Open Collaboration (github.com)

1 points by ingve 5m ago 0 comments

How to make people give a damn (joanwestenberg.com)

1 points by sonderotis 6m ago 0 comments

Termagotchi – A terminal-based Tamagotchi simulation written in Go (github.com)

2 points by ezeoleaf 6m ago 0 comments

Unleashing potential energy in my EV (old.reddit.com)

2 points by thunderbong 8m ago 0 comments

Show HN: Valitron – I built an AI that interviews and ranks job applicants

2 points by valitron 8m ago 0 comments

Meejah/shwim: Peer-to-peer terminal sharing (github.com)

2 points by aiNohY6g 10m ago 0 comments

You're probably not learning with AI (aryas.dev)

2 points by bundie 10m ago 0 comments

Thinking in Crypto Security for Cyberpunk Individuals

3 points by ricecat 13m ago 0 comments

China claims Nvidia built backdoor into H20 chip (arstechnica.com)

2 points by jonbaer 14m ago 0 comments

Persona vectors: Monitoring and controlling character traits in language models (anthropic.com)

2 points by handfuloflight 18m ago 0 comments

Primesweeper (vole.wtf)

2 points by zeristor 23m ago 0 comments

C3 Programming Language 0.7.4 Release (github.com)

2 points by Retro_Dev 32m ago 0 comments

Tesla loses Autopilot wrongful death case in $329M verdict (arstechnica.com)

3 points by apparent 35m ago 1 comments

The Quintessential Urban Design of 'Sesame Street' (nytimes.com)

2 points by _tk_ 37m ago 0 comments

Way-secure: A helper to create Wayland security contexts via security_context_v1 (git.sr.ht)

2 points by harporoeder 45m ago 0 comments

Retrieval Embedding Benchmark (RTEB) (huggingface.co)

2 points by fzliu 49m ago 0 comments

Filesystem for syncing notes to your calendar (sr.ht)

2 points by xrayarx 50m ago 0 comments

Fathers plan legal action to get smartphones banned in England's schools (theguardian.com)

3 points by PaulHoule 57m ago 0 comments

Valley of Despair (jacksonslipock.bearblog.dev)

3 points by jacksonslipock 58m ago 1 comments

Show HN: I built a tool to make screenshots 10x better (screenshotframe.com)

2 points by melvinzammit 1h ago 0 comments

Which States Lose the Most Money to Cybercrime? (upwind.io)

2 points by josephjrobison 1h ago 0 comments

Ladybird Browser July Update (ladybird.org)

9 points by net01 1h ago 0 comments

Scientists Are Learning to Rewrite the Code of Life (nytimes.com)

2 points by digital55 1h ago 0 comments

Ranking the 25 Top Venture-Backed Cybersecurity Companies Growing Fast in 2025 (greenflagdigital.com)

2 points by josephjrobison 1h ago 0 comments

OutRun: A new version of the game Out Run of 1986 for PC using SFML and C++ (github.com)

2 points by rcarmo 1h ago 0 comments

Parallel Programming Models (ayushgundawar.me)

2 points by gundawar 1h ago 0 comments

Langton's Ant (haebom.github.io)

2 points by haebom 1h ago 0 comments

Terence Tao weighs in on the suspension of UCLA grants (mathstodon.xyz)

7 points by dargscisyhp 1h ago 0 comments

Excelling in Excel: Inside the high-stakes world of competitive spreadsheeting (theguardian.com)

3 points by beardyw 1h ago 0 comments

The Story Behind Michael Jackson Buying The Beatles’ Catalog (americansongwriter.com)

2 points by nixass 1h ago 1 comments

JavaScript isn't the problem, replacing the browser was (rwsdk.com)

2 points by pistoriusp 1h ago 0 comments

Ask HN: Collection of Computer Science Diagrams

1 points by iondodon 1h ago 0 comments

Numair Fatax

1 points by kwie 1h ago 0 comments

At $250M, top AI salaries dwarf the Manhattan Project and the Space Race (arstechnica.com)

42 points by majkinetor 1h ago 38 comments

Break the quadratic wall of Transformer attention: WERSA, paper+code open source (huggingface.co)

2 points by insert_nick 1h ago 1 comments

Setting Up Puppy Linux with Ventoy (fd93.me)

1 points by fdavies93 1h ago 0 comments

Ask HN: Emojiboard – Ultra-lightweight emoji feedback widget for websites

1 points by doberdog 1h ago 0 comments

Search Engines – which one to choose? (digdeeper.love)

1 points by CHEF-KOCH 1h ago 1 comments

Decentralized IMDB (pollerama.fun)

1 points by abhsag 1h ago 0 comments

Apple History - specs for every Apple computer, established 1996 (apple-history.com)

2 points by emigre 1h ago 0 comments

Meta (engineering.fb.com)

1 points by rumman157 2h ago 0 comments

AI is already replacing jobs per month, report finds (independent.co.uk)

1 points by Bluestein 2h ago 2 comments

High Content (200 to 300 page) non-fiction book creator with Claude Sonnet 4 (github.com)

1 points by mackerricher 2h ago 1 comments

The Big World of Tiny Architecture (archpaper.com)

1 points by Duanemclemore 2h ago 1 comments

Keep Calm and Carry On (boston.conman.org)

1 points by todsacerdoti 2h ago 0 comments

Thousands of Hot dogs spill across busy highway (news.sky.com)

3 points by austinallegro 2h ago 0 comments

Libvirt – incremental backups for raw devices (abbbi.github.io)

4 points by Bogdanp 2h ago 0 comments

Tesla to pay $243M in deadly Autopilot crash: 'This will open the floodgates' (nypost.com)

7 points by elsewhen 2h ago 1 comments

OutRun: A new version of the game Out Run of 1986 for PC using SFML and C++

2 rcarmo 0 8/2/2025, 6:33:04 AM github.com ↗

Comments (0)

No comments yet