OpenLogi

859 amatheus 2026-08-19 02:42:04 UTC openlogi.org Llama Share 239

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.

Air Theremin – a browser theremin you play by waving at your webcam

40 gurov 2026-08-19 10:42:04 UTC theremin.bizibah.com Llama Share 15

Use hands or phone gyro to control sound volume and pitch in mid-air, with a laptop webcam also working. Press start on a mouse to calibrate the device for your grip.

Cerebras CS-4

315 sunils34 2026-08-19 00:42:04 UTC cerebras.ai Llama Share 205

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.

The Two Factions of C++ (2024)

42 signa11 2026-08-19 07:42:04 UTC herecomesthemoon.net Llama Share 35

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.

Being ambitious and being a dad

571 nichochar 2026-08-18 20:42:04 UTC nicholascharriere.com Llama Share 378

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.

Palomar: A registry of Lean verified mathematics

115 matt_d 2026-08-19 02:42:04 UTC terrytao.wordpress.com Llama Share 19

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]

130 CharlesW 2026-08-19 03:42:04 UTC youtube.com Embed Share 54

Rings forged from meteorites may have been fashionable among ancient Greek elite

13 pseudolus 2026-08-19 08:42:04 UTC phys.org Full Share 3

We’re checking your connection to prevent automated abuse

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

298 phoenix120 2026-08-18 22:42:04 UTC github.com/denissergeevitch Llama Share 112

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.

λλ: A Programming Language for Silicon Photonics

37 matt_d 2026-08-19 06:42:04 UTC dl.acm.org Full Share 6

Activation Energy is a good model for a lot of things

27 surprisetalk 2026-08-19 08:42:04 UTC homosabiens.substack.com Full Share 4

How does IKEA come up with names for its products?

367 NaOH 2026-08-18 18:42:04 UTC ikea.com Llama Share 256

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

151 zX41ZdbW 2026-08-19 00:42:04 UTC github.com/pg83 Llama Share 172

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.

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

292 dabinat 2026-08-19 01:42:04 UTC bbc.com Llama Share 234

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.

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

77 flaburgan 2026-08-19 08:42:04 UTC modular.com Llama Share 28

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.

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck

43 teleforce 2026-08-19 04:42:04 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.

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

84 wkfauna 2026-08-19 02:42:04 UTC github.com/katiahayati Llama Share 33

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.

Finger: the 1971 social network that never died

229 andros 2026-08-18 19:42:04 UTC en.andros.dev Llama Share 70

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.

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

215 theanonymousone 2026-08-18 18:42:04 UTC xda-developers.com Llama Share 88

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.

Win-V combo from Windows on Ubuntu

3 havaianaslife 2026-08-19 10:42:04 UTC leo98ml.github.io Prefix Share 0

WinV keeps a compact, searchable history of clipboard text and images. It also includes offline emoji and Unicode symbol pickers, keyboard navigation, pinning, editing, private mode, and an optional Super+V shortcut. This is the version I use myself, and for me it is already just fine. I am sharing it because it may be useful to somebody else—not because it is trying to become a giant ...

Turbovec – Google's TurboQuant for vector search in Rust

258 fittingopposite 2026-08-18 18:42:04 UTC github.com/ryancodrai Llama Share 32

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.

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

219 porridgeraisin 2026-08-18 12:42:04 UTC twitter.com/kuberwastaken Full Share 168

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

The Amazon tax

1210 herbertl 2026-08-18 13:42:04 UTC seths.blog Llama Share 637

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.

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

336 _djo_ 2026-08-18 17:42:04 UTC shkspr.mobi Llama Share 225

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.

Meta's blockbuster trial draws parallels to big tobacco

253 newsomix9xl 2026-08-19 02:42:04 UTC economist.com Full Share 201

Looking for Missed Alarm Bugs in a Formal Verification Tool

19 luu 2026-08-19 05:42:04 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.

CUDA Shared Memory Swizzling

54 jxmorris12 2026-08-19 02:42:04 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 ...

Where Human Sleep Went Wrong

78 XzetaU8 2026-08-19 07:42:04 UTC nautil.us Llama Share 63

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.

Apple announces changes for apps in the European Union

217 newusertoday 2026-08-18 16:42:04 UTC apple.com Llama Share 304

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.

AI usage patterns in software teams

150 giuliomagnifico 2026-08-18 22:42:04 UTC linear.app Llama Share 98

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