State of Kdenlive

45 f_r_d 2026-04-18 12:12:20 UTC kdenlive.org Llama Share 11

The Kdenlive team made significant progress in 2025, releasing new features, bug fixes, and improvements to the user interface, with a focus on stability and community support. The team is now looking ahead to upcoming features, including 10/12 bit color support, playback optimizations, and OpenFX support, and is grateful for community contributions and donations that enable continued development.

Michael Rabin Has Died

175 tkhattra 2026-04-18 07:12:20 UTC en.wikipedia.org Llama Share 23

Michael Oser Rabin was an Israeli mathematician and computer scientist who co-received the 1976 ACM Turing Award for work on computational complexity. He made significant contributions to computer science, including the Miller-Rabin primality test and the Rabin-Karp string search algorithm.

Category Theory Illustrated – Orders

131 boris_m 2026-04-18 07:12:20 UTC abuseofnotation.github.io Llama Share 38

Orders are sets of elements with a binary relation that obeys laws of reflexivity, transitivity, antisymmetry, and totality, defining linear and partial orders. Removing laws from orders results in different structures, such as preorders and equivalence relations, which have various applications in mathematics and computer science.

Amiga Graphics

137 sph 2026-04-18 07:12:20 UTC amiga.lychesis.net Full Share 28

Launched in 1985 the Commodore Amiga boasted graphics capabilities that were unsurpassed for it's time. It featured an intricate collection of custom chips that enabled it to do things that, until then, had been impossible to achieve with other personal computers. This site is dedicated to graphics made with or for the Commodore Amiga home computer.

Claude Design

1089 meetpateltech 2026-04-17 15:12:20 UTC anthropic.com Llama Share 715

Claude Design is a new product that lets users collaborate with Claude to create visual work like designs, prototypes, and presentations. It's available in research preview for Claude Pro, Max, Team, and Enterprise subscribers, with access included in their plans.

It's OK to compare floating-points for equality

51 coinfused 2026-04-18 09:12:20 UTC lisyarus.github.io Llama Share 29

The user discusses the limitations and pitfalls of using epsilon-comparison for floating-point numbers, arguing that it's often a bad solution and can lead to unexpected behavior and bugs. They provide several examples of how to handle floating-point comparisons in a more robust and reliable way, such as using acceptance radii, analyzing the problem, and avoiding epsilons altogether.

Show HN: I made a calculator that works over disjoint sets of intervals

198 fouronnes3 2026-04-18 04:12:20 UTC victorpoughon.github.io Llama Share 39

This calculator uses Interval Union Arithmetic to compute results that contain the true value, supporting division by intervals with zero and remaining closed. It interprets numbers as intervals with outward rounding over IEEE 754 double precision floats.

Measuring Claude 4.7's tokenizer costs

628 aray07 2026-04-17 16:12:20 UTC claudecodecamp.com Llama Share 446

Anthropic's new Claude Opus 4.7 tokenizer uses 1.3-1.45x more tokens than 4.6. This results in a 20-30% higher per-session cost for a small but real improvement in instruction following.

Towards trust in Emacs

141 eshelyaron 2026-04-18 02:12:20 UTC eshelyaron.com Llama Share 19

Emacs 30 introduced a trust system to prevent arbitrary code execution, but it causes friction by disabling features for untrusted files. trust-manager is a new package that grants trust just-in-time with minimal friction.

All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)

363 cybermango 2026-04-17 19:12:20 UTC esa.int Llama Share 216

Lunar dust is toxic and causes health issues in humans due to its sharp, abrasive particles and electrostatic charge. Researchers are studying the dust to estimate the risk and develop protective measures for future lunar missions.

Flock Condemns False Child Predator Allegations, Yet Calls Critics Terrorists

15 jhonovich 2026-04-18 12:12:20 UTC ipvm.com Llama Share 3

Flock faces intense pressure from cities canceling contracts, class action lawsuits, and public backlash over employees accessing cameras. The company's CEO has attacked privacy advocates, labeling them terrorists, which may have contributed to the negative environment.

Spending 3 months coding by hand

238 evakhoury 2026-04-17 21:12:20 UTC miguelconner.substack.com Llama Share 253

The author is on a 6-week retreat at the Recurse Center to focus on coding without AI, learn Python, and understand computers better. They plan to train an LLM from scratch and improve their programming skills.

A Dumb Introduction to Z3

6 y1n0 2026-04-18 11:12:20 UTC ar-ms.me Prefix Share 4

Recently I have come across a nice article: Many Hard Leetcode Problems are Easy Constraint Problems, and I figured, I really should learn how to use these things! What else do I really have to do? I have had use for solvers (or as they are commonly called: theorem provers) In a previous article, but then I tried to prove the things with good old algorithms. I looked at z3 at the time, but ...

Brunost: The Nynorsk Programming Language

92 atomfinger 2026-04-18 04:12:20 UTC lindbakk.com Llama Share 35

The user created a fictional programming language called Brunost, which is based on the Norwegian language Nynorsk and has a unique syntax and features. Brunost is intended as a fun and educational project, not a production-ready language, and the user invites others to contribute to its development on GitHub.

Are the costs of AI agents also rising exponentially? (2025)

233 louiereederson 2026-04-17 21:12:20 UTC tobyord.com Llama Share 80

The author questions the trend of AI's exponential growth in task length and performance, suggesting that the cost of achieving this performance may be growing exponentially as well, potentially making AI less cost-competitive with humans over time. Analysis of a chart from METR shows that the hourly cost of AI agents is increasing with task duration, suggesting that forecasting AI's ...

A simplified model of Fil-C

183 aw1621107 2026-04-17 22:12:20 UTC corsix.org Llama Share 99

Fil-C is a memory-safe implementation of C/C++ that uses a garbage collector and rewrites unsafe code into safe code, including adding AllocationRecord* variables to track memory usage. The simplified model of Fil-C includes a compiler pass that rewrites C/C++ source code, a garbage collector, and additional features such as invisible_bytes and a parallel concurrent incremental collector.

Rewriting Every Syscall in a Linux Binary at Load Time

63 riteshnoronha16 2026-04-18 06:12:20 UTC amitlimaye1.substack.com Llama Share 26

A binary rewriter replaces syscall instructions in a process's code with a trap that redirects to a custom handler, allowing for complete control over the process's interaction with the outside world. This approach provides a foundation for a minimal VM runtime where untrusted code can run inside a controlled environment with full visibility and control, at a cost of under a microsecond per syscall.

Show HN: Smol machines – subsecond coldstart, portable virtual machines

362 binsquare 2026-04-17 18:12:20 UTC github.com/smol-machines Llama Share 119

Smolmachines is a tool for running custom Linux virtual machines locally with sub-second cold start, cross-platform support, and elastic memory usage. It allows for sandboxing untrusted code, packing workloads into portable executables, and using git and SSH without exposing keys.

"cat readme.txt" is not safe if you use iTerm2

218 arkadiyt 2026-04-17 19:12:20 UTC blog.calif.io Llama Share 126

iTerm2's SSH integration feature can be exploited by impersonating the remote conductor through terminal output. This allows an attacker to execute arbitrary commands on the local machine.

Slop Cop

202 ericHosick 2026-04-17 17:12:20 UTC awnist.com Llama Share 122

Slop Cop is a browser-based writing editor that flags generic LLM prose patterns and offers deeper analysis with an Anthropic API key. It helps improve writing by identifying and suggesting edits for common structural and rhetorical issues.

The quiet disappearance of the free-range childhood

29 sylvainkalache 2026-04-18 12:12:20 UTC bigthink.com Llama Share 16

Mallerie and Christopher's 6-year-old son was investigated for neglect after riding his scooter to a nearby playground unsupervised. A new Georgia law, "reasonable childhood independence," aims to prevent such investigations by setting a higher bar for neglect.

Hyperscalers have already outspent most famous US megaprojects

219 nowflux 2026-04-17 17:12:20 UTC twitter.com/finmoorhouse Full Share 177

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

The simple geometry behind any road

56 azhenley 2026-04-18 07:12:20 UTC sandboxspirit.com Llama Share 7

The author explains how to generate smooth roads using lines and circular arcs by interpolating between abstract cross-sections called profiles, and describes a method to connect two profiles using a two-line fillet construction. The author also discusses how to handle edge cases, such as roads that shift or turn, by using cubic Hermite splines to find a good candidate position and ...

Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock

210 seanieb 2026-04-17 17:12:20 UTC github.com/paniclock Llama Share 98

PanicLock is a macOS utility that instantly locks the screen and disables Touch ID with a single click or laptop lid closure. It requires a one-time admin password setup to install a privileged helper tool.

Middle schooler finds coin from Troy in Berlin

247 speckx 2026-04-17 15:12:20 UTC thehistoryblog.com Llama Share 115

A 13-year-old in Berlin discovered a 2,300-year-old bronze coin from ancient Troy, now on display at the PETRI Museum. The coin likely traveled along ancient trade routes, possibly kept as a charm or offering to the dead, rather than used for a business transaction.

NASA Force

284 LorenDB 2026-04-17 16:12:20 UTC nasaforce.gov Llama Share 277

NASA Force is a hiring initiative for exceptional technologists to join NASA for 1-2 years, solving complex challenges in air and space. You'll work on real missions, take a systems approach, and contribute to advancing human spaceflight and scientific discovery.

Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG

15 olliewagner 2026-04-18 08:12:20 UTC github.com/yapstudios Llama Share 3

sfsym is a command-line tool for exporting Apple SF Symbols as SVG, PDF, or PNG. It reads vector paths directly from macOS's symbol renderer.

Landmark ancient-genome study shows surprise acceleration of human evolution

90 unsuspecting 2026-04-17 23:12:20 UTC nature.com Llama Share 91

Researchers found 479 gene variants that evolved through natural selection in ancient people from western Eurasia after the dawn of agriculture, leading to widespread health changes in present-day populations. The study suggests human evolution accelerated over the past 10,000 years, particularly during the Bronze Age, with changes in genes linked to immunity, skin tone, and other traits.

NIST gives up enriching most CVEs

211 mooreds 2026-04-17 15:12:20 UTC risky.biz Llama Share 51

The US National Institute of Standards and Technology (NIST) has announced a new policy to prioritize only important vulnerabilities in the US National Vulnerability Database due to budget constraints. This decision is expected to impact the cybersecurity industry, with some companies relying on NIST's data for their vulnerability scanners and dashboards.

Loonies for Loongsons

15 zdw 2026-04-18 10:12:20 UTC leadedsolder.com Llama Share 2

The user obtained a salvaged Loongson 3A5000-based motherboard from China and successfully installed Debian Linux on it, despite some initial issues with the UEFI shell and BIOS update. The user was able to benchmark the CPU and run various games, including Doom and Quake, on the system, which performed reasonably well considering its age and specifications.