Verifying Rust cryptography in SymCrypt, from standards to code
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability…
Full feed
Feed 28,195 posts
Every story across every category, newest first. Each card links to the original publisher; daily-brief posts open as editorial pages.
Wikipedia escapes Category 1 designation under the UK Online Safety Act for now
Article URL: https://en.wikipedia.org/wiki/Wikipedia:Wikipedia_Signpost/2026-07-13/Special_report Comments URL: https://news.ycombinator.com/item?id=48894671 Points: 15 # Comments: 4
Why Local, Why Now — NVIDIA, Osmantic, Roboflow, EXO Labs, @matthew_berman
The first panel from the Local AI Summit at AIEWF 00:00 Introduction and Panelist Backgrounds in Local AI 05:05 The Inflection Point and Evolution of Open…
its been surreal to see @willccbb's career take off after getting unleashed on the world. PI (esp @asharoraa and @vincentweisser and @jackminong etc t…
its been surreal to see @willccbb's career take off after getting unleashed on the world. PI (esp @asharoraa and @vincentweisser and @jackminong etc too many to…
DOGE is done. What happened to its records?
Article URL: https://www.ms.now/opinion/doge-government-efficiency-records-job-cuts-elon-musk-foia Comments URL: https://news.ycombinator.com/item?id=48894641 Points: 115 # Comments: 46
Go-Flavored Concurrency in C
Article URL: https://antonz.org/concurrency-in-c/ Comments URL: https://news.ycombinator.com/item?id=48894637 Points: 14 # Comments: 1
Show HN: Jacquard, a programming language for AI-written, human-reviewed code
I'm fascinated by the generative AI wave rolling over us, and wondered if AI could create a language that it might prefer using over the ones…
clarity is nice
clarity is niceTibo: Rest assured that GPT 5.6 Sol will stay in the ChatGPT subscription you pay for. Including Go, Plus and Pro subscriptions. At least…
The Whitney Biennial Should Admit That Emilie Gossiaux Wants to Fuck Their Dog
content warnings: depictions of human and anthro nudity, discussion of bestiality, modern artCredit where it's due: it is genuinely, unironically baller for the Whitney museum to…
RT SpaceXAI: Re @FarhanWritess If you run /privacy and change the setting, all previously synced data is deleted.
RT SpaceXAIRe @FarhanWritess If you run /privacy and change the setting, all previously synced data is deleted.
b9987
gguf : add tensor shape accessor (#24405) gguf : add tensor shape accessors gguf : return tensor shape as const int64_t * gguf : remove n_dims…
Optimize for uncertainty
After two years running a venture startup, I felt the resolution of my perception dwindle. Despite painstaking safeguards against the flatness of the venture incentive game…
Anthropic starts localizing Claude pricing for India, its biggest market after the US
Claude users in India are starting to see Indian rupee-denominated subscription plans.
This seems like a reasonable statement: it seems self-evident that we do not know the impact of AI on work & trying to understand that will be critica…
This seems like a reasonable statement: it seems self-evident that we do not know the impact of AI on work & trying to understand that will…
FT: Companies Turn to Chinese Open Weight Models to Cut Costs
submitted by /u/chocolateUI [link] [comments]
RT Matt Stockton: The recent @latentspacepod talking about Modal w/ @akshat_b is fantastic. Modal is an amazing technology to use. It just works and i…
RT Matt StocktonThe recent @latentspacepod talking about Modal w/ @akshat_b is fantastic. Modal is an amazing technology to use. It just works and it is extremely…
The AI Arms Race in Technical Interviews Is Escalating
Software engineering jobs are under threat from AI. Some applicants are fighting back by using AI in the interview process, employing AI assistants that suggest responses…
Codex for finding customers for your startup:
Codex for finding customers for your startup:Kappaemme: CODEX SKILL THAT FINDS YOUR STARTUP’S FIRST CUSTOMERS!I made a Codex skill that analyzes your startup and finds potential…
LAPD lets contract with surveillance giant Flock expire
Article URL: https://techcrunch.com/2026/07/13/lapd-lets-contract-with-surveillance-giant-flock-expire-citing-serious-concerns-over-civil-liberties-and-privacy/ Comments URL: https://news.ycombinator.com/item?id=48893947 Points: 34 # Comments: 8
you can just create things
you can just create thingsPrasenjit: just asked gpt-5.6 sol in cursor to set up blender mcp and make me a realistic floating macbook, then render the…
RT David Louapre: With J-Space, Anthropic has managed to monitor Claude’s internal thoughts. Again? It feels as though we have heard that claim sever…
RT David LouapreWith J-Space, Anthropic has managed to monitor Claude’s internal thoughts. Again? It feels as though we have heard that claim several times already! Ah…
Now, defenders are embracing the prompt injection, too
"Context bombing" tricks hacking agents into shutting down before they can do harm.
Language models and coding agents are great, but there is more to life, and more to AI, than just LLM agents.
Language models and coding agents are great, but there is more to life, and more to AI, than just LLM agents.
🎬 Proud to see Portugal's World Cup campaign film, powered by Kling AI, hitting almost 100M views! Watch how 78 Films used Kling AI in this hybrid …
🎬 Proud to see Portugal's World Cup campaign film, powered by Kling AI, hitting almost 100M views!Watch how 78 Films used Kling AI in this hybrid…