Show HN: My deliberately boring developer portfolio (saurav.dev)

1 points by thetruthseekah 2m ago 0 comments

Show HN: Zymo.tv (github.com)

2 points by smashlangdevs 5m ago 1 comments

Telegram, the FSB, and the Man in the Middle (occrp.org)

1 points by _tk_ 6m ago 0 comments

Generic automation framework for acceptance testing and RPA (github.com)

1 points by kaitian-dev 7m ago 1 comments

Show HN: Activiews – Better visualizations for your Apple workouts (apps.apple.com)

1 points by ahmetomer 7m ago 0 comments

Show HN: I made PromptForge – a tool to build and manage intelligent AI prompts (forge-ai-interface.lovable.app)

1 points by FabianJani 8m ago 0 comments

Ofsted criticised over training manual linking autistic children to extremism (theguardian.com)

1 points by austinallegro 14m ago 0 comments

Glass Houses: How Apple's New Design Might Repeat Microsoft's Costliest Mistake (blog.azula9713.dev)

1 points by azula9713 15m ago 0 comments

Heroku Is Down (status.heroku.com)

3 points by cornfieldlabs 19m ago 4 comments

Show HN: 100-Line Python Script to Turn Text Files into Terminal Presentations (github.com)

1 points by DanielBogdanov 20m ago 0 comments

Jest 30: Faster, Leaner, Better (jestjs.io)

2 points by amalinovic 24m ago 0 comments

Techlinkhub (techlinkhub.xyz)

1 points by blackpc 25m ago 0 comments

Recursion in Forth (boston.conman.org)

1 points by furkansahin 25m ago 0 comments

Is the AI Bubble About to Burst? (versobooks.com)

1 points by doener 27m ago 0 comments

Updates to Apple's On-Device and Server Foundation Language Models (machinelearning.apple.com)

1 points by cpldcpu 32m ago 0 comments

Show HN: Financial accounts aggregator a.k.a. mint.com but with an AI copilot (getprosperity.ai)

1 points by surferbayarea 36m ago 0 comments

Ask HN: Founders, how do you keep your startup journey organized and connected?

1 points by SebHDLawson 37m ago 0 comments

A slighly better useState (bluepnume.medium.com)

1 points by bluepnume 38m ago 0 comments

Show HN: Docling, Simplified Document Processing (docling-project.github.io)

1 points by furkansahin 39m ago 0 comments

New Energy Outlook (about.bnef.com)

3 points by doener 40m ago 0 comments

Get financial and historical data for any public company for free (quantiq.live)

3 points by laurentiurad 43m ago 1 comments

For Some Recent Graduates, the A.I. Job Apocalypse May Be Here (nytimes.com)

1 points by Teever 45m ago 0 comments

Show HN: I roast your product idea before you waste 6 months building it (zerotocustomers.com)

1 points by kogekar 46m ago 0 comments

Ask HN: Best Neuromusic to Focus To?

1 points by keepamovin 47m ago 0 comments

A website with a large number of Chinese independent developers (github.com)

1 points by light001 47m ago 0 comments

I added calendar integration and overtime nudges to LookAway (lookaway.app)

1 points by _kush 52m ago 0 comments

WebGPU enabled in Safari 26 beta (webkit.org)

1 points by pjmlp 54m ago 0 comments

LLM ready regulatory data for lifescience apps- Entvin (YC S22) (entvin.com)

1 points by hemant125 55m ago 0 comments

Real reasons people do not have the number of children they want in new report (theguardian.com)

2 points by beardyw 1h ago 0 comments

Bret Victor: Computational Public Space [video] (youtube.com)

2 points by simongray 1h ago 0 comments

Google Search Is Dead (trend-mill.com)

3 points by moomoy 1h ago 0 comments

Show HN: Algo-Trading Software (github.com)

1 points by lukaszwojtow 1h ago 0 comments

The Official Em Dash Home Page (the-em-dash.com)

1 points by kyrylo 1h ago 1 comments

Heroku Outage (status.heroku.com)

7 points by rahulr0609 1h ago 10 comments

Foreign affairs Italian website down (and all Italian embassies worldwide) (esteri.it)

3 points by oriettaxx 1h ago 0 comments

Fallacies of MLOps (hopsworks.ai)

2 points by jamesblonde 1h ago 0 comments

Midichlorian Rhapsody [video] (youtube.com)

1 points by throwaway81523 1h ago 1 comments

YouTube has loosened its content moderation policies (theverge.com)

2 points by 01-_- 1h ago 0 comments

The Wyoming Hospital Upending the Logic of Private Equity (theatlantic.com)

2 points by petethomas 1h ago 0 comments

Europe needs digital sovereignty – and Microsoft has just proven why (tuta.com)

35 points by 01-_- 1h ago 1 comments

Mochi Programming Language v0.6.0 – LINQ syntax for querying datasets (github.com)

1 points by scapbi 1h ago 0 comments

Tinygrad 101 (github.com)

2 points by ofou 1h ago 0 comments

Pokemoji – The largest collection of emoji and kaomojis

1 points by JimmyAllen 1h ago 0 comments

Writing a GameBoy Emulator in JavaScript (mitxela.com)

1 points by oliverkwebb 1h ago 0 comments

A quantum algorithm for Khovanov homology (arxiv.org)

10 points by robinhouston 1h ago 0 comments

Show HN: A MCP server and client implementing the latest spec (github.com)

6 points by init0 1h ago 0 comments

On Buying the Commodore Brand (datagubbe.se)

1 points by ingve 1h ago 0 comments

The Least Similar Bordering Countries (objectivelists.com)

1 points by thunderbong 1h ago 0 comments

Price wars grip China as deflation deepens, $30 for a luxury Coach bag? (reuters.com)

1 points by petethomas 1h ago 0 comments

Ask HN: Practices for sandboxing LLM agent front ends and IDEs?

1 points by jMyles 1h ago 1 comments

PreTeXt: An authoring and publishing system for scholarly documents

2 gjvc 1 6/10/2025, 2:47:47 AM github.com ↗

Comments (1)

gjvc · 5h ago

see also https://pretextbook.org/ where it says (Before June 2017, PreTeXt was called “MathBook XML”, so many of those references remain.)