Giant trees have no trouble pumping water to top branches

26 hhs 2026-07-03 22:45:27 UTC news.exeter.ac.uk Llama Share 9

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.

SearXNG: A free internet metasearch engine

99 theanonymousone 2026-07-03 20:45:27 UTC github.com/searxng Full Share 23

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

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

22 zdw 2026-07-03 22:45:27 UTC github.com/fossprime Llama Share 4

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.

Leanstral 1.5: Proof Abundance for All

21 programLyrique 2026-07-03 22:45:27 UTC mistral.ai Llama Share 3

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.

Dispersion loss counteracts embedding condensation in small language models

13 E-Reverance 2026-07-03 22:45:27 UTC chenliu-1996.github.io Llama Share 2

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.

Amsterdam invented the fire department

18 zdw 2026-07-03 22:48:27 UTC worksinprogress.co Llama Share 4

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.

The circuit that lets your brain think and see

9 hhs 2026-07-03 22:58:27 UTC engineering.columbia.edu Prefix Share 0

Nuttida Rungratsameetaweemana is challenging a story neuroscience has told for decades. According to the conventional account, our eyes collect raw information and relay it through a series of nerves and waystations that lead deep into the brain, eventually reaching the cortex. There, the thinking begins as information is processed and put to use for higher tasks such as reasoning, judgment, ...

Espionage Against the European Parliament

241 ledoge 2026-07-03 20:45:27 UTC citizenlab.ca Llama Share 61

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.

Jamesob's guide to running SOTA LLMs locally

249 livestyle 2026-07-03 15:45:27 UTC github.com/jamesob Llama Share 120

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.

Applied Category Theory Course (2018)

34 measurablefunc 2026-07-03 20:45:27 UTC math.ucr.edu Full Share 4

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

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

0 2026-07-03 21:45:27 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.

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

26 latchkey 2026-07-03 22:45:27 UTC wafer.ai Llama Share 3

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.

We put a Redis server inside our runtime

8 eandre 2026-07-03 22:45:27 UTC encore.dev Prefix Share 3

How we run an in-memory Redis inside the runtime for local development and tests, and how we keep it behaving the same as the Redis you run in production. How we run an in-memory Redis inside the runtime for local development and tests, and how we keep it behaving the same as the Redis you run in production. Encore runs the same backend code in local development, in tests, and in production. ...

FreeBSD ate my RAM

78 theanonymousone 2026-07-03 19:45:27 UTC crocidb.com Llama Share 31

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.

Africans Are Turning to Starlink

71 bookofjoe 2026-07-03 21:45:27 UTC economist.com Llama Share 64

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.

International chess federation sanctions Kramnik

108 DarkContinent 2026-07-03 17:45:27 UTC fide.com Llama Share 55

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.

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

4 redbell 2026-07-03 22:45:27 UTC gitfut.com Full Share 3

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.

Factories are just rooms

176 arbesman 2026-07-03 15:45:27 UTC interconnected.org Llama Share 73

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.

Costco is the anti-Amazon

255 bookofjoe 2026-07-03 15:45:27 UTC phenomenalworld.org Llama Share 241

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.

New serious vulnerabilities spiked around release of Claude Mythos Preview

17 cubefox 2026-07-03 21:45:27 UTC epoch.ai Llama Share 4

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.

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

160 peterparker204 2026-07-03 13:45:27 UTC ubuntu.com Llama Share 12

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.

Software, from First Principles

13 faza 2026-07-03 21:45:27 UTC fazamhd.com Llama Share 3

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

Show HN: Mcpsnoop – Wireshark for MCP (transparent proxy and live TUI)

44 kerlenton 2026-07-03 17:45:27 UTC github.com/kerlenton Llama Share 13

mcpsnoop is a transparent proxy that shows real tool calls between AI client and MCP servers live in the terminal. It wraps your server command and displays every JSON-RPC frame in a live UI for debugging.

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

253 indy 2026-07-03 09:45:27 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.

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

149 furkansahin 2026-07-03 13:45:27 UTC ubicloud.com Llama Share 85

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.

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

129 theanonymousone 2026-07-03 18:45:27 UTC inpreparation.substack.com Llama Share 68

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.

A peek into Reddit's anti-spam internals

149 OuterVale 2026-07-03 12:45:27 UTC lyra.horse Llama Share 55

Reddit's spam filter system, which includes spamurai, uses various methods to detect and remove spam content. The system can see internal removal reasons, but only sitewide admins can view them.

Valve open-source the Steam Machine e-ink screen so you can make your own

521 ahlCVA 2026-07-03 13:45:27 UTC gamingonlinux.com Llama Share 97

Valve has made the Steam Machine's e-ink display open source under the MIT license, allowing anyone to create their own "Inkterface". JSAUX plans to release pre-built versions of the display.

Disputing the Declaration of Independence

5 pepys 2026-07-03 22:45:27 UTC historytoday.com Full Share 0

Establishing a secure connection... Request ID: 0ed9689b9854c06e92a01a846f97f9fb

Ask HN: Is anyone experimenting with different ways of using LLMs for coding?

120 yehiaabdelm 2026-07-03 10:45:27 UTC news.ycombinator.com Llama Share 146

You're frustrated with LLMs for programming, feeling stuck in a prompt-response loop. Researchers are exploring alternative models like the tab model, which may offer a more fluid coding experience.