technical.cx Sources

Source feed

Lobsters

1921 items

A computing-focused community centered around link aggregation and discussion.

https://lobste.rs/

Lobsters

gralhix #004

just a blog

Lobsters

Aiki Alpha 2 Released - decuser's blog

The grammar is now the single authority for the syntax surface. Parser, evaluator, formatter, linter, help, and structural checks all derive from it. Newline termination is an explicit language rule rather than parser private policy.

Lobsters

HTML Can Do That

HTML has been gobbling up swathes of what used to be JavaScript’s remit. This page lists a bunch of dynamic functionality that we can now achieve with just HTML.

Lobsters

AeonBox: Logical Guardrails for Agents by Alcides Fonseca

In this post I will explain why current permissions in agents are not sufficient, and they cannot prevent the lethal trifecta issue, and how liquid types as a sandbox mechanism can address this limitation.

Lobsters

a filename when none exists

This is episode four in my mini-series about shiny new features in the upcoming curl 8.10.0 release. One of the most commonly used curl command line options is the dash capital O (-O) which also is known as dash dash remote-name (--remote-name) in its long...

Lobsters

Palomar – a registry of Lean verified mathematics

In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking tha…

Lobsters

- YouTube

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.