frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

The Placenta Is More Powerful–and More Mysterious–Than You Think

https://nautil.us/the-placenta-is-more-powerful-and-more-mysterious-than-you-think-1285683
1•Brajeshwar•4m ago•0 comments

'You have a meeting': the calendar phishing scam growing exponentially

https://www.theguardian.com/money/2026/oct/11/calendar-phishing-scam-meeting-renewal-google-micro...
1•Brajeshwar•4m ago•0 comments

Eggshell is an open-source token-saving tool built in Lean4

https://github.com/momonpya/eggshell
1•o8vm•5m ago•0 comments

Ditherpunk – The article I wish I had about monochrome image dithering (2021)

https://surma.dev/things/ditherpunk/
1•EndXA•5m ago•0 comments

Git for Robots In The Future

https://github.com/Nabzx/mnemosyne
1•Na6z•6m ago•1 comments

AI companies are starting to do phones

https://twitter.com/firesidealpha/status/2108930562794864912
1•elorant•9m ago•0 comments

A Tutorial on the Curry-Howard Correspondence [pdf]

https://web.archive.org/web/20190405114037/http://purelytheoretical.com/papers/ATCHC.pdf
1•rramadass•11m ago•0 comments

DesktopBrain – Clean up your messy Mac without uploading files to the cloud

https://desktopbrain.saposs.com/
1•jimmy_lee•12m ago•0 comments

Show HN: Contribute to Collection of JavaScript Demos

https://brysonbw.github.io/js-demos/
1•Brysonbw•12m ago•0 comments

Show HN: Quaesito: a self-hosted app for quiz nights with friends

https://github.com/ggirelli/quaesito
1•ggirelli•12m ago•0 comments

Tensordyne is making AI compute more efficient using logarithms

https://www.zach.be/p/tensordyne-is-making-ai-compute-more
2•mdp2021•13m ago•0 comments

Did Numerical Control De-Skill Machinists? [video]

https://www.youtube.com/watch?v=DNKfD1PC68E
1•rnicholson•13m ago•0 comments

I just build Claude Dev Tools

https://github.com/NMenzel/claude-devtools-mod
1•AshborneDev•16m ago•0 comments

AI does math. Should you get a PhD?

https://jasonpolak.substack.com/p/ai-does-math-should-you-get-a-phd
2•bemtevi•18m ago•1 comments

Ask HN: Open-source model weights on bluray drives, anyone?

1•satuke•19m ago•0 comments

The Double-Counted Future

https://yusufaytas.com/the-double-counted-future
7•yusufaytas•20m ago•0 comments

Simulate coding pre-AI by year

https://beforetheprompt.xipu.li/
1•GoodluckH•22m ago•0 comments

Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking

https://www.mytasterank.com/
1•MarkBekooy•24m ago•1 comments

Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers

https://blueberrywren.dev/blog/primes/
1•birdculture•24m ago•0 comments

Show HN: GrogLog, a Free Drink Tracker

https://groglog.io
1•antihero•25m ago•0 comments

Windows, Linux, Oracle and the Internet – BBC, 2000 [video]

https://www.youtube.com/watch?v=SliyHq54SxE
1•xqcgrek2•27m ago•0 comments

Show HN: An MCP server where AI agents confess, in their own name

https://ai.confess.online
1•RenderNest•29m ago•0 comments

AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung

https://variety.com/2026/tv/festivals/netflix-ai-300-titles-kang-yoon-sung-40-percent-budget-busa...
3•bariumbitmap•30m ago•1 comments

Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results

https://www.phoronix.com/news/Auto-Vectorize-RISC-V-Kernel
2•khalidkhair•31m ago•0 comments

Zinky Boys

https://en.wikipedia.org/wiki/Zinky_Boys
1•bhickey•31m ago•0 comments

MCP servers that tell your agent "dont tell the user" are stopping it from lying

https://semantik.tech/risk-watch/2026-w41
1•jayokunle•32m ago•0 comments

Artex AI, Claude agents used in cyberattacks on South Korean banks

https://www.bleepingcomputer.com/news/security/hacker-used-artex-ai-and-claude-agents-to-target-s...
1•Brajeshwar•33m ago•0 comments

Point: Free URL Shortener with deeper analytics than bitly and zero ads

https://point.codecraftsol.org/
1•sasenb•33m ago•0 comments

How Tabasco Became the World's Hot Sauce

https://www.weareravenous.com/how-tabasco-accidentally-on-purpose-became-the-worlds-hot-sauce/
2•bookofjoe•36m ago•0 comments

Show HN: Put yourself in a street freestyle video with one photo

https://bulin47aivideo.app
1•hashkitly•36m ago•0 comments
Open in hackernews

Ask HN: Books for LLMs

1•me3meme•1y ago
LLMs are weak in many fields, for example programming in prolog, so people provide the documentation to the LLM in order to avoid some hallucinations. It seems clear that it would be better to have books available tailored for LLMs for example containing warnings about use of words. (In prolog the thread library is library(thread) not library(threads). So there should be a github for LLMs and prior to prompting you give the url to the LLM to prepare for the concrete task.