frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Ever Tried Debugging a Proof Tree? We Did

https://www.osohq.com/post/how-we-built-an-interactive-debugger
12•hazalmestci•4h ago

Comments

jhelmer25•1h ago
I’ve been playing around this debugger and it help a ton with a problem I’ve run into with most auth-as-a-service tools: figuring out why a decision was made.

Most systems show you the policy logic, but not the data behind the evaluation. This is the first tool I’ve seen that makes it easy to see what data was used and how it impacted the result. Super useful for debugging.

Wartime codebreaker Alan Turing's scientific papers sell for £465,000 at auction

https://www.theguardian.com/science/2025/jun/17/wartime-codebreaker-alan-turings-scientific-papers-sell-for-465000-at-auction
1•robaato•59s ago•0 comments

Spain's government blames blackout on grid regulator and private firms

https://www.bbc.com/news/articles/c62d8k8edgxo
1•janv8000•1m ago•0 comments

Radio bursts reveal universe's 'missing matter'

https://www.science.org/content/article/radio-bursts-reveal-universe-s-missing-matter
1•atombender•5m ago•0 comments

Neuron–Astrocyte Associative Memory

https://www.pnas.org/doi/10.1073/pnas.2417788122
1•PaulHoule•5m ago•0 comments

Nasdaq-traded Chinese herb stock with no revenues rallies 58,000%

https://www.cnbc.com/2025/06/17/hong-kongs-regencell-bioscience-triples-in-latest-surge-for-a-speculative-stock.html
1•ilamont•6m ago•0 comments

Man arrested for selling AI-colorized pirated 1954 'Godzilla' film

https://english.kyodonews.net/news/2025/06/63c83474a164-man-arrested-for-selling-ai-colorized-pirated-1954-godzilla-film.html
1•anigbrowl•6m ago•0 comments

Free Ruby AI Training Materials

https://github.com/thedayisntgray/ruby-ai-search-training
1•thedayisntgray•7m ago•0 comments

Facebook announces that all videos on its platform will soon be shared as reels

https://techcrunch.com/2025/06/17/facebook-announces-that-all-videos-on-its-platform-will-soon-be-shared-as-reels/
1•LorenDB•8m ago•0 comments

What Google Translate Can Tell Us About Vibecoding

https://ingrids.space/posts/what-google-translate-can-tell-us-about-vibecoding/
1•todsacerdoti•11m ago•0 comments

You're Not Ready

https://www.wired.com/youre-not-ready/
1•lostin01010101•11m ago•0 comments

Field Notes went from side project to cult notebook

https://www.fastcompany.com/91352848/field-notes-cult-notebook-started-out-as-a-side-project
2•ingve•15m ago•0 comments

Build a Cannon to Kill a Mosquito

https://manidoraisamy.com/developer-forever/post/build-a-cannon-to-kill-a-mosquito.anc-0ac4dfc1-80cf-4f93-854a-47010d1268a2.html
1•QueensGambit•15m ago•0 comments

Trump suggests he'll extend deadline for China's ByteDance to sell TikTok

https://www.scmp.com/news/world/united-states-canada/article/3314833/trump-suggests-hell-extend-deadline-chinas-bytedance-sell-tiktok
1•giuliomagnifico•16m ago•0 comments

Programming Language Design in the Era of LLMs: A Return to Mediocrity?

https://kirancodes.me/posts/log-lang-design-llms.html
1•gopiandcode•17m ago•0 comments

Keycloak: Open-Source Identity and Access Management

https://www.keycloak.org/
1•EtienneK•18m ago•0 comments

Iran asks its people to delete WhatsApp from their devices

https://apnews.com/article/iran-whatsapp-meta-israel-d9e6fe43280123c9963802e6f10ac8d1
4•rdrd•22m ago•0 comments

'It opened up something in me': Why people are turning to bibliotherapy

https://www.bbc.com/future/article/20250616-how-bibliotherapy-can-both-help-and-harm-your-mental-health
1•ohjeez•22m ago•0 comments

A Texan reads his electric bill

https://old.reddit.com/r/funny/comments/1ld7m3v/texan_reads_his_electric_bill/
2•ohjeez•24m ago•0 comments

Voronoi, Hashing and OSL

https://aras-p.info/blog/2025/06/13/Voronoi-Hashing-and-OSL/
1•ibobev•24m ago•0 comments

Alleged shooter found Minnesota lawmakers' addresses online, court docs say

https://www.politico.com/news/2025/06/16/alleged-shooter-found-minnesota-lawmakers-addresses-online-court-docs-say-00409260
3•rntn•25m ago•0 comments

From SDR to 'Fake HDR': Mario Kart World on Switch 2

https://www.alexandermejia.com/from-sdr-to-fake-hdr-mario-kart-world-on-switch-2-undermines-modern-display-potential/
2•ibobev•26m ago•0 comments

Improving Bigtable single-row read throughput by 70%

https://cloud.google.com/blog/products/databases/exploring-bigtable-read-throughput-performance-gains/
1•fastest963•27m ago•0 comments

AlphaPhoenix - I weighed an airplane while it was flying [video]

https://www.youtube.com/watch?v=hnvtstq3ztI
2•seycombi•28m ago•0 comments

Goldfish Memory

https://theaiunderwriter.substack.com/p/goldfish-memory
1•participant3•28m ago•0 comments

My Newest Patient Cannot Blink: A Therapy-Loop Prompt Pattern for Trustworthy AI

https://zenodo.org/records/15556365
1•pinko•28m ago•1 comments

Hybrid-Electric Commuter Airplane

https://www.electra.aero/
2•everybodyknows•29m ago•0 comments

Show HN: Think Circular Color

https://hardkorebob.github.io/tcc.html
1•bobrobpr•29m ago•0 comments

Long live Xorg, I mean Xlibre

https://www.dedoimedo.com/computers/xlibre.html
25•dxs•31m ago•6 comments

Show HN: lambda-nat-proxy – Serverless proxy using Lambda and UDP NAT punching

https://github.com/dan-v/lambda-nat-proxy
1•danvittegleo•33m ago•0 comments

What makes a good side project?

https://austinhenley.com/blog/goodproject.html
2•ibobev•33m ago•0 comments