frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Linear Types for Programmers (2023)

https://twey.io/for-programmers/linear-types/
25•marvinborner•3h ago

Comments

scythmic_waves•50m ago
Sorry off topic but I love the styling of this site.
jnpnj•21m ago
Newb question, aren't phantom types and typestates a subset (or cousin) of linear types ?
renox•1m ago
There's Austral https://austral-lang.org/ for linear types, I'm not sure what is the state of the language but it has a nice tutorial about linear types.

GrapheneOS Is a Cult (German)

https://www.onli-blogging.de/2546/GrapheneOS-ist-ein-gefaehrlicher-Kult.html
1•doener•1m ago•0 comments

A Date in 2025 (2018) [video]

https://www.youtube.com/watch?v=NZ8G3e3Cgl4
1•KolmogorovComp•2m ago•0 comments

Claude Finds God

https://asteriskmag.com/issues/11/claude-finds-god
1•CharlesW•3m ago•0 comments

Cost, Privacy, Security Concerns Turn Customers Away from Subscription Services

https://www.jalopnik.com/1927772/cost-privacy-security-concerns-automaker-subscription-services-survey/
1•rntn•6m ago•0 comments

Anukari has macros, and a preset API

https://anukari.com/blog/devlog/finally-anukari-has-macros
1•humbledrone•6m ago•0 comments

I watched 46,391 TikToks – so I built TikTok Wrapped to track it

https://www.tiktokwrapped.world/
1•vusaldev•9m ago•1 comments

Britain's MPs charge VPNs to expenses as minister urges caution

https://www.politico.eu/article/britain-mps-charge-vpns-expenses-minister-caution-tech-jonathan-reynolds-data/
4•Jigsy•12m ago•1 comments

Sarah Paine's framework for a good historical argument

https://www.youtube.com/watch?v=teAL1Qo_6BY
1•gsf_emergency_2•12m ago•0 comments

Apache Fineract

https://fineract.apache.org/
1•planetjones•14m ago•0 comments

Tape Speed Keyboard [video]

https://www.youtube.com/watch?v=adxlFwIGTfc
1•mkaic•18m ago•0 comments

Hibernator 'superpowers' may lie hidden in human DNA

https://attheu.utah.edu/health-medicine/hibernator-superpowers-may-lie-hidden-in-human-dna/
4•geox•23m ago•0 comments

People Reimagining 'Spirited Away' with Puppets (2024)

https://www.nytimes.com/2024/08/05/t-magazine/spirited-away-puppets-hayao-miyazaki-john-caird.html
1•zeristor•25m ago•1 comments

Using LLM Embeddings to Normalize User Data

https://matthodges.com/posts/2025-08-02-language-model-embeddings-campaign-donors/
2•m-hodges•28m ago•0 comments

US labor market adds 73,000 jobs in July while unemployment rate hits 4.2%

https://www.bloomberg.com/news/live-blog/2025-08-01/us-employment-report-for-july
1•paulpauper•28m ago•0 comments

Show HN: AI Enabled SQLite CLI

https://www.npmjs.com/package/sqlite3-ai-cli?activeTab=readme
1•theahura•29m ago•0 comments

If You're So Smart, Why Are You So Poor?

https://terminaldrift.substack.com/p/if-youre-so-smart-why-are-you-so
7•paulpauper•30m ago•2 comments

Ask HN: What will happen to Apple Silicon devices once Apple ends updates?

2•yu3zhou4•30m ago•4 comments

WiFi signals could be used to uniquely identify individuals

https://www.techradar.com/pro/wi-fi-signals-could-be-used-to-uniquely-identify-individuals-whofi-complements-biometrics-prompting-privacy-fears
1•anigbrowl•30m ago•0 comments

Steam Survey for July Shows Linux Use Approaching 3%

https://www.phoronix.com/news/Steam-Survey-July-2025
2•naves•34m ago•0 comments

B-Splines and Fourier-Best Friends for Spatial-Temporal Video Super-Resolution

https://arxiv.org/abs/2501.11043
2•gnabgib•38m ago•0 comments

MaskLLM for LLM API Key Rotation

1•meerc•39m ago•0 comments

Researchers try new ways of preserving more hearts for transplants

https://medicalxpress.com/news/2025-07-ways-hearts-transplants.html
1•PaulHoule•43m ago•0 comments

Farewell Shunsaku Tamiya: The Man Who Gave Us the Best Things to Build

https://hackaday.com/2025/07/31/farewell-shunsaku-tamiya-the-man-who-gave-us-the-best-things-to-build/
1•toomuchtodo•43m ago•0 comments

Radix UI – open-source component library

https://www.radix-ui.com/
1•gjvc•43m ago•0 comments

The $21.7B Blunder: Analyzing the Waste Generated by Doge [pdf]

https://www.washingtonpost.com/documents/b256b202-ff01-48dc-a2d1-80b0e43fa87a.pdf
5•cratermoon•45m ago•1 comments

Chilling warnings from 1930s Europe: "Reality is stronger than all our wishes"

https://www.doomsdayscenario.co/p/fleeing-one-step-ahead-of-fascism-fbcf5ac4661dca77
19•tastyface•45m ago•1 comments

J'AI créé Nova, un assistant vocal open-source sans collecte de données

https://github.com/N0vaAssistant/Nova_Assistant
1•NovaAssistant•46m ago•1 comments

Ask HN: Is fast.ai's "Deep Learning for Coders" still relevant in 2025?

4•hedgehog0•47m ago•0 comments

My Empathy Is Rarely Kind

https://www.lesswrong.com/posts/xPrL2xF9iYWpPmu6B/my-empathy-is-rarely-kind
1•arrowsmith•49m ago•0 comments

Creator of the Long Arc

https://thelongarc.global/
1•mmkchughtai•52m ago•1 comments