Nitpicks: Record a video and let an agent implement the code (nitpicks.ai)

2 points by angelmm 1m ago 0 comments

I solved my biggest founder problem (and it wasn't what I expected) (feedbackkit.app)

1 points by jen_ai_era 3m ago 1 comments

Ask HN: SleepLive – ASMR custom audio and video requests platform (sleeplive.io)

1 points by Mattykry 3m ago 1 comments

Empire of the Absurd: A Brief History of the Absurdities of the Soviet Union (laurivahtre.ee)

1 points by Maro 4m ago 0 comments

UK unveils plans to 'transform' the consumer smart meter experience (theregister.com)

1 points by rntn 5m ago 0 comments

So, About Those Big Trade Deals (theatlantic.com)

1 points by bryanrasmussen 9m ago 0 comments

'Toothless' compulsory voting can increase voter turnout (phys.org)

1 points by PaulHoule 9m ago 0 comments

All-In on Omarchy at 37signals (world.hey.com)

2 points by dotcoma 10m ago 0 comments

Memory 2.0: Attentive Memory (2012) (blog.ninlabs.com)

1 points by azhenley 10m ago 0 comments

Canada approves national standard for age verification, estimation (biometricupdate.com)

2 points by busymom0 12m ago 0 comments

It's a mess: Quantum Mechanics turns 100 years old (quantamagazine.org)

1 points by pessimist 13m ago 0 comments

Ask HN: Do you not submit things because page is festooned w pop-ups/ads/etc.?

1 points by bookofjoe 13m ago 0 comments

ChatGPT Agent – EU Launch (help.openai.com)

2 points by Topfi 15m ago 1 comments

How California energy policy is holding back a game changing climate technology (sfchronicle.com)

1 points by ssuds 15m ago 0 comments

Ask HN: What do you use for user management/IAM in your SaaS app?

1 points by sahilarora535 16m ago 0 comments

Tell HN: ChatGPT 4o has been re-enabled

1 points by SeanAnderson 17m ago 0 comments

Irmin Retrospective (patrick.sirref.org)

2 points by Bogdanp 18m ago 0 comments

The Ancient Art and Intimate Craft of Artificial Eyes (thereader.mitpress.mit.edu)

1 points by gmays 20m ago 0 comments

End-User Programmable AI (queue.acm.org)

2 points by tosh 20m ago 0 comments

VR with: 1,400 nits – 180° FOV – 90 pixels per degree (meta.com)

1 points by E-Reverance 21m ago 0 comments

60% of medal of honor recipients are Irish or Irish-American (en.wikipedia.org)

8 points by physarum_salad 26m ago 0 comments

Show HN: Grid-table – Emacs grid table with rich text, images, formulas (github.com)

1 points by oliverchan2024 34m ago 0 comments

Cartels may be able to target witnesses after major court hack (politico.com)

4 points by geox 35m ago 0 comments

Public DNS malware filters to be tested in 2025 (techblog.nexxwave.eu)

1 points by LopRabbit 36m ago 0 comments

Restaurant chains feel the pinch as US consumers tighten their belts (ft.com)

2 points by cs702 37m ago 1 comments

Oxide's $100M Series B (oxide-and-friends.transistor.fm)

3 points by tosh 37m ago 1 comments

Man-eating' screw worm turns hospital into horror show (telegraph.co.uk)

2 points by oumua_don17 42m ago 0 comments

Toit: A modern high-level language designed specifically for microcontrollers (toitlang.org)

1 points by tosh 43m ago 0 comments

Expediting On-Device LLM Personalization via Explainable Model Selection (arxiv.org)

1 points by kstonekuan 43m ago 0 comments

As electric bills rise, evidence mounts that data centers share blame (apnews.com)

6 points by petethomas 46m ago 0 comments

Notes on a Smaller Rust (2019) (without.boats)

2 points by todsacerdoti 50m ago 0 comments

Opencode [video] (youtube.com)

1 points by davidkunz 50m ago 0 comments

What even is distributed systems (notes.eatonphil.com)

3 points by qianli_cs 51m ago 0 comments

Smartwatches offer little insight into stress levels, researchers find (theguardian.com)

2 points by breve 52m ago 0 comments

Flattery, Lobbyists and Business: Crypto's Richest Man Campaigns for a Pardon (nytimes.com)

1 points by wslh 53m ago 1 comments

Retiring and relocating? Take a holistic approach (apnews.com)

2 points by mooreds 54m ago 1 comments

Show HN: Sparc3D AI – High‑Res 3D Generation Tool (sparc3dai.com)

2 points by kevink23 55m ago 0 comments

Humans make better content cops than AI, but cost 40x more (theregister.com)

2 points by rntn 58m ago 1 comments

Free AI w/ dynamic disagreement engine, optimized for constructive conflict (dmwithme.com)

1 points by 0xlogk 1h ago 0 comments

Diffusion Language Models Are Super Data Learners (jinjieni.notion.site)

1 points by jxmorris12 1h ago 0 comments

ESP32 Bus Pirate 0.5 – A Hardware Hacking Tool That Speaks Every Protocol (github.com)

2 points by geo-tp 1h ago 2 comments

UN: Booming solar, wind and green energy hits global tipping point for low cost (news.mongabay.com)

2 points by PaulHoule 1h ago 1 comments

Take: Process file lines with a logic-based language (github.com)

3 points by triska 1h ago 0 comments

Avatarl: Training language models from scratch with pure reinforcement learning (tokenbender.com)

3 points by Gusarich 1h ago 0 comments

CaMeL-Powered Secure Agent Demo with ADK (github.com)

2 points by honorious 1h ago 1 comments

Google AI – Confidently and Hilariously Wrong (photo-pick.com)

1 points by curiosity42 1h ago 0 comments

Google Gemini struggles to write code, calls itself "a disgrace to my species" (arstechnica.com)

3 points by mmwelt 1h ago 0 comments

Simon Willison's Lethal Trifecta Talk at the Bay Area AI Security Meetup (simonwillison.net)

3 points by vismit2000 1h ago 0 comments

Performance Pitfalls in C# / .NET – List Contains (richardcocks.github.io)

1 points by eterm 1h ago 3 comments

The Kingdom of Books (atlasobscura.com)

1 points by Brajeshwar 1h ago 0 comments

TinyTeX – a LaTeX distribution based on TeX Live

4 gjvc 1 8/9/2025, 11:29:08 AM github.com ↗

Comments (1)

gjvc · 4h ago

full documentation at https://yihui.org/tinytex/

and explanatory article in TUGboat https://tug.org/TUGboat/tb40-1/tb124complete.pdf