Giant trees have no trouble pumping water to top branches

65 hhs 2026-07-03 22:48:09 UTC news.exeter.ac.uk Llama Share 30

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

51 programLyrique 2026-07-03 22:48:09 UTC mistral.ai Llama Share 7

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.

Odin, Wikipedia and Engagement Farming

36 stock_toaster 2026-07-03 23:48:09 UTC katamari64.se Llama Share 18

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

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

45 zdw 2026-07-03 22:48:09 UTC github.com/fossprime Llama Share 8

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

118 theanonymousone 2026-07-03 20:48:09 UTC github.com/searxng Full Share 34

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

21 hhs 2026-07-03 23:48:09 UTC engineering.columbia.edu Llama Share 4

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

30 zdw 2026-07-03 22:48:09 UTC worksinprogress.co Llama Share 6

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.

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

54 latchkey 2026-07-03 22:48:09 UTC wafer.ai Llama Share 14

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.

Soatok's Informal Guide to Threat Models

4 zdw 2026-07-04 00:38:09 UTC soatok.blog Prefix Share 0

After a long day of exhausting conversations about Hybrid Post-Quantum Cryptography, random jackasses trying to play gotcha with endpoint attacks against end-to-end encrypted messaging apps, and message board discussions in the wake of dumb politicians pushing more “age verification” bullshit on us all, it’s become abundantly clear to me that the phrase “threat model” is a foreign concept to ...

Jamesob's guide to running SOTA LLMs locally

264 livestyle 2026-07-03 15:48:09 UTC github.com/jamesob Llama Share 124

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)

44 measurablefunc 2026-07-03 20:48:09 UTC math.ucr.edu Full Share 6

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

Dispersion loss counteracts embedding condensation in small language models

18 E-Reverance 2026-07-03 22:48:09 UTC chenliu-1996.github.io Llama Share 4

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.

Espionage Against the European Parliament

256 ledoge 2026-07-03 20:48:09 UTC citizenlab.ca Llama Share 64

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.

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

0 2026-07-03 21:48:09 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

17 eandre 2026-07-03 22:48:09 UTC encore.dev Llama Share 6

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.

New serious vulnerabilities spiked around release of Claude Mythos Preview

29 cubefox 2026-07-03 21:48:09 UTC epoch.ai Llama Share 7

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.

Costco is the anti-Amazon

276 bookofjoe 2026-07-03 15:48:09 UTC phenomenalworld.org Llama Share 256

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.

Africans Are Turning to Starlink

95 bookofjoe 2026-07-03 21:48:09 UTC economist.com Llama Share 80

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.

FreeBSD ate my RAM

81 theanonymousone 2026-07-03 19:48:09 UTC crocidb.com Llama Share 33

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.

International chess federation sanctions Kramnik

115 DarkContinent 2026-07-03 17:48:09 UTC fide.com Llama Share 60

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.

Notes from Building Tinkerfont

5 surprisetalk 2026-07-03 23:48:09 UTC mighil.com Prefix Share 0

I'm a generalist. I design, I code, I end up in a lot of places where typography matters but isn't really the job. Reviewing a client's staging site. Onboarding to a codebase I didn't write. Wondering if a page would just read better in a different font face. The question comes up a lot: what's actually being used here, and what would it look like with something else? ...

Factories are just rooms

184 arbesman 2026-07-03 15:48:09 UTC interconnected.org Llama Share 75

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.

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

164 peterparker204 2026-07-03 13:48:09 UTC ubuntu.com Llama Share 13

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

23 faza 2026-07-03 21:48:09 UTC fazamhd.com Llama Share 7

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

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

257 indy 2026-07-03 09:48:09 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

154 furkansahin 2026-07-03 13:48:09 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)

144 theanonymousone 2026-07-03 17:48:09 UTC inpreparation.substack.com Llama Share 73

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.

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

45 kerlenton 2026-07-03 17:48:09 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.

A peek into Reddit's anti-spam internals

159 OuterVale 2026-07-03 12:48:09 UTC lyra.horse Llama Share 57

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.

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

9 redbell 2026-07-03 22:48:09 UTC gitfut.com Full Share 5

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.