Giant trees have no trouble pumping water to top branches

107 hhs 2026-07-03 22:54:59 UTC news.exeter.ac.uk Llama Share 51

New research reveals that the world's tallest tropical trees can pump water to their topmost branches without difficulty. The study found that these trees' water systems are perfectly adapted to their height, making them no more vulnerable to drought than shorter trees.

Leanstral 1.5: Proof Abundance for All

105 programLyrique 2026-07-03 22:54:59 UTC mistral.ai Llama Share 29

Leanstral 1.5 is a free, open-source model that delivers a performance upgrade for formal verification, achieving a new state-of-the-art on FATE-H/X and PutnamBench. It verifies complex code properties and uncovers previously unknown bugs in open-source repositories.

GLM5.2 on AMD MI355X at 2626 tok/s/node at over 2x lower cost than Blackwell

111 latchkey 2026-07-03 21:54:59 UTC wafer.ai Llama Share 30

AMD's Instinct MI350 series offers cheaper GPUs with comparable specs to NVIDIA's Blackwells, but lacks day-0 support for frontier models. With optimization and tweaks, AMD can achieve competitive performance per dollar, closing the gap with NVIDIA, but still requires more support and development.

MSI Center – How to gain SYSTEM privileges in seconds

31 MrBruh 2026-07-04 01:54:59 UTC mrbruh.com Llama Share 7

The user discovered a severe vulnerability in MSI Center, a pre-installed software on MSI laptops and desktops, allowing for Remote Code Execution (RCE) with valid login credentials. MSI patched the vulnerability within two days and the user is still waiting for a CVE from VulDB after submitting their report.

Steam Controller Auto-Charge – pilot to magnetic charging puck using CV

77 zdw 2026-07-03 22:54:59 UTC github.com/fossprime Llama Share 17

Steam Controller Auto-Charge is an open-source app that automatically charges a Steam Controller using computer vision and WebHID telemetry. It uses optical flow tracking, haptic navigation, and battery status polling to guide the controller to its charging puck.

SearXNG: A free internet metasearch engine

143 theanonymousone 2026-07-03 20:54:59 UTC github.com/searxng Full Share 43

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled. - searxng/searxng

The circuit that lets your brain think and see

48 hhs 2026-07-03 23:54:59 UTC engineering.columbia.edu Llama Share 7

Nuttida Rungratsameetaweemana's research challenges conventional neuroscience by showing early visual areas process information differently based on tasks. Her team's neural model and mouse recordings reveal inhibitory neurons play a key role in flexible processing.

Amsterdam invented the fire department

49 zdw 2026-07-03 22:54:59 UTC worksinprogress.co Llama Share 11

Amsterdam's fire-fighting system improved in the 17th century with the introduction of new engines and a culture of inventiveness. The city's fire damage decreased dramatically after implementing the Van der Heyden brothers' suction and pressure hoses.

Jamesob's guide to running SOTA LLMs locally

291 livestyle 2026-07-03 15:54:59 UTC github.com/jamesob Llama Share 127

User has $2k to spend on local machine intelligence and $40k for top-of-the-line. They have 4x RTX Pro 6000s and built a DDR4 system to host them.

Soatok's Informal Guide to Threat Models

36 zdw 2026-07-04 00:54:59 UTC soatok.blog Llama Share 2

The user discusses the importance of threat modeling in cybersecurity, explaining that it's a formal process that helps identify potential threats and vulnerabilities in a system, and provides a framework for understanding assumptions and accepted risks. They also apply threat modeling to real-world examples, including hybrid post-quantum cryptography and end-to-end encrypted messaging apps, ...

Applied Category Theory Course (2018)

64 measurablefunc 2026-07-03 20:54:59 UTC math.ucr.edu Full Share 7

This is a course based on Fong and Spivak's book Seven Sketches in Compositionality: An Invitation to Applied Category Theory, taught by John Baez and turned into nice webpages by Simon Burton. © 2018 John Baez

New serious vulnerabilities spiked around release of Claude Mythos Preview

55 cubefox 2026-07-03 21:54:59 UTC epoch.ai Llama Share 11

Anthropic and OpenAI announced efforts to use frontier models for cybersecurity, but this led to a significant increase in high-severity vulnerabilities. The number of high- and critical-severity CVEs jumped 3.5x in June after the announcements.

Espionage Against the European Parliament

281 ledoge 2026-07-03 20:54:59 UTC citizenlab.ca Llama Share 68

Stelios Kouloglou, a former European Parliament member, was hacked with NSO Group's Pegasus spyware twice, in October 2022 and March 2023, while investigating spyware abuses. The infections likely captured non-public information about committee activities, breaching EU parliamentary confidentiality.

Scientists discover guidance system for migratory songbirds

17 bit_economist 2026-07-03 23:54:59 UTC news.exeter.ac.uk Llama Share 3

Researchers found that genetics and environment determine migratory songbirds' winter destinations in Africa. Pied flycatchers follow consistent routes, partly inherited and partly influenced by their upbringing, to reach their wintering spots.

Costco is the anti-Amazon

325 bookofjoe 2026-07-03 15:54:59 UTC phenomenalworld.org Llama Share 301

Amazon's complex logistics model may not be the most efficient or socially beneficial, while Costco's simpler model offers lower costs and better worker treatment. A public grocery store model, inspired by Costco and the military commissary system, could provide cheaper groceries for New Yorkers with lower overhead.

Dispersion loss counteracts embedding condensation in small language models

24 E-Reverance 2026-07-03 22:54:59 UTC chenliu-1996.github.io Llama Share 5

Smaller language models exhibit embedding condensation, collapsing token embeddings into a narrow subspace. Dispersion loss counteracts this effect, allowing smaller models to achieve representational qualities similar to larger models.

We put a Redis server inside our runtime

27 eandre 2026-07-03 22:54:59 UTC encore.dev Llama Share 8

Encore's Rust runtime includes an in-memory Redis server for local development and tests, ensuring parity with production behavior. The server is a port of the Go implementation miniredis, which speaks the Redis wire protocol and implements real Redis commands.

Infracost (YC W21) Is Hiring a Marketing Lead to Shift FinOps Left

0 2026-07-03 21:54:59 UTC ycombinator.com Llama Share

Marketing Lead at Infracost will develop and execute marketing strategies, manage the marketing function, and drive customer acquisition. The role requires 5+ years of B2B marketing experience, strong project management, and a bias toward action in a fully remote US and Canada timezone-based team.

International chess federation sanctions Kramnik

130 DarkContinent 2026-07-03 17:54:59 UTC fide.com Llama Share 68

FIDE's EDC imposed a one-year ban on Vladimir Kramnik for violating FIDE's Ethics Code and Disciplinary Code. Kramnik must also serve 12 months of unpaid service for the benefit of the chess community.

Show HN: A statically typed, cross-platform, easily bootstrappable build system

9 Rochus 2026-07-04 01:54:59 UTC github.com/rochus-keller Prefix Share 0

BUSY (for BUild SYstem) is a lean, cross-platform build system for the GCC, Clang and MSVC toolchains, with very little system requirements and easy bootsrapping. Compared to other build systems like CMake, QMake, Meson or GN, BUSY is characterized by a statically typed build specification language, and by the possibility to build a project directly from scratch without any further ...

Factories are just rooms

201 arbesman 2026-07-03 15:54:59 UTC interconnected.org Llama Share 79

You spoke to a year group about manufacturing, sharing your experience making an AI clock and showing them various stages of design and production. You aim to normalize hands-on learning and inspire kids to become makers and inventors.

Software, from First Principles

46 faza 2026-07-03 21:54:59 UTC fazamhd.com Llama Share 10

The author aims to demystify software and computers by explaining how they work using simple concepts and first-principles thinking, showing that understanding technology is not exclusive to computer science degrees. By breaking down the fundamental building blocks of computing, including logic gates, binary numbers, and memory, the author provides a clear mental model of how devices process ...

Africans Are Turning to Starlink

117 bookofjoe 2026-07-03 21:54:59 UTC economist.com Llama Share 122

Ekiti's rocky terrain hampers 21st-century commerce due to poor network connections. Starlink's satellite-internet service has improved the government's connection, offering a glimpse into Africa's urban future.

Hunting a 16-year-old SQLite WAL bug with TLA+

173 peterparker204 2026-07-03 13:54:59 UTC ubuntu.com Llama Share 16

SQLite fixed a long-standing bug in WAL checkpointing that could lead to database corruption. The dqlite team used TLA+ to model SQLite's behavior and found that dqlite is not affected by the bug due to its stricter locking mechanism.

Wordgard: In-browser rich-text editor from the creator of ProseMirror

272 indy 2026-07-03 08:54:59 UTC wordgard.net Llama Share 90

Wordgard is an open-source JavaScript library for in-browser rich-text editors with a powerful programming interface. It's customizable and free to use under the MIT license, but commercial users are expected to contribute to its maintenance.

GitFut – Your GitHub stats turned into a World-Cup-style player card

24 redbell 2026-07-03 22:54:59 UTC gitfut.com Full Share 13

Rate any GitHub profile out of 99 as a FIFA-Ultimate-Team-style player card, scored from real commits, stars and contributions. Get scouted and share your card.

PostgreSQL and the OOM killer: Why we use strict memory overcommit

161 furkansahin 2026-07-03 13:54:59 UTC ubicloud.com Llama Share 87

Enabling strict memory overcommit in Linux protects PostgreSQL from catastrophic OOM kills by preventing shared memory corruption. A kernel bug in Linux 6.5 caused inflated committed memory, but a fix was applied, allowing strict overcommit to be safely enabled.

Notes from Building Tinkerfont

11 surprisetalk 2026-07-03 23:54:59 UTC mighil.com Llama Share 0

Tinkerfont is a tool for designers and developers to quickly try different fonts on a live webpage. It's a free Chrome and Firefox extension that allows users to inspect, copy, and swap fonts with a vast library of options.

You can get Unicode working on DOS

12 vkaku 2026-07-03 23:54:59 UTC twitter.com/i Full Share 4

It's been important to me to support Unicode on any system, even if it's DOS. So here we go *** First Cut ***

I Wasn't Allowed Prompting ChatGPT During My Chalk Talk: This Is Discrimination (2025)

176 theanonymousone 2026-07-03 17:54:59 UTC inpreparation.substack.com Llama Share 81

The author, a scientist, used AI tools to prepare for a tenure-track position interview but was expected to think independently without assistance. The author's use of AI was seen as a lack of independent thinking and foundational knowledge.