frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

In-place functional programming with Koka

https://dl.acm.org/doi/abs/10.1145/3607840
1•fanf2•1h ago

98% Isn't Much

https://whynothugo.nl/journal/2026/07/03/98-isnt-very-much/
1•speckx•2m ago•0 comments

A better way to tie your gym shorts. (Or any drawstring) [video]

https://www.youtube.com/watch?v=3R0Lp86GEBk
1•surprisetalk•2m ago•0 comments

Entering the Agentocene: A Statistical Investigation of AI-Era Coding

https://jauu.net/posts/2026-07-05-entering-the-agentocene/
1•hgn•3m ago•0 comments

Why is integration so much harder than differentiation? (2020)

https://math.stackexchange.com/questions/20578/why-is-integration-so-much-harder-than-differentia...
1•vismit2000•3m ago•0 comments

Best iOS Weight Lifting App for iPhone and Apple Watch (2026)

https://musklr.com/blog/2026/best-ios-weight-lifting-app-apple-watch/
1•badgag•4m ago•0 comments

Turn commodity WiFi signals into real-time spatial intelligence

https://github.com/ruvnet/RuView
1•adithyaharish•5m ago•0 comments

Show HN: What if your personal website was ChatGPT?

https://antonlorani.de/en-us/conversation
1•mrbnprck•5m ago•1 comments

Gemini Interactions API

https://ai.google.dev/gemini-api/docs/interactions-overview
2•lovelearning•6m ago•0 comments

Show HN: PostgreSQL performance and cost across 23 EC2 instance types

https://postgres.saneengineer.com
2•anivan_•7m ago•0 comments

The Dream of v2

https://duggan.ie/posts/the-dream-of-v2
1•duggan•8m ago•0 comments

StreetComplete: Fixing OpenStreetMap, one tiny quest at a time

https://streetcomplete.app/
2•kls0e•9m ago•0 comments

Slint, the ideal language for vibe coding UIs?

https://slint.dev/blog/slint-and-AI-MCP
1•NigelBres•10m ago•0 comments

Abject Praise

https://infrequently.org/2026/07/abject-praise/
1•genericlemon24•11m ago•0 comments

Close look at the halo–and how it 'saved Hamilton's neck' in Monza crash (2021)

https://www.formula1.com/en/latest/article/tech-tuesday-a-close-look-at-the-halo-and-how-it-saved...
1•thunderbong•12m ago•0 comments

Show HN: After a layoff I built the tool I needed – find jobs, tailor resumes

https://jobfyt.com/ats-checker
1•chrisadam•12m ago•0 comments

Autonomous cars do not have to turn Britain into an America-style hellscape

https://takes.jamesomalley.co.uk/p/no-hellscape-no-problem
1•writerJames•12m ago•0 comments

Show HN: Open-source desktop agent that uses a local folder as its memory

https://github.com/zqiren/Orbital
2•10keane•13m ago•0 comments

What "Project Hail Mary" Taught Me About Working in Tech (Part 1)

https://adatosystems.com/2026/07/01/what-project-hail-mary-taught-me-about-working-in-tech-part-1/
1•mooreds•14m ago•0 comments

Do you want that computer-science degree?

https://www.economist.com/graphic-detail/2026/06/01/do-you-really-want-that-computer-science-degree
1•1vuio0pswjnm7•14m ago•0 comments

Show HN: SpreadsheetPreview: Pdf.js for Spreadsheets

https://spreadsheetpreview.com/
2•robbiejs•14m ago•0 comments

Nix-Darwin that speaks plain English

https://nixmac.com
1•czxtm•14m ago•0 comments

CISA is using Mythos to audit government code

https://www.reuters.com/world/us-cyber-agency-is-using-anthropics-mythos-audit-government-code-so...
1•m-hodges•14m ago•0 comments

Show HN: Pairl v1.5 – dual channel token compression for agentic workflows

https://pairl.dev/
1•dwehrmann•15m ago•0 comments

Tell HN: Who wants to be hired" posts outpace "Who's hiring" 2 to 1

2•santiagobasulto•15m ago•0 comments

Linux 6.12 for ESP32-S31

https://github.com/GrieferPig/esp32-s31-linux
2•cromka•16m ago•0 comments

Show HN: DocPenny – HTML-to-PDF API, plus the blueprint to build your own

https://docpenny.com
1•adrianani-com•16m ago•0 comments

Show HN: Claude-teleport, move your Claude Code history between machines

https://github.com/gowtham-sai-yadav/claude-teleport
2•gowthamsaiyadav•16m ago•0 comments

Trust is not built on craft alone

https://productpicnic.beehiiv.com/p/trust-is-not-built-on-craft-alone
1•healsdata•17m ago•0 comments

MCP Auth Explained: Every Method, Direct and Through a Proxy

http://blog.dwornikowski.com/posts/mcp-auth-explained/
2•tdi•18m ago•2 comments

Gemma 4 Technical Report [pdf]

https://arxiv.org/abs/2607.02770
1•theanonymousone•18m ago•0 comments