OpenLogi

655 amatheus 2026-08-19 02:54:22 UTC openlogi.org Llama Share 180

OpenLogi is a native, local-first alternative to Logitech Options+, allowing users to remap buttons and drive DPI without account or telemetry. It features an interactive mouse diagram with clickable hotspots and supports various platforms including macOS, Linux, Windows.

Cerebras CS-4

274 sunils34 2026-08-19 00:54:22 UTC cerebras.ai Llama Share 196

Cerebras CS-4 is a revolutionary rack-scale solution for frontier AI, delivering 30x faster inference and enhanced economics. It features a modular design with reduced deployment time and improved interactivity.

Palomar: A registry of Lean verified mathematics

100 matt_d 2026-08-19 02:54:22 UTC terrytao.wordpress.com Llama Share 16

A new registry called Palomar is open for submissions of Lean verified mathematics, which checks formal proofs for typechecking and semantic accuracy. The registry aims to provide a platform for external Lean code repositories with human-readable descriptions and proofs.

Supersonic Trebuchet [video]

102 CharlesW 2026-08-19 03:54:22 UTC youtube.com Embed Share 30

Being ambitious and being a dad

492 nichochar 2026-08-18 20:54:22 UTC nicholascharriere.com Llama Share 301

The author reflects on how having kids has changed his life, making it harder to balance work and family responsibilities. He believes that being a great father is just as important as building great things, redefining ambition for himself.

The Two Factions of C++

18 signa11 2026-08-19 07:54:22 UTC herecomesthemoon.net Llama Share 9

C++ is facing challenges in its evolution due to conflicting goals and differing opinions among developers, with some advocating for backwards compatibility and others pushing for modernization. The language's tooling and build process are also a point of contention, with big tech companies like Google adopting Rust as an alternative.

Scientists stunned by children's lung recovery in ultra low emission zone

259 dabinat 2026-08-19 00:54:22 UTC bbc.com Llama Share 189

Scientists found that young children in London whose lung growth was stunted by pollution showed significant improvements after the introduction of an Ultra Low Emission Zone (Ulez) in 2019. The study, which followed over 3,400 primary school children for five years, suggests that local clean air zones can help reduce harm caused by pollution during childhood.

A 3D fruit fly on macOS desktop powered by the real FlyWire connectome

275 phoenix120 2026-08-18 21:54:22 UTC github.com/denissergeevitch Llama Share 106

A 3D fruit fly simulation runs on macOS desktops, mimicking real fly behavior with a live spiking simulation of the FlyWire connectome. The interactive fly can be stimulated by clicking regions to trigger escape, grooming, or other actions based on real neuron locations and connections.

How does IKEA come up with names for its products?

348 NaOH 2026-08-18 18:54:22 UTC ikea.com Llama Share 228

IKEA names its products based on Swedish identity, heritage and values, following two simple rules. The company uses descriptive names in local languages for services and functions while using unique Swedish words for cultural expressions.

Solo – a .so loader for static Linux binaries

144 zX41ZdbW 2026-08-18 23:54:22 UTC github.com/pg83 Llama Share 152

SoLo is a tool that builds static Linux binaries with the ability to load and use system GPU drivers, bypassing traditional dependency management issues. It achieves this by embedding its own ELF loader and ABI bridge, allowing it to dynamically load host DSOs without relying on glibc or other container solutions.

λλ: A Programming Language for Silicon Photonics

18 matt_d 2026-08-19 06:54:22 UTC dl.acm.org Full Share 4

Where Human Sleep Went Wrong

51 XzetaU8 2026-08-19 07:54:22 UTC nautil.us Llama Share 40

Evolutionary anthropologist David Samson challenges the idea that humans need long, continuous sleep like other apes. He suggests that our unique lifestyle and environment have led to a "sleep paradox," where we get by with short but high-quality sleep despite being less efficient than other primates.

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck

38 teleforce 2026-08-19 03:54:22 UTC koh-antique.com Llama Share 3

A 9th-century shipwreck in Vietnam's Binh Chau province yielded a diverse range of ceramics, including Changsha painted wares and Yue greenware. The cargo is similar to that from the Tang Belitung wreck but shows distinct Southeast Asian shipbuilding technology.

Activation Energy is a good model for a lot of things

5 surprisetalk 2026-08-19 08:54:22 UTC homosabiens.substack.com Full Share 0

AI usage patterns in software teams

137 giuliomagnifico 2026-08-18 22:54:22 UTC linear.app Llama Share 70

The report analyzes AI adoption and usage in software development teams using Linear, finding that AI has become an integral part of product development workflows, with significant increases in time spent on tasks like creating, triaging, and commenting. Despite concerns about productivity gains, the data suggests that teams are working more rather than less due to AI adoption, with output ...

The Mojo language (by Modular, now Qualcomm) is now open-source

41 flaburgan 2026-08-19 07:54:22 UTC modular.com Llama Share 13

Modular has released its production-ready platform, supporting various hardware types and powering enterprise deployments. The company is expanding the platform's ecosystem with new partners and features, including open-source Mojo language and native Windows support.

Finger: the 1971 social network that never died

213 andros 2026-08-18 19:54:22 UTC en.andros.dev Llama Share 67

The first social network, Finger, was created in 1971 at Stanford University and allowed users to share their status updates with others. It remains a simple yet functional protocol that has been revived in recent years with modern implementations like Happy Net Box and plan.cat.

Show HN: Automatically detect and patch walking-dead states in Sierra games

60 wkfauna 2026-08-19 02:54:22 UTC github.com/katiahayati Llama Share 23

This tool analyzes Sierra SCI games for softlocks, which are states where the game is unplayable but still accepts input. It derives and verifies guards to prevent these softlocks by analyzing guarded room transitions, item movements, and plot-flag writes.

CUDA Shared Memory Swizzling

50 jxmorris12 2026-08-19 02:54:22 UTC leimao.github.io Llama Share 2

The author discusses how to avoid shared memory bank conflicts in CUDA kernels using swizzling, a technique that rearranges the mapping of shared memory indices without wasting space. The author provides an example implementation of matrix transpose using swizzling and compares its performance with implementations that use padding or no optimization, demonstrating that swizzling can achieve ...

Turbovec – Google's TurboQuant for vector search in Rust

250 fittingopposite 2026-08-18 18:54:22 UTC github.com/ryancodrai Llama Share 31

TurboVec is a Rust vector index that fits 10 million documents into 4 GB of RAM, outperforming FAISS in search speed. It uses Google Research's TurboQuant algorithm for near-optimal distortion and no separate training phase.

Meta's blockbuster trial draws parallels to big tobacco

232 newsomix9xl 2026-08-19 02:54:22 UTC economist.com Full Share 183

A 25-year-old video patent just expired, ending a legal headache for Linux

188 theanonymousone 2026-08-18 18:54:22 UTC xda-developers.com Llama Share 71

A 25-year-old patent on MPEG-4 Part 2 has expired, allowing Linux users to freely distribute and play back videos without worrying about royalties. This milestone marks the end of a legal issue that had restricted the use of certain video formats in Linux distributions.

And then the men with guns tell you to do it anyway

317 _djo_ 2026-08-18 17:54:22 UTC shkspr.mobi Llama Share 207

A mobile network operator in Egypt was forced to send pro-regime messages during a political revolution, raising questions about following orders and obeying unjust laws. The incident highlights the need for safeguards to prevent abuse of emergency alert systems and ensure they are used responsibly.

The Amazon tax

1175 herbertl 2026-08-18 13:54:22 UTC seths.blog Llama Share 628

Amazon's search ads distort results, prioritizing sellers' budgets over product quality and customer needs. This system creates a cycle of inefficiency, driving up costs for consumers and stifling innovation in the market.

Claude writing a macOS driver for my obscure HP printer built only for Windows

199 porridgeraisin 2026-08-18 12:54:22 UTC twitter.com/kuberwastaken Full Share 158

Update: I saw a bunch of comments asking *how* I got Claude to do this - I usually say there's not really a hack for it, you just work with it, convey thoughts decently and try out things with educated guesses until it sticks with these projects. But I actually went ahead and

Looking for Missed Alarm Bugs in a Formal Verification Tool

13 luu 2026-08-19 05:54:22 UTC blog.regehr.org Llama Share 0

The author discusses the challenges of formal verification in computer systems, specifically translation validation tools like Alive2. They propose two methods to find missed alarm bugs in Alive2 using YARPGen and Minotaur superoptimizer.

Show HN: Interactive, animated architecture of any HuggingFace models

80 lizhaoliu 2026-08-19 00:54:22 UTC modelmap.cc Full Share 8

Interactive, animated architecture maps for any Hugging Face model

Apple announces changes for apps in the European Union

191 newusertoday 2026-08-18 16:54:22 UTC apple.com Llama Share 270

Apple has updated its business terms for EU apps, resolving disagreements with the European Commission and simplifying rules. The new model charges a 5% commission on digital transactions outside the App Store and eliminates initial fees.

"Sabotage": Experts, lawmakers blast RFK Jr. for destroying healthcare research

46 01-_- 2026-08-19 07:54:22 UTC arstechnica.com Llama Share 8

The Agency for Healthcare Research and Quality (AHRQ) is facing significant cuts, with 75% of staff fired and over $250 million in research grants canceled. Experts warn that this will hinder progress in improving America's healthcare system.

Tiny satellite will use the dark side of the Moon as a shield

39 NordStreamYacht 2026-08-19 01:54:22 UTC cam.ac.uk Llama Share 7

Scientists at the University of Cambridge are launching a satellite called CosmoCube to detect faint signals from the early universe, using the Moon as a shield. The mission aims to study dark matter and understand how galaxies formed in the first 13.5 billion years after the Big Bang.