newest
Open in hackernews
A High-Level View of TLA+
https://lamport.azurewebsites.net/tla/high-level-view.html
2
•
blobcode
•
1d ago
GitHub and Gitlab CI runners – fast, cheap, billed per true CPU second
https://www.runmyjob.io/
1
•
beslanb
•
42s ago
•
1 comments
Never Violence (2007)
https://web.archive.org/web/20201108100547/https://www.swedishbookreview.com/article-2007-2-never-violence.asp
1
•
Tomte
•
1m ago
•
0 comments
San Francisco to Seattle by Local Transit
https://seattletransitblog.com/2025/06/01/san-francisco-to-seattle-by-local-transit/
1
•
aaronbrethorst
•
5m ago
•
0 comments
VMware drops the lowest tier of its partner program – except in Europe
https://www.theregister.com/2025/06/01/vmware_channel_changes/
1
•
rntn
•
7m ago
•
0 comments
A 1976 Video That Explains Basic Computer Terms
https://laughingsquid.com/basic-computer-terms-1976/
1
•
megamike
•
7m ago
•
0 comments
Dollar's correlation with Treasury yields breaks down
https://www.ft.com/content/9ca05517-b3fb-46f1-9cde-866061e816a7
2
•
marcopolis
•
9m ago
•
0 comments
Biggest catastrophe for crypto industry is Michael Saylor $84B Bitcoin madness
https://antongolub.substack.com/p/biggest-catastrophe-for-crypto-industry
1
•
wslh
•
9m ago
•
0 comments
Show HN: I Built a API to Protect LLM Apps from Prompt Injection
https://swayblocks.com
1
•
adi-io
•
12m ago
•
0 comments
Share Your Unfinished Work
https://untested-11ty.vercel.app/notes/share-your-unfinished-scrappy-work/
1
•
williamsss
•
15m ago
•
1 comments
Can you defend your favorite programming language?
https://amritpandey.io/can-you-defend-your-favorite-programming-language/
1
•
hardasspunk
•
15m ago
•
1 comments
Ireland gets first printed social houses
https://www.globalconstructionreview.com/ireland-gets-worlds-first-printed-social-houses/
1
•
kamaitachi
•
15m ago
•
0 comments
Pesto Team Is Joining Scale AI
https://scale.com/blog/pesto-scale-ai
1
•
amrrs
•
15m ago
•
0 comments
First of Kind, Season 1 (intimate conversations with design pioneers)
https://www.indie.vc/first-of-kind
1
•
msephton
•
17m ago
•
0 comments
Formula E 600kW mid-race charging is finally ready
https://electrek.co/2025/01/23/formula-e-600kw-mid-race-charging-is-finally-ready-for-real-this-time-we-swear/
1
•
giantg2
•
18m ago
•
1 comments
Show HN: KS-Agents – AI-Integrated CRM with Automated Workflows
https://ks-agents.com
1
•
egesia
•
19m ago
•
0 comments
What if we were taught transducers first?
https://clojurecivitas.github.io/clojure/transducers/what_if.html
1
•
TheFreim
•
19m ago
•
0 comments
What Happens When Your License Plate Says 'No Plate'? (1999)
https://www.snopes.com/fact-check/auto-no-plate/
1
•
Tomte
•
20m ago
•
0 comments
Wl-kbptr: Control the mouse pointer with the keyboard on Wayland
https://github.com/moverest/wl-kbptr
1
•
todsacerdoti
•
24m ago
•
0 comments
People say cola and fries are helping their migraines
https://www.bbc.com/news/articles/c23mrl5x53ro
4
•
jb1991
•
24m ago
•
0 comments
LLMs and Elixir: Windfall or Deathblow?
https://www.zachdaniel.dev/p/llms-and-elixir-windfall-or-deathblow
2
•
lawik
•
28m ago
•
0 comments
M8.2 solar flare, Strong G4 geomagnetic storm watch
https://www.spaceweatherlive.com/en/news/view/581/20250531-m8-2-solar-flare-strong-g4-geomagnetic-storm-watch.html
38
•
sva_
•
30m ago
•
2 comments
Show HN: A searchable frontend for HN Who is Hiring that runs in your browser
https://dheerajck.github.io/hnwhoishiring/
2
•
DHEERAJCK
•
31m ago
•
0 comments
Ask HN: Is anyone working on a WASM-based Node engine for the browser?
1
•
rbitar
•
32m ago
•
0 comments
Show HN: Datajoi – AI-SQL Client in the Browser
https://www.datajoi.com/
1
•
datajoi
•
37m ago
•
0 comments
AI Malware Is Here: New Report Shows How Fake AI Tools Are Spreading Ransomware
https://blog.talosintelligence.com/fake-ai-tool-installers/
4
•
karlperera
•
38m ago
•
1 comments
Xmonad: A dynamically tiling window manager that is written in Haskell
https://github.com/xmonad/xmonad
1
•
behnamoh
•
38m ago
•
1 comments
Secrets of The Gobi Wall Revealed
https://archaeology.org/news/2025/05/30/secrets-of-the-gobi-wall-revealed/
1
•
bookofjoe
•
39m ago
•
0 comments
Rapid Fullstack Development
https://rapidfullstackdevelopment.com/chapter-1
1
•
mefengl
•
39m ago
•
0 comments
Palace: 3D Finite Element Solver for Computational Electromagnetics
https://awslabs.github.io/palace/stable/
1
•
areoform
•
42m ago
•
0 comments
Show HN: SupaWP – Supabase WordPress Integration
https://dalenguyen.me/blog/2025-04-19-supabase-wordpress-integration-supawp-plugin
1
•
dalenguyen
•
43m ago
•
1 comments