frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

A tiny Python library/DSL to construct Python formal models

https://github.com/caotic123/PyMagic/
1•caotic123•1h ago

Comments

caotic123•1h ago
PyMagic is a library used to write specs/models inspired by model checkers. It can be used to write formal specs and has the benefit to improve LLM-code by reasoning over specs instead of real-world running code.

The America-Ukraine link grows even spottier

https://www.economist.com/europe/2026/10/22/the-america-ukraine-link-grows-even-spottier
1•doener•1m ago•0 comments

Exploration of a more library-oriented approach to contracts

https://isocpp.org/files/papers/P4324R0.html
1•bmacho•3m ago•0 comments

How to Make Things and Why

https://www.youtube.com/watch?v=7yeH1DqK984
1•cleansy•4m ago•0 comments

I made an open-source phone app that debloats your Google TV over Wi-Fi

https://github.com/man15h/tellyscope
1•man15h•6m ago•0 comments

Show HN: A clipboard manager that protects secrets

https://clipaudit.app/
1•trungdq88•6m ago•1 comments

TokenGate: Adapting LLMs for pre-fill with learned skimming for ~11x speedup

https://github.com/token-gate-llms/TokenGate
1•anandvc•6m ago•1 comments

Show HN: FazerWM, a scrollable tiling window manager for macOS

https://fazerwm.app/
1•realityloop•7m ago•0 comments

How to grow a cacao tree at home

https://www.cocoterra.com/guide-on-how-to-grow-chocolate-at-home/
1•felipevb•8m ago•0 comments

PRINTABLE.MD

https://printable.md/
2•drorwolmer•12m ago•0 comments

The Five Stages of Being Replaced by Your Autocomplete

https://www.vincentschmalbach.com/five-stages-of-being-replaced-by-your-autocomplete/
1•vincent_s•13m ago•0 comments

PIZD, a Rust compressor exploring structural deduplication

https://pizd.spedo.dev/
1•torxx666•16m ago•0 comments

How to Start a Defence Tech Startup in the UK: Part 1

https://foxandlion.pub/analysis/how-to-start-a-defence-tech-startup-in-the-uk-part-1
4•fascinnn•17m ago•0 comments

A React component for building Web forms from JSON Schema

https://github.com/rjsf-team/react-jsonschema-form
2•saikatsg•19m ago•0 comments

Show HN: Continue Your Google AI Mode Chats in Gemini/Claude

https://chromewebstore.google.com/detail/relay-continue-google-sea/fjjfadgooapnegipjocinojjhaajghag
2•mahami•22m ago•0 comments

Probably NOT use the Linux eBPF/Rust XDR I built alone

https://github.com/visiongaiatechnology/gedefense
1•visiongaiatech•23m ago•0 comments

Nvidia Eyes Software Revenue with a $2k per GPU Yearly Figure from Huang

https://www.techpowerup.com/354113/nvidia-eyes-software-revenue-with-a-usd-2-000-per-gpu-yearly-f...
1•theanonymousone•27m ago•0 comments

RTX 4000 Pro Blackwell SFF performance hacks

https://piszczek.pl/blog/rtx-pro-4000-blackwell-sff-120w-qwen-benchmark
2•jacquesm•29m ago•0 comments

A tiny app for C# dotnet design Window Form

https://github.com/macauhome/winform-designer
1•macauhome•29m ago•0 comments

Thiel's leaked lectures on the end of the world

https://www.theverge.com/tech/1014252/peter-thiel-antichrist-lectures-analysis
1•izhak•29m ago•1 comments

Show HN: pw-repl – A Playwright-powered REPL for you and your agents to share

https://github.com/arcanemachine/pw-repl
1•arcanemachiner•30m ago•0 comments

Notes on loneliness (Tommy Dixon)

https://www.tommydixon.ca/p/notes-on-loneliness
1•xen_relay•32m ago•0 comments

I translated North Korean pop into American [video]

https://www.youtube.com/watch?v=nlSSyPXQ2i4
1•nxobject•33m ago•0 comments

HackDigest: Daily three-sentence news summaries in Korean or English

https://minjungsung.github.io/hackdigest/
1•minjungsung1994•33m ago•0 comments

China's tech giants are paying 1M yuan for a new kind of AI engineer

https://www.scmp.com/tech/tech-trends/article/3371925/chinas-tech-giants-are-paying-1-million-yua...
2•01-_-•40m ago•0 comments

Peter Thiel says Apple has done 'nothing new' after Steve Jobs

https://www.businessinsider.com/peter-thiel-apple-steve-jobs-tim-cook-innovation-iphone-duo-2026-10
1•01-_-•41m ago•0 comments

MustardOS is custom firmware (CFW) for handheld gaming devices

https://muos.dev/
1•fork-bomber•43m ago•0 comments

PyMagic a tiny DSL to write models/specs in Python

https://pypi.org/project/pymagic-models/
1•caotic123•47m ago•1 comments

Slavoj ŽIžek: Only Desperation Can Save Us from Ecology, AI, and War [video]

https://www.youtube.com/watch?v=_0LSqRzpxhU
1•asilis•50m ago•0 comments

Blackwell Brings NUMA Back, Inside One GPU

https://vincentzed.com/writing/blackwell-numa
1•frostbyte7•50m ago•0 comments

Show HN: Hazzel – A terminal coding harness that stays small on purpose

https://github.com/mukundzha/hazzel
1•mukundjha1•51m ago•0 comments