Giant trees have no trouble pumping water to top branches: new research

128 hhs 2026-07-03 22:55:11 UTC news.exeter.ac.uk Llama Share 62

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

118 programLyrique 2026-07-03 22:55:11 UTC mistral.ai Llama Share 31

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

133 latchkey 2026-07-03 21:55:11 UTC wafer.ai Llama Share 38

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

40 MrBruh 2026-07-04 01:55:11 UTC mrbruh.com Llama Share 8

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

94 zdw 2026-07-03 22:55:11 UTC github.com/fossprime Llama Share 19

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

153 theanonymousone 2026-07-03 20:55:11 UTC github.com/searxng Full Share 47

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

56 hhs 2026-07-03 23:55:11 UTC engineering.columbia.edu Llama Share 10

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.

The firefighting system of the Van der Heyden brothers in 17th century Amsterdam

54 zdw 2026-07-03 22:55:11 UTC worksinprogress.co Llama Share 12

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.

Synthesis is harder than analysis

8 azhenley 2026-07-04 02:55:11 UTC surfingcomplexity.blog Prefix Share 1

Over the years, mathematicians, logicians and computer scientists have developed various calculi. If you have a background in computer science, you’ve likely heard of the lambda calculus, a model of computation that was developed by Alonzo Church. If databases are more your thing, then you’ve been exposed to the relational calculus without even knowing it, since SQL is based on the relational ...

Odin, Wikipedia and engagement farming

60 stock_toaster 2026-07-03 23:55:11 UTC katamari64.se Llama Share 73

GingerBill, the creator of the Odin programming language, expressed concerns about Wikipedia's deletion of the Odin article due to lack of reliable sources, but his tone shifted from dismissive to concerned after Casey Muratori, a famous videogame programmer, pointed out the flaws in Wikipedia's notability rules for programming languages. Casey argued that Wikipedia's rules prioritize ...

Jamesob's guide to running SOTA LLMs locally

300 livestyle 2026-07-03 15:55:11 UTC github.com/jamesob Llama Share 136

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

44 zdw 2026-07-04 00:55:11 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, ...

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

19 Rochus 2026-07-04 01:55:11 UTC github.com/rochus-keller Llama Share 6

BUSY is a lean, cross-platform build system for GCC, Clang, and MSVC toolchains that uses a statically typed build specification language and requires minimal system requirements. It is designed to be easy to use and integrate with source trees, with features such as Lua scripting and support for multi-core builds.

Applied Category Theory Course (2018)

73 measurablefunc 2026-07-03 20:55:11 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

66 cubefox 2026-07-03 21:55:11 UTC epoch.ai Llama Share 14

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

295 ledoge 2026-07-03 20:55:11 UTC citizenlab.ca Llama Share 71

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.

Costco is the anti-Amazon

341 bookofjoe 2026-07-03 15:55:11 UTC phenomenalworld.org Llama Share 318

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.

Gone but Not Forgotten: Recovering the Dead Web

34 wslh 2026-07-03 22:55:11 UTC blog.archive.org Llama Share 3

The Pew Research Center study found that 38% of webpages from 2013 are no longer accessible, but the Wayback Machine has rescued roughly 15% of those dead pages. Web archives like the Wayback Machine play an increasingly important role in rescuing the dead Web and minimizing the fracture of the knowledge graph on the Web.

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

0 2026-07-03 21:55:11 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.

Factories are just rooms

207 arbesman 2026-07-03 15:55:11 UTC interconnected.org Llama Share 80

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.

Dispersion loss counteracts embedding condensation in small language models

26 E-Reverance 2026-07-03 22:55:11 UTC chenliu-1996.github.io Llama Share 6

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.

International chess federation sanctions Kramnik

138 DarkContinent 2026-07-03 17:55:11 UTC fide.com Llama Share 76

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.

FreeBSD ate my RAM

96 theanonymousone 2026-07-03 19:55:11 UTC crocidb.com Llama Share 40

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.

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

182 peterparker204 2026-07-03 13:55:11 UTC ubuntu.com Llama Share 19

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.

Scientists discover guidance system for migratory songbirds

17 bit_economist 2026-07-03 23:55:11 UTC news.exeter.ac.uk Llama Share 5

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.

Software, from First Principles

61 faza 2026-07-03 21:55:11 UTC fazamhd.com Llama Share 12

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 ...

We put a Redis server inside our runtime

28 eandre 2026-07-03 22:55:11 UTC encore.dev Llama Share 9

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.

Africans Are Turning to Starlink

129 bookofjoe 2026-07-03 21:55:11 UTC economist.com Llama Share 143

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.

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

276 indy 2026-07-03 08:55:11 UTC wordgard.net Llama Share 91

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

31 redbell 2026-07-03 22:55:11 UTC gitfut.com Full Share 18

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.