Category Theory Illustrated – Orders

85 boris_m 2026-04-18 07:07:11 UTC abuseofnotation.github.io Llama Share 22

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

96 sph 2026-04-18 07:07:11 UTC amiga.lychesis.net Full Share 9

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.

Michael Rabin Has Died

86 tkhattra 2026-04-18 07:07:11 UTC en.wikipedia.org Llama Share 2

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.

Claude Design

1065 meetpateltech 2026-04-17 15:07:11 UTC anthropic.com Llama Share 691

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.

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

177 fouronnes3 2026-04-18 04:07:11 UTC victorpoughon.github.io Llama Share 32

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

620 aray07 2026-04-17 16:07:11 UTC claudecodecamp.com Llama Share 438

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

121 eshelyaron 2026-04-18 02:07:11 UTC eshelyaron.com Llama Share 17

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)

344 cybermango 2026-04-17 19:07:11 UTC esa.int Llama Share 199

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.

The simple geometry behind any road

42 azhenley 2026-04-18 07:07:11 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 ...

Spending 3 months coding by hand

219 evakhoury 2026-04-17 21:07:11 UTC miguelconner.substack.com Llama Share 228

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.

It's OK to compare floating-points for equality

10 coinfused 2026-04-18 09:07:11 UTC lisyarus.github.io Llama Share 4

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.

It is incorrect to "normalize" // in HTTP URL paths

36 pabs3 2026-04-18 06:07:11 UTC runxiyu.org Llama Share 27

RFC 3986 allows for empty segments in a URI path and a double slash is syntactically meaningful, representing a zero-length segment between two separators. Collapsing // to / in a URI path is not correct normalization and can produce a different, non-equivalent identifier unless the origin explicitly defines those two paths as equivalent.

A simplified model of Fil-C

178 aw1621107 2026-04-17 22:07:11 UTC corsix.org Llama Share 97

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.

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

220 louiereederson 2026-04-17 21:07:11 UTC tobyord.com Llama Share 59

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

Brunost: The Nynorsk Programming Language

74 atomfinger 2026-04-18 04:07:11 UTC lindbakk.com Llama Share 28

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.

Rewriting Every Syscall in a Linux Binary at Load Time

49 riteshnoronha16 2026-04-18 06:07:11 UTC amitlimaye1.substack.com Llama Share 19

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

341 binsquare 2026-04-17 18:07:11 UTC github.com/smol-machines Llama Share 109

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

197 arkadiyt 2026-04-17 19:07:11 UTC blog.calif.io Llama Share 113

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

187 ericHosick 2026-04-17 17:07:11 UTC awnist.com Llama Share 113

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.

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

201 seanieb 2026-04-17 17:07:11 UTC github.com/paniclock Llama Share 89

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.

Hyperscalers have already outspent most famous US megaprojects

202 nowflux 2026-04-17 17:07:11 UTC twitter.com/finmoorhouse Full Share 163

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.

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

8 olliewagner 2026-04-18 08:07:11 UTC github.com/yapstudios Prefix Share 1

A command-line tool for exporting Apple SF Symbols as SVG, PDF, or PNG. The vector paths come directly from macOS's symbol renderer, so the output is the same geometry the system draws. No Xcode project, no redraw, and no runtime dependency on SF Symbols.app. Licensing. SF Symbols are Apple property. The SF Symbols License permits their use only in artwork and mockups for apps that run on ...

NASA Force

279 LorenDB 2026-04-17 16:07:11 UTC nasaforce.gov Llama Share 272

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.

Middle schooler finds coin from Troy in Berlin

240 speckx 2026-04-17 15:07:11 UTC thehistoryblog.com Llama Share 111

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.

Landmark ancient-genome study shows surprise acceleration of human evolution

84 unsuspecting 2026-04-17 23:07:11 UTC nature.com Llama Share 74

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

205 mooreds 2026-04-17 16:07:11 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.

Introducing: ShaderPad

99 evakhoury 2026-04-17 21:07:11 UTC rileyjshaw.com Llama Share 18

The author released ShaderPad, a library for easily putting shaders on websites without rebuilding graphics scaffolding. It's designed for artists and creative coders, with a simple API and fast page loads due to its small size.

Casus Belli Engineering

43 b-man 2026-04-18 02:07:11 UTC marcosmagueta.com Llama Share 13

Casus Belli Development is a social mechanism where a perceived failure is used to replace a working system with a preferred worldview, often driven by individuals who use narrative to construct guilt and manipulate the system. This mechanism exploits cognitive biases and organizational dynamics, leading to the destruction of proven foundations and the perpetuation of root causes, and can be ...

The Unix executable as a Smalltalk method (2025) [video]

57 surprisetalk 2026-04-17 22:07:11 UTC youtube.com Embed Share 4

The GNU libc atanh is correctly rounded

99 matt_d 2026-04-17 21:07:11 UTC inria.hal.science Llama Share 23

Anubis is a server protection system that uses a Proof-of-Work scheme to prevent aggressive website scraping. It adds a load that makes scraping expensive, but may cause downtime for legitimate users.