frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Pragmatic Approaches to Improving Compiler Correctness

https://2026.ecoop.org/details/ICOOOLPS-2026-icooolps-2026/1/Pragmatic-Approaches-to-Improving-Compiler-Correctness
1•matt_d•1h ago

Email from Reddit for age verification on a deleted account

1•SurprisedTiger•50s ago•0 comments

It's not me, it's the compiler

https://parsa.wtf/cast/
1•SVI•1m ago•0 comments

Show HN: RouteVN – An application for making Visual Novels without any coding

https://routevn.com/
1•han4wluc•2m ago•0 comments

Supreme Court says constitution protects people's location data

https://www.eff.org/deeplinks/2026/06/victory-supreme-court-says-constitution-protects-peoples-lo...
2•fzeindl•4m ago•0 comments

Local Reasoning for Global Properties

https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html
1•ltratt•4m ago•0 comments

Can't copy-paste in Claude Code? "/tui default" and your back in business

1•punnerud•6m ago•0 comments

Supervised vs. Unsupervised AI-generated code

https://www.tommyjepsen.com/blog/supervised-vs-unsupervised-ai-code
1•tommyjepsen•7m ago•0 comments

Trump made more than $1B from crypto in first year back in office

https://www.bbc.co.uk/news/articles/cvgmv98ez3zo
2•ndsipa_pomu•11m ago•0 comments

Teaching Algorithms in 2026

https://www.cs.uni.edu/~wallingf/blog/archives/monthly/2026-06.html#e2026-06-30T20_43_40.htm
1•matt_d•12m ago•0 comments

Dojos: Git is dead. Long live Git

https://legendum.dojos.name/dojos/blob/main/docs/the-dojos-book.md
1•hutchike•12m ago•0 comments

Apricot Computers: An underrated British brand

https://dfarq.homeip.net/apricot-computers-an-underrated-british-brand/
1•giuliomagnifico•16m ago•0 comments

How to Set Up a Kiosk Thermal Printer for Self-Service Checkouts?

https://www.masung.group/How-to-Set-up-a-Kiosk-Thermal-Printer-for-Self-Service-Checkouts-id00186...
1•LukeZhou•16m ago•0 comments

I built a lightweight Docker container monitor that notifies you alerts

https://github.com/PizzukaTorph/compose-watchdog
1•pizzuka•17m ago•0 comments

Show HN: I built a Markmaster, a Markdown learning tool for non-coders

https://drmarkdown.netlify.app/
1•shymaple•19m ago•0 comments

White House lifts ban on Anthropic models

https://www.ft.com/content/137ddb71-852f-438c-ad76-25e2dc43486b
1•couAUIA•20m ago•1 comments

On the semantic web

https://karlkoch.me/writing/on-the-semantic-web
1•nathell•21m ago•0 comments

How are you building resilient hybrid cloud networks?

https://geekyants.com/blog/building-a-resilient-hybrid-cloud-network-with-wireguard-ha-route-base...
1•Krishnaswaroop•22m ago•0 comments

Voice of Gene Wilder recreated by AI for new Wonka-themed Netflix series

https://news.sky.com/story/voice-of-gene-wilder-recreated-by-ai-for-new-wonka-themed-netflix-seri...
1•austinallegro•25m ago•0 comments

Don't Do Code Reviews

https://kore-nordmann.de/blog/dont_do_code_reviews.html
1•ingve•28m ago•0 comments

Coding and debugging will fall back to older model in Fable 5.Losing hope as Dev

https://x.com/AnthropicAI
1•riponcm•32m ago•0 comments

Gojek Co-Founder Makarim's Trial in Indonesia Shows Rising Business Risks

https://www.bloomberg.com/news/articles/2026-06-17/gojek-co-founder-makarim-s-trial-in-indonesia-...
2•doppp•36m ago•0 comments

New attack provides one more reason why AI browsers are a bad idea

https://arstechnica.com/security/2026/06/ai-browsers-can-be-lulled-into-a-dream-world-where-guard...
5•joozio•37m ago•0 comments

Liquid AI releases a 230M model optimized for phones, Raspberry Pi, and robots

https://www.liquid.ai/blog/lfm2-5-230m
1•mpfect•39m ago•0 comments

For Kodachrome Fans, Road Ends at Photo Lab in Kansas (2010)

https://www.nytimes.com/2010/12/30/us/30film.html
1•js2•41m ago•1 comments

Horsewood ReviEwS ( July 2026) We Tried It My Honest Review

https://finance.yahoo.com/sectors/healthcare/articles/horsewood-urgent-report-2026-horse-19110038...
3•pazybaur•45m ago•0 comments

Noise as information and information as noise – Unsung

https://unsung.aresluna.org/noise-as-information-and-information-as-noise/
1•rbanffy•45m ago•0 comments

Terminal Apps Need a DOM

https://www.c1.ai/engineering/agent-tui-structured-terminal-access-for-ai-agents
1•philips•47m ago•0 comments

What if social media optimized for less time online?

https://tuhat.net/u/sbr/p/kilta
1•8by3•47m ago•0 comments

Uruky: The paid European search engine

https://robheghan.prose.sh/26_06_30_uruky
2•Skinney•50m ago•0 comments

Ragit – chat with any folder of documents using a local LLM

https://github.com/ats4321/ragit
2•atshu21•51m ago•0 comments