frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Marvelous – A Markdown editor where every save is a Git commit

https://github.com/stevenjjobson/marvelous
1•stevenjobson•43m ago

Comments

matthorse•26m ago
How do you solve multi-device sync and conflict resolution? The model seems simple, but may leak Git semantics to the surface. How does it keep the high-frequency history useful: does it squash it periodically? Durable history and meaningful history are not quite the same thing.

Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC)

https://archive.org/details/mancomputerbyjoh0000john
1•MilnerRoute•52s ago•0 comments

Why Rocq is better than Lean for program verification

https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
1•birdculture•2m ago•0 comments

LLM Honeypot

https://llm2human.pages.dev/
1•8thom•3m ago•0 comments

Swift on Windows: A Year of Refinement

https://speakinginswift.substack.com/p/swift-on-windows-a-year-of-refinement
1•wrxd•7m ago•0 comments

CherryTree Note Taker App

https://www.giuspen.net/cherrytree/
1•theMezz•7m ago•1 comments

Show HN: An AI Color Grader – Pico

https://www.perbhat.com/pico
1•perbhat•11m ago•0 comments

Microsoft keeps capex unchanged, the only datacenter giants to hold AI spending

https://www.businessinsider.com/microsoft-ai-capex-unchanged-data-centers-spending-tech-giants-20...
2•mapping365•11m ago•1 comments

Rogue OpenAI agent that hacked startup tried to attack other firms

https://www.theguardian.com/technology/2026/jul/29/rogue-openai-agent-that-hacked-startup-tried-t...
5•jethronethro•11m ago•0 comments

How HN: Vetted Startup – discover, buy, and sell startups with verified revenue

https://vettedstartup.com/
1•mattdarren•12m ago•0 comments

Chip stocks shed more than $1T as selloff hits AI companies

https://www.cnbc.com/2026/07/29/chip-selloff-sk-hynix-samsung-softbank.html
2•yogthos•12m ago•0 comments

Why agentic systems need ontologies [video]

https://www.youtube.com/watch?v=Sir59K8ZDPU
2•juanre•14m ago•0 comments

Arizona's Declining Groundwater

https://science.nasa.gov/earth/earth-observatory/arizonas-declining-groundwater-154567/
2•littlexsparkee•14m ago•0 comments

TrustZone Intermezzo: Broken OP-Tee Memory Isolation on I.mx 8M

https://sigma-star.at/blog/2026/06/trustzone-intermezzo/
1•lengfeld•19m ago•0 comments

PyTorch Tutorial for Deep Learning

https://blog.jetbrains.com/pycharm/2026/07/pytorch-tutorial-for-deep-learning/
1•smokeeaasd•21m ago•0 comments

Copilot code review: Agent skills and MCP now generally available

https://github.blog/changelog/2026-07-29-copilot-code-review-agent-skills-and-mcp-now-generally-a...
1•smokeeaasd•23m ago•0 comments

More than 12M eye drops recalled contamination could harm vision

https://www.dailymail.com/health/article-16014229/rohto-eyedrops-recall-fda-sterility.html
2•Bender•25m ago•0 comments

Three Virtues by Larry Wall

https://thethreevirtues.com/
3•gregsadetsky•27m ago•0 comments

GitHub is the wrong shape for this new world

https://depot.dev/blog/github-is-the-wrong-shape-for-this-new-world
5•emschwartz•27m ago•0 comments

Show HN: Always on visual context for your agents

https://useglass.up.railway.app/#
2•quantbagel•27m ago•0 comments

It was surprisingly hard to break CloudNativePG replication

https://coroot.com/blog/fencing-a-cnpg-replica/
2•valyala•29m ago•0 comments

Vector AI Agent

https://routinehub.co/shortcut/24957/
2•morriszdweck•29m ago•0 comments

The task is not the job

https://www.siliconcontinent.com/p/why-desk-jobs-survive-and-amodei
2•adletbalzhanov•32m ago•2 comments

Show HN: I built a Chrome extension so Claude can close my 300 tabs

https://chromewebstore.google.com/detail/tab-genie/cjbnpcocgkomljkgfhgadolphbeicddh
3•adam_carrigan•32m ago•0 comments

Ask HN: Is everybody's Claude weekly quota reset time the same?

1•0gs•34m ago•0 comments

Òrbites – el puzzle de les constel·lacions

https://orbites.cat/
1•sabatesduran•34m ago•0 comments

Microsoft Struggling with AI-Discovered Security Bugs

https://www.propublica.org/article/anthropic-mythos-microsoft-software-vulnerabilities
4•donohoe•36m ago•0 comments

AgentSwarms – self-hostable agentic AI/BI platform with sandboxed Python (ELv2)

https://github.com/AgentSwarms-fyi/agentswarms
3•agentswarms•40m ago•0 comments

The Hunt for the Counterfeiter Trying to Make the Perfect Bill

https://www.nytimes.com/2026/07/16/magazine/counterfeit-dollars.html
1•bookofjoe•40m ago•1 comments

Agentic Design

https://agentic-design.ai
2•Davcker•40m ago•0 comments

Marvelous – A Markdown editor where every save is a Git commit

https://github.com/stevenjjobson/marvelous
1•stevenjobson•43m ago•1 comments