frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Ask HN: Books for LLMs

1•me3meme•7mo 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.

LogicStamp: Turn React/TS into AI-Ready Context

https://logicstamp.dev/
1•handfuloflight•6m ago•0 comments

Color Contrast Tool Using APCA, the Candidate Contrast Method for WCAG 3

https://www.color-contrast.dev/
1•Kerrick•10m ago•0 comments

Lean Theorem Prover Mathlib

https://github.com/leanprover-community/mathlib4
1•downboots•17m ago•0 comments

Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco

https://kavi.sh/san-francisco-laundry-analysis/
2•2gremlin181•19m ago•0 comments

Show HN: A game engine that transpiles your scripts to Rust for native perf

https://github.com/PerroEngine/Perro
1•TiernanDeFranco•19m ago•0 comments

Using a projector instead of a computer monitor

https://blog.shenjiasi.com/20171006.html
1•plun9•20m ago•0 comments

FDA leaders propose new 'plausible mechanism' pathway for bespoke medicines

https://www.raps.org/news-and-articles/news-articles/2025/11/fda-leaders-propose-new-‘plausible...
2•geox•20m ago•0 comments

If a Meta AI model can read a brain-wide signal, why wouldn't the brain?

https://1393.xyz/writing/if-a-meta-ai-model-can-read-a-brain-wide-signal-why-wouldnt-the-brain
1•rdgthree•22m ago•0 comments

Shooting at Brown U Barus and Holley building houses engineering and physics

https://rhodeislandcurrent.com/2025/12/13/the-unthinkable-has-happened-2-killed-eight-injured-in-...
3•redwood•23m ago•0 comments

Honing rods analyzed with an electron microscope – Scienceofsharp (2018)

https://scienceofsharp.com/2018/08/22/what-does-steeling-do-part-1/
1•shrinks99•24m ago•0 comments

How to Extend Phone Battery Life: 10 Proven Hacks

https://www.dailytechhacks.com/hacks/extend-phone-battery-life.html
1•rk3000•25m ago•2 comments

Show HN: Libefaxx – A Microbenchmark for AWS EFA GPU/CPU RDMA Communication

https://github.com/crazyguitar/Libefaxx
2•crazyguitar•30m ago•0 comments

Therapeutic Use of Cannabis and Cannabinoids: A Review

https://jamanetwork.com/journals/jama/fullarticle/2842072?guestAccessKey=a368e622-e374-4a0c-8d3b-...
3•bookofjoe•33m ago•0 comments

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory

https://www.fsf.org/news/2024-free-software-awards-winners
4•pseudolus•46m ago•0 comments

NeuralOperator Joins the PyTorch Ecosystem

https://pytorch.org/blog/neuraloperatorjoins-the-pytorch-ecosystem/
1•williamjsdavis•50m ago•0 comments

States lodge lawsuit against Trump's $100k H-1B visa fee

https://www.politico.com/news/2025/12/12/trump-visa-fee-lawsuit-00689510
5•sul_tasto•51m ago•1 comments

Evaluating Gemini Robotics Policies in a Veo World Simulator

https://veo-robotics.github.io/
1•thomasm6m6•53m ago•0 comments

Quantum Computing Could Put IBM Back on Top Again

https://www.barrons.com/articles/ibm-stock-quantum-computing-system-two-a6c615de
3•Bostonian•56m ago•2 comments

Awesome-Jj: Jujutsu Things

https://github.com/Necior/awesome-jj
2•n3t•56m ago•0 comments

Emulating AVX-512 intrinsics in Miri

https://trifectatech.org/blog/emulating-avx-512-intrinsics-in-miri/
1•ashvardanian•58m ago•0 comments

Unswitching Loops for Fun and Profit

https://xania.org/202512/12-loop-unswitching
1•ibobev•1h ago•0 comments

Job isn't programming

https://codeandcake.dev/2025/12/12/your-job-isnt-programming/
3•nick4•1h ago•0 comments

Making Windows Terminal with GitHub Copilot CLI

https://developer.microsoft.com/blog/making-windows-terminal-awesome-with-github-copilot-cli
2•ibobev•1h ago•0 comments

Resolving an ambiguity in the Windows clipboard automated text conversion table

https://devblogs.microsoft.com/oldnewthing/20251212-05/?p=111862
1•ibobev•1h ago•0 comments

Coffee Pod Financing

https://newsletterhunt.com/emails/205961
1•mooreds•1h ago•0 comments

OpenAI Ends 'Vesting Cliff' for New Employees in Compensation-Policy Change

https://www.wsj.com/tech/ai/openai-ends-vesting-cliff-for-new-employees-in-compensation-policy-ch...
1•garbawarb•1h ago•0 comments

New Rule Forbids Gnome Shell Extensions Made Using AI Generated Code

https://www.phoronix.com/news/GNOME-Extensions-Block-AI
2•turrini•1h ago•0 comments

A unscientific guide to the security of various PQC algorithms

https://keymaterial.net/2025/12/13/a-very-unscientific-guide-to-the-security-of-various-pqc-algor...
1•todsacerdoti•1h ago•0 comments

How Did the CIA Lose a Nuclear Device?

https://www.nytimes.com/interactive/2025/12/13/world/asia/cia-nuclear-device-himalayas-nanda-devi...
4•wslh•1h ago•2 comments

Vibe Coding Is Boring

https://cassidoo.co/post/vibe-coding-yawn/
4•cassidoo•1h ago•1 comments