HN user

fanf2

44,146 karma

dot@dotat.at

https://dotat.at (home page)

https://dotat.at/@/ (blog)

https://dotat.at/:/ (links)

erstwhile fanf@isc.org hostmaster@cam.ac.uk postmaster@cam.ac.uk fanf@exim.org fanf@apache.org

Posts5,830
Comments2,172
View on HN
corrode.dev 8h ago

Hardening Rust Code for Production

fanf2
2pts0
futhark-lang.org 11h ago

Rewriting the Futhark Type Checker

fanf2
6pts1
deadsimpletech.com 1d ago

Tech ain't that deep – and that's a problem

fanf2
1pts0
drops.dagstuhl.de 1d ago

Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code [pdf]

fanf2
2pts0
www.chiark.greenend.org.uk 3d ago

Qalculate Time Hacks

fanf2
1pts0
anarc.at 4d ago

Qalculate Hacks

fanf2
2pts0
github.com 6d ago

Inkwell: It's a New Kind of Wrapper for Exposing LLVM in Safe Rust

fanf2
1pts0
ghc.serokell.io 6d ago

An overview of language features and implementation tasks that contribute toward

fanf2
2pts0
klarasystems.com 6d ago

Native Inotify in FreeBSD

fanf2
3pts1
pythonspeed.com 8d ago

6× faster batched binary search in Rust

fanf2
2pts1
framagit.org 10d ago

Reaction: A daemon that scans program outputs for repeated patterns, and takes a

fanf2
4pts0
wiki.xiph.org 14d ago

Digital show and tell: how digital audio signals behave in the real world

fanf2
2pts0
haskellforall.com 14d ago

Mechanized type inference for record concatenation as in Nix

fanf2
3pts0
pranitha.dev 14d ago

Rust service isn't leaking: when do glibc / jemalloc / mimalloc call munmap

fanf2
2pts0
dl.acm.org 15d ago

In-place functional programming with Koka

fanf2
1pts0
www.statnews.com 16d ago

CO2 helps viruses stay alive longer in the air

fanf2
3pts0
benjamintoll.com 16d ago

Ditching Vagrant: VMs with KVM and Virsh on Debian

fanf2
101pts45
gist.github.com 16d ago

A floating point option shield to check for sensible C compiler configurations

fanf2
2pts0
byorgey.github.io 20d ago

Proving the fundamental theorem of arithmetic in Agda

fanf2
2pts0
minoki.github.io 20d ago

Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC, or

fanf2
4pts0
ispcol.potaroo.net 21d ago

The Economics of Starlink and SpaceX

fanf2
2pts0
bisqwit.iki.fi 22d ago

An arbitrary-palette positional dithering algorithm

fanf2
3pts0
dl.acm.org 23d ago

Towards efficient matching of regexes with backreferences using register set aut

fanf2
2pts0
arxiv.org 23d ago

Flap: A deterministic parser with fused lexing

fanf2
3pts0
algassert.com 24d ago

Unfathomable bugs #10: The Broken Windows Build

fanf2
3pts0
branchfree.org 24d ago

Question: Is matching fixed regexes with back-references in P?

fanf2
1pts0
www.stephendiehl.com 24d ago

Prism: An impure functional language with typed effects

fanf2
3pts0
dl.acm.org 24d ago

Perceus: Garbage free reference counting with reuse

fanf2
1pts0
blog.weineng.me 24d ago

What data access pattern is as slow as possible?

fanf2
2pts0
strebkov.dev 25d ago

Shard your locks: benchmarking 6 Golang cache designs

fanf2
1pts0

Yeah. The right way to eliminate fork() is to make the usual APIs that modify process state take an explicit process handle, so the same APIs can be used to set up an empty process. They can also be composed in other ways, eg for IPC or debugging.

If the manpage is written with the 4.4BSD -mdoc semantic markup macros then it can contain hyperlinks like

  .Lk https://dotat.at/ "Tony Finch’s web site"
And the mandoc tools will include them in their really nice HTML output. It will also hyperlink .Xr cross-references to other man pages.

https://mandoc.bsd.lv/

Is BGP safe yet? 4 months ago

Let’s Encrypt has been doing DNSSEC validation for years. DNSSEC could have prevented the jabber.ru MITM attack.

Is it a pint? 4 months ago

When CAMRA was new in the early 1970s, they started a campaign for oversize glasses holding a pint to the line instead of a pint to the rim, so that there would be space for a pint of liquid and a head in the glass. The big breweries hated this idea and mounted a reactionary campaign arguing things like it would be too expensive to replace all the glasses, or serve customers the full measure they had paid for. (My father was a new recruit at Guinness and sadly one of his early tasks was the pint-to-brim campaign.)

There are several ways to map the IPv4 address space into the IPv6 address space, going right back to the first IPv6 addressing architecture RFC. Every compatibility protocol added a new one.

IPv6 added IPSEC which was backported to IPv4.

IPv6 tried to add easy renumbering, which did’t work and had to be discarded.

IPv6 added scoped addresses which are halfbaked and limited. Site-scoped addresses never worked and were discarded; link-scoped addresses are mostly used for autoconfiguration.

IPv6 added new autoconfiguration protocols instead of reusing bootp/DHCP.

Yeah. There’s also the issue that the earth’s rotation is slowing down, so over the long term leap seconds would become more and more frequent. There’s a point when the earth is slow enough that leap seconds need to happen nearly every month, and by that point they are no longer a workable solution to the problem. That is expected to take a few thousand years, comparable to the point where a leap hour would be needed if there were no leap seconds.

there's basically no reason you'd ever want an alkaline battery except cost

Rechargeable batteries are much cheaper than disposable single-use batteries.

Functions are partial in most programming languages, so the fact that arrays are best modelled as partial functions (rather than total functions) isn’t a huge obstacle.

Most of the performance regressions are due to lots of dynamic reconfigurability at runtime, which isn’t needed for portability to ancient systems. (Although OpenSSL is written in C it has a severe case of dynamic language envy, so it’s ironic that the pyca team want a less dynamic crypto library.)