frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Vieta Space, a visual LaTeX math editor

https://docs.vietaspace.com/guide/features
3•liamhawtin•1h ago
Vieta Space was built to reduce the friction of writing and editing LaTeX for mathematical expressions.

Existing tools often slow down math communication and force a slow iteration cycle of manual LaTeX. The growing demand for digital math across classrooms, research, and LLM based workflows made a faster and more direct editor necessary.

The project focuses on visual construction, natural language actions, and stable structural behavior.

It's free. Feedback on usability and future directions is welcome!

Comments

PranayBatta•58m ago
Finally, a tool that lets me spend less time debugging mismatched braces and more time debugging my actual math

Join the on-call roster, it'll change your life

https://serce.me/posts/2025-12-09-join-oncall-it-will-change-your-life
1•todsacerdoti•1m ago•0 comments

Pydantic-AI Deepagents

https://github.com/vstorm-co/pydantic-deep
1•kacper-vstorm•1m ago•1 comments

Trump ban on wind power projects overturned by federal judge

https://www.cnbc.com/2025/12/08/trump-ban-on-wind-power-projects-overturned-by-federal-judge.html
1•pseudolus•1m ago•0 comments

Rsyslog Goes AI First – A New Chapter Begins

https://www.rsyslog.com/rsyslog-goes-ai-first-a-new-chapter-begins/
1•baobun•1m ago•0 comments

Brent's Encapsulated C Programming Rules (2020)

https://retroscience.net/brents-c-programming-rules.html
1•p2detar•2m ago•0 comments

Richard Stallman on ChatGPT

https://www.stallman.org/chatgpt.html
7•colesantiago•6m ago•0 comments

A Distributed Systems Reliability Glossary

https://jepsen.io/blog/2025-10-20-distsys-glossary
1•adityaathalye•7m ago•0 comments

Nvidia can sell H200s to China – if Washington gets a 25 percent cut

https://www.theregister.com/2025/12/09/trump_gpu_export_ban_reversal/
1•pseudolus•7m ago•0 comments

Show HN: AlgoDrill – Interactive drills to stop forgetting LeetCode patterns

https://algodrill.io
3•henwfan•9m ago•0 comments

Towards a Categorization of Adlerian Excuses

https://www.lesswrong.com/posts/kdG4T9jtETYe8Hkkg/towards-a-categorization-of-adlerian-excuses
1•eatitraw•13m ago•0 comments

Show HN: I reimplemented TRM – trains on Sudoku 6×6 in minutes on an A10

https://github.com/olivkoch/nano-trm
2•whiplash451•16m ago•0 comments

Show HN: I got 50% of my traffic from ChatGPT instead of Google

https://localpdf.online/
3•ulinycoin•16m ago•2 comments

Need advice on going Open source

https://www.silvergrid.ai/
2•oppi•17m ago•1 comments

Nobel laureate László Krasznahorkai delivers rare lecture in Stockholm

https://www.latimes.com/entertainment-arts/story/2025-12-07/nobel-literature-laureate-laszlo-kras...
1•wslh•21m ago•0 comments

Death Valley plant yields blueprint for building heat-resilient crops

https://phys.org/news/2025-11-death-valley-yields-blueprint-resilient.html
2•PaulHoule•21m ago•0 comments

Meet the Islands Theme – The New Default Look for JetBrains IDEs

https://blog.jetbrains.com/platform/2025/12/meet-the-islands-theme-the-new-default-look-for-jetbr...
2•ancarda•22m ago•0 comments

AI Browsers Aren't Smart Enough yet to Take over the Internet

https://www.bloomberg.com/news/features/2025-12-08/what-is-agentic-browsing-and-why-are-ai-browse...
2•thm•22m ago•0 comments

Martin Kleppmann Prediction: AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
2•thomasweiser•23m ago•1 comments

Going Loopy

https://xania.org/202512/08-going-loopy
1•ibobev•23m ago•0 comments

Predicate Decomposition

https://buttondown.com/jaffray/archive/predicate-decomposition/
1•ibobev•24m ago•0 comments

Show HN: I built a climbing tracker for data-obsessed climbers (Expo/RN)

https://goclimbr.com/share
2•codesink•25m ago•0 comments

ZX Spectrum Next on the Internet: Xberry Pi ESP01 and Pi Zero Upgrades

https://retrogamecoders.com/zx-spectrum-next-on-the-internet-xberry-pi-esp01-and-pi-zero-upgrades/
1•ibobev•25m ago•0 comments

Show HN: VirtualDNS – a programmable internal DNS for private environments

1•virtualdns•27m ago•0 comments

Building a Modern C64 Assembly AI Toolchain

https://medium.com/@gianlucabailo/building-a-modern-c64-assembly-ai-toolchain-using-google-gemini...
1•094459•29m ago•1 comments

US startup seeks to reclaim Twitter trademarks 'abandoned' by Musk's X

https://www.reuters.com/technology/us-startup-seeks-reclaim-twitter-trademarks-abandoned-by-musks...
3•tmvnty•32m ago•0 comments

Polymarket: Mechanics of Trading Probability

https://codepointer.substack.com/p/polymarket-buying-no-selling-yes
1•ykhl1itj•34m ago•0 comments

macOS was fun: John Siracusa's OS X Reviews (2015)

https://hypercritical.co/2015/04/15/os-x-reviewed
1•watersb•34m ago•1 comments

AIxCC Curl Details

https://daniel.haxx.se/blog/2025/10/22/aixcc-curl-details/
2•robin_reala•39m ago•0 comments

Fossils, genomes clash as scientists debate the mosquito's origins

https://www.thehindu.com/sci-tech/science/fossils-genomes-clash-as-scientists-debate-the-mosquito...
1•ashishgupta2209•40m ago•0 comments

Kafkorama Benchmark: 1M msgs/s to 1M users on Confluent with 5ms median latency

https://kafkorama.com/blog/benchmarking-kafkorama-confluent.html
1•michelrotaru•40m ago•0 comments