1921
Nvidia Security Team: “What if we just stopped using C?” (2022)
Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for…
New
The latest blog posts to take off on Hacker News. 2,111 posts.
1922
Ada crate of the year 2024 announced
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we want to…
1923
Common mistakes in architecture diagrams (2020)
A rundown of seven common mistakes is system architecture diagrams and how to fix them
1924
Dear Mr. Vice President, Please Take Off Your Apple Watch
An Open Letter To JD Vance From A Former CIA Officer On The Counterintelligence Risks Of Smartwatches Mr. Vice President, Congratulations on your ascendancy to the Vice President of the United States of America. While we are an apolitical platform, we wish you nothing but success, the country depends on you. In a rec
1925
VSCode’s SSH agent is bananas
Documentation and guides from the team at Fly.io.
1926
Stop using zip codes for geospatial analysis (2019)
Uncover deeper insights beyond ZIP codes with geospatial analysis. Explore the limitations of ZIP codes and discover alternatives for spatial understanding.
1927
The Age of Agent Experience
AI agents are here—from ChatGPT Operator to coding tools like Devin and Lovable, there’s a rapid growth of products that can interact with websites on our behalf. It’s time to start building for a new persona: the autonomous agent. Instead of just designing experiences for human users, we need to think carefully about…
1928
1929
Fake VS Code Extension on NPM Spreads Multi-Stage Malware
The Mend research team uncovered a fake VS-code extension—truffelvscode—typosquatting the popular truffle for VS-code extension. Read the post for more details.
1930
Announcing the data.gov archive
The Library Innovation Lab is growing knowledge and community by bringing library principles to technological frontiers.
1931
Did UCLA Just Cure Baldness?
How Bruin genetic scientists are reawakening hibernating follicles.
1932
Mad at Meta? Don't Let Them Collect and Monetize Your Personal Data
If you’re fed up with Meta right now, you’re not alone. Meta tracks you across millions of websites and apps and its business model relies on your data. If you want to limit Meta’s ability to collect and profit from your personal data, here’s what you need to know.
1933
Ancient-DNA study identifies originators of Indo-European language family
Findings resolve “steppe hypothesis” enigma
1934
Why LLMs still have problems with OCR
LLMs excel at text generation but fail at precise document extraction due to nondeterminism. | Pulse AI
1935
GitHub Copilot: The Agent Awakens
Introducing agent mode for GitHub Copilot in VS Code, announcing the general availability of Copilot Edits, and providing a first look at our SWE agent.
1936
US Cloud soon illegal in EU? US punches first hole in EU-US Data Deal
Trump paralysed the "Privacy and Civil Liberties Oversight Board" (PCLOB), a key element of the EU-US data transfer deal that allows EU-US data flows.
1937
Markdown's Big Brother: Say Hello to AsciiDoc
Learn how AsciiDoc combines simplicity with advanced features. Create documentation that stands out, saves time, and ensures clarity.
1938
OpenWrt 24.10.0 – First Stable Release
Anubis could not load its JavaScript. The server may be overloaded. Please reload the page to try again.
1939
Sand trafficking in Latin America
Criminal mafias are making massive profits from the illegal extraction and sale of sand for construction purposes.
1940
1941
Gemini 2.0 is now available to everyone
We’re announcing new updates to Gemini 2.0 Flash, plus introducing Gemini 2.0 Flash-Lite and Gemini 2.0 Pro Experimental.
1942
Servo's progress in 2024
Summary of Servo’s progress in 2024: some numbers, main highlights and plans for the future.
1943
F-Droid Awarded Open Technology Fund's FOSS Sustainability Grant
We are excited to announce that F-Droid has been awarded $396,044 from the Open Technology Fund’s FOSS Sustainability Fund. This grant is specifically design...
1944
1945
1946
Visual explanations of mathematics (2020)
It is thought that Euclid wrote Elements in about 300 BC, but Oliver Byrne turned it into one of the true gems of visualization — and made it about 100 times more readable. By seamlessly combining typeset text (Caslon, if you’re interested) with minimalist geometric drawings in primary col
1947
Oracle justified its JavaScript trademark with Node.js–now it wants that ignored
Oracle filed a motion to dismiss in response to Deno’s petition to cancel its “JavaScript” trademark. But instead of addressing the real issue—that JavaScript is an open standard with multiple independent implementations—Oracle is trying to stall the process and sidestep accountability.
1948
How to scale your model: A systems view of LLMs on TPUs
Training LLMs often feels like alchemy, but understanding and optimizing the performance of your models doesn't have to. This book aims to demystify the science of scaling language models: how TPUs (and GPUs) work and how they communicate with each other, how LLMs run on real hardware, and how to parallelize your…
1949
How Spotify Killed Lo-Fi Hip Hop
AI and Corporate Interests Gutted an Artist's Oasis
1950
Apple Invites
Apple today introduced Apple Invites, a new app for iPhone that allows users to create custom invitations to gather friends and family.