Giant trees have no trouble pumping water to top branches

95 hhs 2026-07-03 23:23:44 UTC news.exeter.ac.uk Llama Share 44

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

92 programLyrique 2026-07-03 23:23:44 UTC mistral.ai Llama Share 26

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

100 latchkey 2026-07-03 22:23:44 UTC wafer.ai Llama Share 25

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

25 MrBruh 2026-07-04 01:23:44 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

73 zdw 2026-07-03 23:23:44 UTC github.com/fossprime Llama Share 12

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

136 theanonymousone 2026-07-03 20:23:44 UTC github.com/searxng Full Share 41

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

41 hhs 2026-07-03 23:23:44 UTC engineering.columbia.edu Llama Share 6

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

42 zdw 2026-07-03 23:23:44 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

281 livestyle 2026-07-03 15:23:44 UTC github.com/jamesob Llama Share 126

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.

CueBench for Developers is live: score how well you drive coding agents

7 DillonMehta 2026-07-04 01:31:44 UTC app.cuebench.dev Prefix Share 2

Drag & drop your Claude Code or Codex session logs (.jsonl), or click to browse. Scored in seconds; your file is deleted right after. Using Cursor? It has no export file to drag — install the capture agent in Settings and your Cursor sessions upload automatically. {{ sessEmployee }} {{ sessModel }} {{ sessCliLabel }} {{ sessDate }} {{ sessTokens }} tokens ◎ Walk through with your coach → ...

Applied Category Theory Course (2018)

59 measurablefunc 2026-07-03 21:23:44 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

Espionage Against the European Parliament

276 ledoge 2026-07-03 21:23:44 UTC citizenlab.ca Llama Share 67

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.

New serious vulnerabilities spiked around release of Claude Mythos Preview

51 cubefox 2026-07-03 21:23:44 UTC epoch.ai Llama Share 10

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.

Dispersion loss counteracts embedding condensation in small language models

22 E-Reverance 2026-07-03 23:23:44 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.

Costco is the anti-Amazon

318 bookofjoe 2026-07-03 15:23:44 UTC phenomenalworld.org Llama Share 289

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.

Scientists discover guidance system for migratory songbirds

12 bit_economist 2026-07-04 00:23:44 UTC news.exeter.ac.uk Llama Share 2

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.

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

0 2026-07-03 21:23:44 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.

We put a Redis server inside our runtime

23 eandre 2026-07-03 22:23:44 UTC encore.dev Llama Share 7

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.

Factories are just rooms

200 arbesman 2026-07-03 15:23:44 UTC interconnected.org Llama Share 77

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.

International chess federation sanctions Kramnik

128 DarkContinent 2026-07-03 17:23:44 UTC fide.com Llama Share 66

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.

Software, from First Principles

40 faza 2026-07-03 22:23:44 UTC fazamhd.com Llama Share 8

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

110 bookofjoe 2026-07-03 21:23:44 UTC economist.com Llama Share 116

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+

172 peterparker204 2026-07-03 14:23:44 UTC ubuntu.com Llama Share 14

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.

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

5 Rochus 2026-07-04 01:23:44 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 ...

Notes from Building Tinkerfont

11 surprisetalk 2026-07-03 23:23:44 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.

FreeBSD ate my RAM

88 theanonymousone 2026-07-03 19:23:44 UTC crocidb.com Llama Share 38

The user investigated why memory usage reported by fastfetch and btop differed on FreeBSD, discovering that the discrepancy was due to btop's incorrect handling of the ARC cache and filesystem metadata buffer cache. The user contributed patches to btop and htop to improve their memory usage reporting, and also submitted a PR to fastfetch, which was later merged with improvements.

You can get Unicode working on DOS

12 vkaku 2026-07-03 23:23:44 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 ***

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

266 indy 2026-07-03 09:23:44 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

20 redbell 2026-07-03 23:23:44 UTC gitfut.com Full Share 9

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

158 furkansahin 2026-07-03 13:23:44 UTC ubicloud.com Llama Share 86

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.