frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Dependent types at work in Agda [pdf]

https://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf
1•fanf2•3h ago

Awful Windows 11 features are the bane of my existence

https://www.pocket-lint.com/windows-11-features-i-hate/
1•Bluestein•2m ago•0 comments

What to Use Instead of PGP

https://soatok.blog/2024/11/15/what-to-use-instead-of-pgp/
1•xeonmc•3m ago•0 comments

Remaking Celeste's Lighting

https://noelberry.ca/posts/celeste_lighting/
1•todsacerdoti•6m ago•0 comments

Bill Atkinson: Polaroids Showing the Evolution of the Lisa GUI [video]

https://www.youtube.com/watch?v=Qg0mHFcB510
1•zdw•6m ago•0 comments

Ask HN: Are you hesitant to open source your project because LLMs may steal it?

2•busymom0•9m ago•0 comments

Rippling spy says men have been following him, and his wife is afraid

https://techcrunch.com/2025/06/20/rippling-spy-says-men-have-been-following-him-and-his-wife-is-afraid/
1•rntn•11m ago•0 comments

Amazon says it will reduce its workforce as AI replaces human employees

https://www.cnn.com/2025/06/17/business/amazon-ai-human-employees-jobs
1•rbanffy•12m ago•0 comments

Eris – Chat with AI privately on your iPhone and iPad

https://github.com/Natxo09/Eris.
1•microflash•12m ago•0 comments

Dioxus: Rust framework for building fullstack web, desktop, and mobile apps

https://github.com/DioxusLabs/dioxus
1•thunderbong•13m ago•0 comments

Xf – A modern C++ eXtension to FreeRTOS

https://github.com/iniw/xf
1•wvwini•14m ago•0 comments

Paradise Lost

https://m3melody.substack.com/p/paradise-lost
1•spking•15m ago•0 comments

PyTorch Reshaping with None

https://blog.detorch.xyz/post/2025-06-21-pytorch-reshaping-with-none.md
2•demirbey05•15m ago•0 comments

Reflection and open implementations (2006) [pdf]

https://www.dcc.uchile.cl/~etanter/courses/cc71p/2006/reflection_oi.pdf
1•todsacerdoti•16m ago•0 comments

Autodesk fusion and revit help build ESA's lunar training facility FLEXHab [video]

https://www.youtube.com/watch?v=GpOI6y06Rvs
1•rbanffy•16m ago•0 comments

US Congress is making more than 250M acres of public lands available for sale

https://www.wilderness.org/articles/blog/congress-making-more-250-million-acres-public-lands-available-sale
2•surprisetalk•17m ago•0 comments

US Federal Land Ownership: Overview and Data (2020) [pdf]

https://sgp.fas.org/crs/misc/R42346.pdf
2•surprisetalk•17m ago•0 comments

The Mathematics of Juggling [video]

https://www.youtube.com/watch?v=0FSWzr5kjhg
2•surprisetalk•18m ago•0 comments

China's industrial policy has an unprofitability problem

https://www.noahpinion.blog/p/chinas-industrial-policy-has-an-unprofitability
2•surprisetalk•18m ago•0 comments

Citroën DS

https://en.wikipedia.org/wiki/Citro%C3%ABn_DS
2•Bluestein•18m ago•0 comments

Show HN: Cogilo – Cognitive Mirror in Google Docs

https://workspace.google.com/marketplace/app/cogilo/319752742380
2•lukasego•19m ago•0 comments

How Housing Bubble #2 Bursts

http://charleshughsmith.blogspot.com/2025/06/how-housing-bubble-2-bursts.html
1•spking•21m ago•1 comments

Hacker News Exposes DoD's $100B Fraud: Jobs Still Filling Roles STIGs and IAVAs?

https://telegra.ph/Hacker-News-Exposes-DoDs-100-Billion-Waste-Why-Are-Jobs-Still-Filling-Roles-in-STIGs-and-IAVAs-06-21
2•infotainment12•21m ago•0 comments

Behind the scenes: Redpanda Cloud's response to the GCP outage

https://www.redpanda.com/blog/gcp-outage-june-redpanda-cloud
6•eatonphil•22m ago•1 comments

OneClickDesktop: Script to install DE on a Linux server with web/RDP/VNC access

https://github.com/Har-Kuun/OneClickDesktop
2•indigodaddy•23m ago•0 comments

The AI boom has revitalized a stagnant open-source project

https://spectrum.ieee.org/apache-airflow-3-programmatic-workflows
1•Brajeshwar•27m ago•0 comments

Signals detected from Antarctic ice seem to defy laws of physics

https://www.cnn.com/2025/06/20/science/anomalous-signals-antarctica-neutrino-detectors
1•Brajeshwar•27m ago•0 comments

Reopening a 688-year-old murder case

https://www.cnn.com/2025/06/13/science/medieval-murder-maps-noblewoman-priest
1•Brajeshwar•27m ago•0 comments

Cline New Temporal Memory Bank

https://github.com/cline/prompts/blob/main/.clinerules/temporal-memory-bank.md
2•chisleu•28m ago•1 comments

Building better chess analysis software

https://lichess.org/@/nightfox/blog/ai-chess-coach-20/EAtFkK61
3•anantdole•31m ago•1 comments

Analog Transformers

https://oklo.org/2025/05/18/analog-transformers/
2•lsh0•31m ago•0 comments