frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

https://arxiv.org/abs/2512.02080
1•PaulHoule•49s ago•0 comments

Terence Tao: AI contributions to Erdős problems

https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems
1•frozenseven•1m ago•0 comments

Parsing Advances

https://matklad.github.io/2025/12/28/parsing-advances.html
1•mfrw•3m ago•0 comments

Ask HN: Best Podcasts of 2025?

2•adriancooney•5m ago•1 comments

Jensen Huang meets with former hostage and Nvidia employee Avinatan Or

https://www.ynetnews.com/business/article/skw4qsomwl
1•thenaturalist•6m ago•0 comments

Git and Markdown are all you need

https://www.galiglobal.com/blog/2025/20251221-git-and-markdown-are-all-you-need.html
1•antonmry•6m ago•1 comments

The Optimal Architecture for Small Language Models

https://huggingface.co/blog/codelion/optimal-model-architecture
1•simonpure•7m ago•0 comments

Nvidia deal a big win for Groq employees

https://www.axios.com/2025/12/28/nvidia-groq-shareholders
1•seanlinehan•8m ago•0 comments

Show HN: Meter – Web scraping that syncs only what changed

https://www.meter.sh/
1•mckinnonr•8m ago•0 comments

Beyond Vector Search: Building an Adaptive Retrieval Router for Agentic AI

https://medium.com/@sumoaps/beyond-vector-search-building-an-adaptive-retrieval-router-for-agenti...
1•sumoaps•8m ago•1 comments

Show HN: FlowCode – Visual Flowcharts That Generate and Execute Python

https://southernadd-cmyk.github.io/flowCode/
1•adamclement•9m ago•0 comments

Microsoft Open Specifications

https://learn.microsoft.com/en-us/openspecs/main/ms-openspeclp/3589baea-5b22-48f2-9d43-f5bea4960ddb
1•vitorsr•10m ago•0 comments

Laid Off After 25 Years in Tech:The Anxiety,Sacrifice,Reality No One Talks About [video]

https://www.youtube.com/watch?v=VeMA9WGKxOg
1•jcsoft•11m ago•0 comments

Bluetooth Headphone Jacking: A Key to Your Phone [video]

https://media.ccc.de/v/39c3-bluetooth-headphone-jacking-a-key-to-your-phone
1•willnix•11m ago•1 comments

Mitra 15 (French minicomputer from the 1970)

https://en.wikipedia.org/wiki/Mitra_15
1•JPLeRouzic•14m ago•0 comments

People Who Drink Bottled Water Daily Get 90k More Microplastic Particles a Year

https://www.wired.com/story/people-who-drink-bottled-water-on-a-daily-basis-ingest-90000-more-mic...
3•beardyw•14m ago•0 comments

Radioscope: A device that turns Wi-Fi activity into sound

https://github.com/simg/radioscope
1•simg•15m ago•1 comments

Playing Factorio from 1k floppy disks

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

Secret code break that 'solved' the Zodiac killer case

https://papalinc.com/secret-code-break-that-solved-the-zodiac-killer-case-expert-who-unmasked-sin...
1•goloroden•16m ago•0 comments

Show HN: Better Git for KiCad

https://www.paplix.io/
1•Mechse•20m ago•0 comments

Show HN: Codenhack – An interactive terminal and live editor for beginners

https://codenhack.com/
1•codenhack•22m ago•0 comments

Toward Training Superintelligent Software Agents Through Self-Play SWE-RL

https://arxiv.org/abs/2512.18552
1•pama•23m ago•0 comments

Do You Remember ISDN?

https://www.youtube.com/watch?v=rQfy8T-VOs4
1•linsomniac•24m ago•1 comments

Zero-days in GPG out in the wild [video]

https://media.ccc.de/v/39c3-to-sign-or-not-to-sign-practical-vulnerabilities-i
1•l1am0•24m ago•0 comments

Country makes call to cancel all visas for Americans

https://www.thestreet.com/travel/country-makes-call-to-cancel-all-visas-for-americans
3•sipofwater•29m ago•1 comments

Show HN: mdfocus – A distraction free Markdown reader for your localhost

https://github.com/tzador/mdfocus
2•timz•29m ago•0 comments

Show HN: Self-growing neural networks via a custom Rust-to-LLVM compiler

https://github.com/pierridotite/NOMA
6•pierridotite•30m ago•3 comments

GA4 Has Become More Complex – and That's Changing Analytics in the EU

2•CheckAnalytic•30m ago•0 comments

Ancient Greek Geometry

https://sciencevsmagic.net/geo/
2•birdculture•32m ago•0 comments

Show HN: Control Your Telegram with AI

https://medium.com/dev-genius/control-your-telegram-with-ai-complete-setup-guide-for-2025-15e95bd...
1•orrbenyamini•33m ago•0 comments
Open in hackernews

Show HN: Databasus – open-source backup tool for PostgreSQL, MySQL and MongoDB

https://databasus.com
6•rostislav_dugin•2h ago
I had a post in the start of December about Postgresus 2.0: self hosted tool for PostgreSQL. Since then the project changed the name and added support of other databases: MySQL, MariaDB and MongoDB.

Website - https://databasus.com

GitHub - https://github.com/databasus/databasus

Main features:

- Scheduled backups for multiple PostgreSQL, MySQL, MariaDB and MongoDB databases

- Storage to S3, Cloudflare R2, Google Drive, Azure Blob, NAS, SFTP, rclone, etc.

- Notifications about backup status via email, Telegram, Slack, Discord, MS Teams and customizable webhooks

- Works with both self-hosted and managed PostgreSQL (RDS, Cloud SQL, etc.)

- Runs as a single Docker container or via Helm on Kubernetes, can be installed via script

- There are workspaces and role-based access with audit logs