frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

TFormula: Render LaTeX from any CLI app directly in Kitty-compatible terminals

https://github.com/mikewang817/TFormula
2•boltzmann-brain•1h ago

Comments

boltzmann-brain•1h ago
I've originally asked for it two weeks ago on the Ghostty github discussions page [1], and it turns out someone decided to just go ahead and develop it. It looks awesome. What's most stunning to me is that back in the 90s and 00s we would have waited several years to someone try and attempt something like this. Huge thanks to GH user mikewang817

[1] https://github.com/ghostty-org/ghostty/discussions/13291

P.S. I changed "agent" to "app" in the title since that makes much more sense. I think the author used the wrong word there. Maybe tformula was initially meant for only agents and then it turned out to work for all CLI apps and the title hasn't been updated yet.

Why hasn't AI increased unemployment?

https://twitter.com/PeterMcCrory/status/2079979321607745905
1•gk1•21s ago•0 comments

Perfect Transcribe (macOS)

https://apps.apple.com/gb/app/perfect-transcribe/id6738916290?mt=12
1•emadda•54s ago•1 comments

LLMs Are Still Toxic, Stuck in the Past, and Bad at Math

https://www.eyosias.dev/blog/llms-are-still-toxic-and-bad-at-math
1•Eyosias_x5•1m ago•0 comments

China to boost wind and solar generation by more than 50% in five years

https://www.reuters.com/business/energy/china-boost-wind-solar-generation-by-more-than-50-five-ye...
2•xbmcuser•6m ago•1 comments

Stinkpot: SQLite-Backed Shell History

https://tangled.org/oppi.li/stinkpot
1•nerdypepper•8m ago•0 comments

Nvidia Nemotron 3 Ultra – open weight model

https://research.nvidia.com/labs/nemotron/Nemotron-3-Ultra/
1•andsoitis•8m ago•0 comments

Show HN: Devdex – a pixel-art identity page for builders

https://devdex.tech/arcofchanu
1•the1ronit•12m ago•1 comments

Em dashes are fucking amazing

https://psychotechnology.substack.com/p/em-dashes-are-fucking-amazing
3•surprisetalk•12m ago•1 comments

Em Dash and AI

https://lebaron.sh/posts/em-dash-ai-tell/
2•kaderovski•12m ago•2 comments

The Omega Seamaster Professional 300M that surprised me

https://www.kulman.sk/en/omega-seamaster-professional-300m-36mm/
1•ig0r0•12m ago•0 comments

Programming language file extensions that match ISO 3166-1 alpha-2 country code

https://www.bruh.ltd/blog/programming-language-file-extensions-that-match-an-iso-3166-1-alpha-2-c...
2•speckx•18m ago•0 comments

Podcast Apps: A Framework for Dying Slowly with Dignity

https://www.uncommonapps.nyc/p/podcast-apps-a-framework-for-dying
1•1123581321•20m ago•0 comments

Pellet guns against India GenZ protestors. Video conference by opposition leader

https://www.youtube.com/watch?v=EnM-UJhxIwg
2•Guestmodinfo•24m ago•0 comments

A Functional Taxonomy of World Models

https://drfeifei.substack.com/p/a-functional-taxonomy-of-world-models
1•andsoitis•26m ago•0 comments

Indian govt orders GitHub to block Bitchat

https://www.moneycontrol.com/europe/?url=https://www.moneycontrol.com/technology/indian-govt-orde...
6•notThrowingAway•26m ago•3 comments

TPS, Pressure-Testing Product Ideas, Nokia's Demise – Food for Agile Thought 554

https://age-of-product.com/food-agile-thought-554-toyota-production-system/
1•swolpers•27m ago•0 comments

UK AISI / CAISI Preliminary Assessment of Kimi K3's Cyber Capabilities

https://www.nist.gov/news-events/news/2026/07/uk-aisi-caisi-preliminary-assessment-kimi-k3s-cyber...
1•0in•28m ago•0 comments

I've been working on a podcast app that goes far beyond a sleep timer

https://apps.apple.com/nl/app/sleepcast/id6744658836
1•aderijke•29m ago•0 comments

Programming Languages Are Authoring Tools for Platforms

https://www.makonea.com/en-US/blog/programming-languages-are-authoring-tools-for-platforms
1•jdw64•31m ago•0 comments

Do It by Hand First: Method for Keeping Critical Thinking Alive in the Age of AI

https://blog.parentsguidetoai.ca/do-it-by-hand-first-critical-thinking.html
1•speckx•32m ago•0 comments

Galilean Limits of Electromagnetism

https://johncarlosbaez.wordpress.com/2026/07/18/galilean-limits-of-electromagnetism/
1•surprisetalk•32m ago•0 comments

Mapping infrastructure across East Asia and the US

https://oswarld.github.io/gridos/en/
1•haebom•33m ago•0 comments

Orcas filmed ramming sunfish so hard it explodes in cloud of scraps

https://www.abc.net.au/news/science/2026-07-23/orcas-filmed-ramming-sunfish-so-hard-they-explode/...
2•debo_•35m ago•0 comments

Show HN: TechStacks – Popular Tech news summarized, including comments

https://techstacks.io
1•mythz•36m ago•0 comments

Show HN: Uploads.sh – the missing upload command for coding agents (open-source)

https://uploads.sh/
2•zachdunn•37m ago•0 comments

Show HN: X402vps – Docker containers for AI agents, paid per hour with USDC

https://x402vps.com
3•z1z2z3•37m ago•0 comments

Show HN: I built an app where tasks live inside calendar events

https://apps.apple.com/ph/app/zesfy-daily-planner-progress/id6479947874
1•zesfyapp•37m ago•0 comments

Why is programming so captivating, yet so agonizing?

https://elsewhere.news/en/zhenfund/why-is-programming-so-captivating-yet-so-agonizing
2•ilreb•37m ago•0 comments

A Tour of MLIR: The Dialect Stack Everyone Depends On

https://hiraditya.github.io/posts/mlir-dialect-stack-for-ml/
1•haeseong•38m ago•0 comments

Show HN: Cc-session-migrate: Cross-node migration for Claude Code sessions

https://github.com/bigwhite/cc-session-migrate
1•bigwhite•39m ago•0 comments