technical.cx Sources

Source feed

Lobsters

1983 items

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

https://lobste.rs/

Lobsters

why use F# for scripting and automation? | ian erik varatalu

i've been writing F# for a while now, and i keep coming back to it for scripting and automation tasks. not because it's trendy (it definitely isn't), but because it really makes my life easier. let me explain why.

Lobsters

Community building at the edge of the Internet

What if your community could exist without phone numbers, email addresses or third party websites? What if all your community needed to provide digital services to its constituents was a Nostr Relay on the Local Area Network?

Lobsters

PyCon US 2026 Typing Summit Recap

Per-talk notes from the PyCon US 2026 Typing Summit in Long Beach: Pyrefly and AI agents, ty constraint sets, Lean formalization, tensor shape types, intersection types, PEP 827, Guido on the direction of typing, and the Typing Council Q&A.

Lobsters

Mullvad exit IPs as a fingerprinting vector

Mullvad is one of the few VPN providers that offers multiple exit IPs for its servers. If two people connect to the same server, they will usually end up with different public IPs. With only 578 servers (compared to Proton VPN’s 20,000), this kind of...