frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

mini-Lean-Agent: A Coding-Agent Baseline for Lean

https://arxiv.org/abs/2610.17331
1•matt_d•2m ago•0 comments

Block Blast harvests its players for ad money

https://ayoships.com/breakdowns/block-blast
1•robin_reala•4m ago•0 comments

Jexxa Now Includes an Automatic Evaluation Suite

https://jexxa.org/
1•sankde•5m ago•1 comments

Stop training forecast models. Timeseries just went zero-shot

https://nitishagar.medium.com/stop-training-forecast-models-time-series-just-went-zero-shot-c7ff7...
1•nitishagar•13m ago•0 comments

PHP warns it plans to release 2 emergency patches imminently

https://arstechnica.com/security/2026/10/php-maintainers-tell-web-devs-to-prepare-themselves-for-...
2•jaredwiener•25m ago•1 comments

Giving AI video some Remembrance of things past

https://www.unite.ai/giving-ai-video-some-remembrance-of-things-past/
1•50kIters•26m ago•0 comments

Pragtical v3.14 Lua-based text editor adds menus, floating views, and sessions

https://pragtical.dev/blog/pragtical-v3140-release
1•rd07•26m ago•0 comments

MagicRoute: Routing Without Physical Routers

https://tailscale.com/blog/magicroute-beta
1•mfrw•30m ago•0 comments

World Classics: Modern Translations of the Iliad and Odyssey (EN, FR, DE, ES)

https://worldclassics.org/
1•epsteingpt•31m ago•1 comments

What Will Be Scarce

https://aleximas.substack.com/p/what-will-be-scarce
1•thewileyone•32m ago•0 comments

Omarchy made me rethink my Mac

https://cloudjourneyblog.rohi-lab.org/blog/summon-os
1•RohiRik•36m ago•1 comments

Static vs. dynamic tradeoffs – Rich Hickey (Clojure/Conj 2026) [video]

https://www.youtube.com/watch?v=P5eO7BNyJao
1•fmjrey•38m ago•1 comments

Claude Opus 5.5 finished Baldur's Gate 3 on its own in 39 hours

https://bogdantruta.com/blog/claude-finished-baldurs-gate-3/
2•swyx•39m ago•1 comments

Kvleak:my Claude Code cache hit was 95%,fifth of input spend leaked

https://github.com/shangliy/kvleak
1•shangliy•41m ago•0 comments

Android 17 for RISC-V Available for the RVA23 Profile Through Rise

https://riseproject.dev/2026/10/20/android-17-available-on-rva23-with-rise/
1•fork-bomber•43m ago•0 comments

What They're Not Telling You About Data Centers [video]

https://www.youtube.com/watch?v=1V_o8tfuGdw
1•jonbaer•44m ago•0 comments

C vs. C#: racing VLC's Gaussian blur

https://martinfinkel.com/blog/gaussian-blur-c-vs-csharp/
1•martz•47m ago•0 comments

Why We Still Need an IDE

https://blog.jetbrains.com/blog/2026/10/20/why-we-still-need-an-ide/
2•snafu109•47m ago•0 comments

AI Benchmarks: Climbing the Wrong Hills

https://research.contrary.com/report/ai-benchmarks-climbing-the-wrong-hills
3•gmays•49m ago•0 comments

SaaS Is Dead

https://saasisdead.si/
7•tokozedginidze•52m ago•3 comments

'Phenomenal sighting': Beluga whale spotted off Donegal

https://www.rte.ie/news/ulster/2026/1020/1596169-beluga-whale-donegal/
2•austinallegro•54m ago•0 comments

Letter to a worried student (David Madore)

http://www.madore.org/~david/weblog/d.2026-10-20.2862.letter-to-a-worried-student.html#d.2026-10-...
2•baruchel•55m ago•0 comments

Delivery Robots Accused of Scanning Customers' Faces and Sharing Biometric Data

https://apnews.com/article/chicago-food-delivery-robots-biometric-data-lawsuits-16ead54eb7dc7c6ea...
3•armcat•57m ago•0 comments

TotalBodyIQ, an iOS workout planner that assumes your week will go wrong

https://apps.apple.com/us/app/totalbodyiq-workout-coach/id6760733953
1•andytotalbodyiq•1h ago•0 comments

What should I use instead of Firefox on Android?

2•trystrawberries•1h ago•3 comments

The Flying Pig Problems

https://tianyin.github.io/flying_pig_problems.html
1•rayval•1h ago•0 comments

Design files are becoming text

https://polotno.com/blog/json-design-format
1•Interfaces_pro•1h ago•0 comments

Larry Ellison Went on Borrowing Spree to Bankroll His Son's Warner Bros. Bid

https://www.wsj.com/finance/larry-ellison-warner-bros-loans-49918714
4•JumpCrisscross•1h ago•0 comments

Don't Be Hapless

https://www.paulgraham.com/relres.html
1•nvader•1h ago•0 comments

Ask HN: Does anyone else just want to disconnect from everything?

3•lualover•1h ago•2 comments
Open in hackernews

Various Things in MetaPost (2019)

https://habr.com/en/articles/454376/
41•Tomte•1y ago

Comments

Gualdrapo•1y ago
Had to dive into MetaPost (and MetaFun) because of ConTeXt, and turns out it's the most closest thing to programming with prose language that I know. You can do pretty cool stuff without needing to dive in into complicated syntax - and do some pretty complicated stuff that at least would require a lot of mouse action with a graphics/vector editor.