Feed aggregator

Apple announced that dozens of vulnerabilities have been patched in each of its operating systems.

The post Apple Patches 87 Vulnerabilities in iOS, 155 in macOS Tahoe appeared first on SecurityWeek.

To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation.

This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of AI-written implementation. To prove correctness, AI autonomously wrote over 60,000 lines of Lean proofs, which also never have to be inspected by a human. The Lean checker guarantees conformance to the specification at compile time, with zero trust placed in any LLM. This allows us to treat the implementation and proofs as a black box. I guided the agent through the milestones described in the readme to arrive at the result presented here.

Also take a look at the web demo https://schildep.github.io/verified-3d-mesh-intersection/, which runs the verified mesh intersection kernel compiled to WebAssembly in your browser.

Comments URL: https://news.ycombinator.com/item?id=49083239

Points: 1

# Comments: 0

Article URL: https://deepmind.google/blog/securing-the-future-of-ai-agents/

Comments URL: https://news.ycombinator.com/item?id=49083222

Points: 1

# Comments: 0

The company will use the fresh investment to grow its customer success and AI R&D teams.

The post OT Security Startup Frenos Raises $1.52 Million appeared first on SecurityWeek.

Article URL: https://hatchet.run/blog/first-idempotency-key

Comments URL: https://news.ycombinator.com/item?id=49083207

Points: 1

# Comments: 0

Article URL: https://zenodo.org/records/21277138

Comments URL: https://news.ycombinator.com/item?id=49083198

Points: 1

# Comments: 0

Article URL: https://www.wired.com/story/private-claude-chats-exposed-in-google-and-bing-search-results/

Comments URL: https://news.ycombinator.com/item?id=49083197

Points: 1

# Comments: 0

Article URL: https://mabels.github.io/ovn-fabric/blog/ovn-fabric-writeup.html

Comments URL: https://news.ycombinator.com/item?id=49083187

Points: 1

# Comments: 0

Article URL: https://github.com/VictorTaelin/OptMem

Comments URL: https://news.ycombinator.com/item?id=49083167

Points: 1

# Comments: 0

Article URL: https://dmarcguard.io/blog/valimail-alternative/

Comments URL: https://news.ycombinator.com/item?id=49083159

Points: 1

# Comments: 0

Article URL: https://github.com/Gogo27Gallet/Fronde

Comments URL: https://news.ycombinator.com/item?id=49083155

Points: 1

# Comments: 0

Article URL: https://www.unsungnovelty.org/posts/07/2026/fire-alarms-privacy/

Comments URL: https://news.ycombinator.com/item?id=49083149

Points: 1

# Comments: 0

Article URL: https://www.codembark.com/projects/fv20lz9map/spider-web-drawing

Comments URL: https://news.ycombinator.com/item?id=49083146

Points: 1

# Comments: 0

I’ve worked as a B2C product manager and co-founded two social-media-related startups (one acquired and one closed down), but I was never particularly good at conventional social networking. I don’t enjoy cultivating followers, optimizing for engagement, or wondering how a post will perform.

Yet sometimes I want to share something and I want people to get a reasonable chance of finding it. Sure, I can start a blog or an X account (which obviously I have) but when I post something, usually nobody sees it or interacts with it.

So... I've built Cosmos47 - a public social feed that shows all posts chronologically. One feed that appears the same to all users, from all over the world. No algorithm or ranking people by popularity.

All posts are analyzed with AI and each post gets tagged with its language, topics, tone, format, length, location, and other characteristics. Readers can then filter the feed themselves (if they wish). The idea is distribution through relevance rather than popularity.

Full Disclosure The entire website was built using AI tools, including the frontend, backend, and much of the work required to make a client-rendered app accessible to search engines. The main platform was Base44, but I've used their MCP (with ChatGPT 5.6 Sol) and added a Cloudflare layer that returns crawler-readable public pages, metadata and sitemaps.

It’s still an early experiment. Most of the content currently on the platform is actually AI slop test content that I created to test multilingual feeds, filtering, moderation, embeds, search and indexing. I’m not trying to present this as an existing community and my next challenge is to attract real people who genuinely want to try it out.

I’d appreciate any feedback you want to share!

Comments URL: https://news.ycombinator.com/item?id=49083145

Points: 1

# Comments: 0

Article URL: https://blog.victorsilva.com.uy/aws-secrets-manager-terraform-least-privilege/

Comments URL: https://news.ycombinator.com/item?id=49083141

Points: 1

# Comments: 0

Article URL: https://visualgui.com/2026/07/28/using-ai-for-automated-tasks/

Comments URL: https://news.ycombinator.com/item?id=49083134

Points: 1

# Comments: 0

Article URL: https://galjot.si/what-ai-developers-could-learn-from-charles-bukowski

Comments URL: https://news.ycombinator.com/item?id=49083132

Points: 2

# Comments: 0

Article URL: https://specshield.io/

Comments URL: https://news.ycombinator.com/item?id=49083129

Points: 1

# Comments: 0

Article URL: https://github.com/asciimoo/hister/releases/tag/v0.17.0

Comments URL: https://news.ycombinator.com/item?id=49083110

Points: 2

# Comments: 0

Article URL: https://blog.zksecurity.xyz/posts/bron-bugs/

Comments URL: https://news.ycombinator.com/item?id=49083100

Points: 1

# Comments: 0