frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Horizontal Scrolling Containers Are Not a Content Strategy

https://adrianroselli.com/2025/08/horizontal-scrolling-containers-are-not-a-content-strategy.html
1•speckx•19s ago•0 comments

Hamilton–Jacobi–Bellman is just linear duality

http://guille.site/posts/hjb-convex/
1•LolWolf•20s ago•0 comments

I'm Creating a TradingView Alternative

https://old.reddit.com/r/Trading/comments/1nj8k9m/im_creating_a_tradingview_alternative/
1•ajungleocean•1m ago•0 comments

'Privatisation premium': billions from UK energy bills paid to shareholders

https://www.theguardian.com/politics/2025/sep/17/privatisation-premium-billions-from-uk-energy-bi...
1•NomDePlum•4m ago•0 comments

Model F104 Classic Style Keyboard – Buckling Spring Perfection at Last? (2024)

http://nerdlypleasures.blogspot.com/2024/12/the-model-f-labs-f104-classic-style.html
1•hggh•4m ago•0 comments

AI job loss – example, perhaps

1•ajay-b•4m ago•0 comments

An Introduction to Ada [video]

https://www.youtube.com/watch?v=dJ0Pdv1gMzU
1•vogu66•7m ago•0 comments

How to easily switch your PC from Windows to Linux Mint – for free

https://www.zdnet.com/article/how-to-easily-switch-your-pc-from-windows-to-linux-for-free/
2•CrankyBear•8m ago•0 comments

Sneakers Film Promotional Floppy

https://archive.org/details/Sneakers_Film_Promotional_Floppy
1•toomuchtodo•8m ago•1 comments

What to know about zarfs, the fanciest way to drink coffee

https://www.npr.org/2025/09/17/nx-s1-5541377/word-language-history-zarf-turkey-coffee-java-jacket
1•rolph•8m ago•0 comments

Water Vapor Could Cool Your Next iPhone

https://spectrum.ieee.org/iphone-17-pro-vapor-chamber
1•just_human•8m ago•0 comments

Tariff threat plays havoc with US PC market, economy not helping

https://www.theregister.com/2025/09/17/tariffs_us_pc_market/
2•rntn•10m ago•0 comments

LIGO Verifies Hawking's Theorem

https://as.cornell.edu/news/10th-anniversary-ligo-verifies-hawkings-theorem
1•gmays•10m ago•0 comments

Linux Mint 22.2 "Zara" released

https://blog.linuxmint.com/?p=4881
1•martpie•10m ago•0 comments

Show HN: Canteen – Enabling Claude/Cursor to hire world class tech talent

https://recruiting.thecanteenapp.com/
1•andyprevalsky•11m ago•0 comments

Bootc: Boot and Upgrade via Container Images

https://github.com/bootc-dev/bootc
1•kblissett•11m ago•0 comments

Generating RSS Feeds from Web Pages with RSS Please (2022)

https://www.wezm.net/v2/posts/2022/generate-rss-from-webpage/
1•alastairr•11m ago•0 comments

Ants Found a Loophole for a Fundamental Rule of Life

https://www.nytimes.com/2025/09/15/science/ants-species-babies.html
1•anyonecancode•11m ago•0 comments

People are more likely to cheat when they delegate tasks to AI

https://www.nature.com/articles/d41586-025-02819-w
1•geox•12m ago•0 comments

Show HN: Built a super lite(18MB) native macOS screen recorder app with autozoom

https://cursorclip.com/
3•shadabshs•12m ago•2 comments

Tyler Vigen's Spurious Correlations

https://www.tylervigen.com/spurious-correlations
1•staplung•12m ago•0 comments

Ask HN: What web software do you pay for as a consumer?

1•calflegal•13m ago•0 comments

Why we haven't seen a Stripe-sized company in analytics

https://risogroup.co/insights/why-we-havent-seen-stripe-sized-analytics
1•jamesriso•14m ago•0 comments

Nestle unveils method to boost cocoa yields as climate change hits

https://sg.news.yahoo.com/nestle-unveils-method-boost-cocoa-124158674.html
1•PaulHoule•14m ago•0 comments

RSPAX: Mirror Tokens for common SpaceX stock

https://republic.com/rspax
2•mapleoin•15m ago•0 comments

Using Apollo in Svelte 5

https://apollo-runes-docs.vercel.app/
1•dacuna98•16m ago•0 comments

I Want More Risk-Taking in Philanthropy

https://arbesman.substack.com/p/i-want-more-risk-taking-in-philanthropy
1•surprisetalk•16m ago•0 comments

A 3D-Printed Business Card Embosser

https://www.core77.com/posts/138492/A-3D-Printed-Business-Card-Embosser
1•surprisetalk•16m ago•1 comments

Mini: The Minimal Language

https://minilanguage.com
1•surprisetalk•16m ago•0 comments

What happens when we outsource human intimacy to engagement algorithms?

https://syntheticauth.ai/posts/synthetic-auth-report-issue-011
1•zerolayers•17m ago•1 comments
Open in hackernews

Choreo: Choreograph Distributed Protocols on Quint

https://quint-lang.org/choreo
2•bugarela•2h ago

Comments

bugarela•2h ago
The Quint (specification language based on TLA+) team just launched Choreo: a framework to get started writing specs for distributed systems, leveraging some known techniques such as the message soup. This should help more people get started with formal specifications without having to study so much about non-determinism and state space optimization.