frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: AI math chat that knows your notes, connecting you to human experts

https://www.prooftree.ai
1•lemma1729•1h ago
We built a platform where you can ask all your "stupid" math questions, and you can upload all your lecture notes, and the way you do math. It then learns your style and content, replies to your questions, and eventually connects you to the fora (like StackExchange) of human mathematicians, with whom you can discuss the same, at their level.

Personal email sign ups have a limited demo, and logging in with one of 80 schools will allow you full access, including able to post to the fora yourself.

I would greatly appreciate any (and literally ANY) feedback you have!! :P

macOS 28 will not support encrypted HFS+ volumes

https://support.apple.com/en-us/125615
3•Lihh27•1m ago•0 comments

Be Grateful to Own Nothing

https://mkultra.monster/gaming/2026/07/03/physical-shmysical/
1•speckx•1m ago•0 comments

Ask HN: Software Engineering Guide – seeking recommendations

1•jph•2m ago•0 comments

California Institute for Machine Consciousness – Research Program Whitepaper [pdf]

https://cimc.ai/cimcWhitepaper.pdf
1•helloplanets•4m ago•0 comments

Van Wijngaarden Grammar

https://en.wikipedia.org/wiki/Van_Wijngaarden_grammar
1•stevefan1999•4m ago•0 comments

In San Francisco, Some Home Sellers Now Ask for OpenAI or Anthropic Stock

https://www.nytimes.com/2026/07/08/technology/san-francisco-home-sales-openai-anthropic-ipo.html
2•reaperducer•5m ago•0 comments

Stell-R – trace musical influence paths via minimum spanning tree

https://stell-r.com/Stellar/index_/
1•ebagou•6m ago•1 comments

The CEO of AWS on why Amazon is hiring 11,000 interns and junior employees

https://www.platformer.news/matt-garman-aws-ceo-interview-ai-jobs/
1•maybiiLen•6m ago•0 comments

Show HN: Fluffy Sparrow – Frictionless, Fast, Note Taking App

https://tmahmood.github.io/fluffy_sparrow/
1•t_mahmood•7m ago•0 comments

Show HN: Visually orchestrate Claude Code agents

https://github.com/rondoflow/rondoflow
1•arzzen•7m ago•0 comments

GPT‑Live

https://openai.com/index/introducing-gpt-live/
17•logickkk1•9m ago•1 comments

EmTech AI 2026: The Rise of the AI Platform

https://www.technologyreview.com/2026/07/08/1140223/emtech-ai-2026-the-rise-of-the-ai-platform/
1•joozio•11m ago•0 comments

Hash Functions

http://www.cse.yorku.ca/~oz/hash.html
1•gregsadetsky•12m ago•0 comments

Show HN: Orbit – native Mac app for many Google accounts, isolated, no server

https://orbitformac.com/
1•andrew_kwak•12m ago•1 comments

Show HN: Pretend to Vibe Code, but Meditate

https://tomreinert.de/no-effort/
3•tom2948329494•14m ago•1 comments

Rage: Fiber-based Ruby web framework with Rails ergonomics and a unified runtime

https://github.com/rage-rb/rage
1•thunderbong•16m ago•0 comments

Why the tech industry can't keep up with the AI backlash

https://www.platformer.news/ai-backlash-data-centers-jobs-inflation/
2•speckx•17m ago•0 comments

GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years

https://nebusec.ai/research/ionstack-part-2/
4•ranger_danger•19m ago•0 comments

EU now one step away from reviving private message scanning rules

https://cyberinsider.com/eu-now-one-step-away-from-reviving-private-message-scanning-rules/
5•ggirelli•19m ago•1 comments

The Pros and Cons of Cons

https://8dcc.github.io/programming/cons-of-cons.html
2•pbohun•20m ago•0 comments

Meta's glasses will turn off the camera if you tamper with the privacy light

https://www.theverge.com/gadgets/962514/meta-privacy-light-tampering-smart-glasses-update
2•Brajeshwar•20m ago•0 comments

Pritzker signs Illinois bill aimed at artificial intelligence accountability

https://www.cbsnews.com/chicago/news/pritzker-to-sign-illinois-bill-aimed-artificial-intelligence...
1•1vuio0pswjnm7•20m ago•0 comments

Building a Viewable Second Brain with Context

https://www.youtube.com/watch?v=iVrjGVPAg3g
1•sparkystacey•21m ago•0 comments

Global smartphones priced below $400 will decline by 22% as memory costs soar

https://omdia.tech.informa.com/blogs/2026/july/global-smartphones-priced-below-400-dollars-will-d...
2•theanonymousone•21m ago•0 comments

Show HN: Free and open source risk summary for AI sessions made in 5 days

https://github.com/hoophq/rs
1•luisfdias•21m ago•1 comments

We Scaled PgBouncer to 4× Higher Throughput

https://clickhouse.com/blog/pgbouncer-clickhouse-managed-postgres
1•saisrirampur•21m ago•0 comments

Show HN: Agent-zero-trust – scan a repo before your AI coding agent reads it

https://github.com/ralfyishere/agent-zero-trust
1•ralfyishere•22m ago•0 comments

PhantomDrive: A Secure USB Drive That Hides Itself

https://rootkitlabs.com/2026/06/22/I%27m-Building-a-Secure-USB-Drive/
2•sneurlax•22m ago•0 comments

Some Linode VM Families Stay Stable No Matter Where You Deploy Them

https://webbynode.com/articles/some-linode-vm-families-stay-stable-no-matter-where-you-deploy-them
1•gsgreen•22m ago•0 comments

HPCs taken offline due to a serious security vulnerability

https://twitter.com/i/status/2074870240328949873
2•denysvitali•27m ago•3 comments