fp.
newest
Open in hackernews
Formalizing Julia in Lean (and finding 400 bugs in Base)
https://discourse.julialang.org/t/formalizing-julia-in-lean-and-finding-400-bugs-in-base/140243
2
•
yurivish
•
1h ago
R/open source just banned AI, non-English speakers, and more
https://www.theverge.com/ai-artificial-intelligence/1018217/reddit-opensource-ai-ban
1
•
isaacfrond
•
28s ago
•
0 comments
Mini: The Minimal Language
https://minilanguage.com/
1
•
surprisetalk
•
2m ago
•
0 comments
Show HN: DeepSeek v4.1 Flash-1017 Safety Evaluation
https://twitter.com/FangcunLeap/status/2114719692137136245
1
•
mayziem
•
3m ago
•
0 comments
Vegemite is not a human right
https://www.cnn.com/2026/10/26/australia/prisoner-vegemite-rejected-judge-scli-intl
1
•
sumnole
•
5m ago
•
0 comments
Engineering Evolved. The Rest Didn't. That's Why Your AI ROI Sucks
https://kerno.io/blog/why-your-ai-roi-sucks/
1
•
karimtr
•
5m ago
•
0 comments
Show HN: ToiletBench – Can AI find the toilet without a sign?
https://behu-kea.github.io/toilet-bench/
1
•
RedGreenBlack
•
7m ago
•
0 comments
Identity Verification and Account Recovery
https://ciamweekly.substack.com/p/identity-verification-and-account
1
•
mooreds
•
7m ago
•
0 comments
Anthropic's prospectus: $16.3B in revenue and an $80.7B net loss in H1
https://fortune.com/2026/10/26/anthropics-s-1/
1
•
golfer
•
7m ago
•
0 comments
Brazil sees record fall in Amazon deforestation
https://www.bbc.com/news/articles/cqe8rzg6zl00o
2
•
Faudgie
•
8m ago
•
0 comments
Help! I have a manager!
https://wizardzines.com/zines/manager/
1
•
mooreds
•
9m ago
•
0 comments
Will Fiber-Optic Cables Get Made in Orbit? Maybe
https://spectrum.ieee.org/zblan-fiber-optic-cables-iss
2
•
dverlaeckt80
•
10m ago
•
0 comments
Lighting the Skies
https://computer.rip/2026-10-25-searchlights.html
1
•
dverlaeckt80
•
10m ago
•
0 comments
Filing My Taxes for Free with AI
https://www.robw.fyi/2026/10/19/filing-my-taxes-for-free-with-ai/
2
•
someguy101010
•
10m ago
•
0 comments
Show HN: A desk gauge that shows how hot the Hacker News front page is
https://analoguedesk.co/blogs/news/idx-a-desk-gauge-that-reads-the-hacker-news-front-page
1
•
veldt
•
11m ago
•
0 comments
The Metaphysical Foundations of Conservatism (2021)
https://philarchive.org/archive/EDWTMF-3
1
•
danielam
•
12m ago
•
0 comments
UIMorph: One sentence to a clickable app, site, or game
https://uimorph.com/
1
•
AveryLinUI
•
13m ago
•
0 comments
Show HN: Vmctl – a small, dependency-free macOS/Linux VM supervisor in Swift
https://github.com/raugustinus/vmctl
1
•
raugustinus
•
13m ago
•
0 comments
Crypto Finds Its Ideal User: A Government with a Sanctions Problem
https://dsrupt.news/articles/crypto-finally-finds-its-ideal-user-a-government-with-a-sanctions-pr...
2
•
zippiest
•
15m ago
•
0 comments
Use Temporal Foundation Model to predict drawing
https://github.com/chuanqisun/timesdraw
1
•
low_tech_punk
•
15m ago
•
0 comments
MuscleMemory: Skills learned by Codex, reused by Claude Code
https://github.com/TheWariend/MuscleMemory
3
•
devthewariend
•
16m ago
•
0 comments
Whoops: Meta's Muse Share Links Disclosed All Sorts of Super-Sensitive User Data
https://www.techdirt.com/2026/10/26/whoops-metas-muse-share-links-disclosed-all-sorts-of-super-se...
1
•
cdrnsf
•
16m ago
•
0 comments
How I Work with Agents
https://x.com/thorstenball/article/2114386050638336082
2
•
iBelieve
•
16m ago
•
0 comments
More and more iOS apps are stuck In Review since weeks
https://developer.apple.com/forums/verify-human/verify.html?next=/forums/topics/app-store-distrib...
1
•
SunboX
•
17m ago
•
0 comments
Markdown Is the New Executable: Attackers Drop Agent Instructions into Downloads
https://forever.security/blog/hijacking-ai-agents-via-downloads-folder/
1
•
torutofu
•
18m ago
•
0 comments
LiberNT - A free NT operating system
https://libernt.com/
1
•
wicket
•
18m ago
•
0 comments
What's Next for DORA?
https://leaddev.com/reporting/whats-next-for-dora
1
•
mooreds
•
18m ago
•
0 comments
100 Levels of Agentic Engineering
https://virpo.io/levels/
4
•
virpo
•
19m ago
•
1 comments
Emulate Apple II on Raspberry Pi
https://www.raspberrypi.com/news/emulate-apple-ii-on-raspberry-pi/
1
•
Brajeshwar
•
20m ago
•
0 comments
AI coding agents hijacked using AGENTS.md file in Downloads folder
https://www.bleepingcomputer.com/news/security/ai-coding-agents-hijacked-using-agentsmd-file-in-d...
1
•
Brajeshwar
•
21m ago
•
0 comments
Nvidia RTX 20, 30, and 40-series GPUs hacked to remove a half-speed AI throttle
https://www.tomshardware.com/pc-components/gpus/nvidia-rtx-20-30-and-40-series-gpus-hacked-to-rem...
1
•
Brajeshwar
•
21m ago
•
0 comments
Load More