HackerTrans
TopNewTrendsCommentsPastAskShowJobs

fanf2

44,135 karmajoined 16 ปีที่แล้ว
[email protected]

https://dotat.at (home page)

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

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

erstwhile [email protected] [email protected] [email protected] [email protected] [email protected]

Submissions

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

wiki.xiph.org
2 points·by fanf2·3 วันที่ผ่านมา·0 comments

Mechanized type inference for record concatenation as in Nix

haskellforall.com
3 points·by fanf2·3 วันที่ผ่านมา·0 comments

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

pranitha.dev
2 points·by fanf2·3 วันที่ผ่านมา·0 comments

In-place functional programming with Koka

dl.acm.org
1 points·by fanf2·4 วันที่ผ่านมา·0 comments

CO2 helps viruses stay alive longer in the air

statnews.com
3 points·by fanf2·5 วันที่ผ่านมา·0 comments

Ditching Vagrant: VMs with KVM and Virsh on Debian

benjamintoll.com
92 points·by fanf2·5 วันที่ผ่านมา·42 comments

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

gist.github.com
2 points·by fanf2·5 วันที่ผ่านมา·0 comments

Proving the fundamental theorem of arithmetic in Agda

byorgey.github.io
2 points·by fanf2·9 วันที่ผ่านมา·0 comments

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

minoki.github.io
4 points·by fanf2·9 วันที่ผ่านมา·0 comments

The Economics of Starlink and SpaceX

ispcol.potaroo.net
2 points·by fanf2·10 วันที่ผ่านมา·0 comments

An arbitrary-palette positional dithering algorithm

bisqwit.iki.fi
3 points·by fanf2·11 วันที่ผ่านมา·0 comments

Towards efficient matching of regexes with backreferences using register set aut

dl.acm.org
2 points·by fanf2·12 วันที่ผ่านมา·0 comments

Flap: A deterministic parser with fused lexing

arxiv.org
3 points·by fanf2·12 วันที่ผ่านมา·0 comments

Unfathomable bugs #10: The Broken Windows Build

algassert.com
3 points·by fanf2·12 วันที่ผ่านมา·0 comments

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

branchfree.org
1 points·by fanf2·13 วันที่ผ่านมา·0 comments

Prism: An impure functional language with typed effects

stephendiehl.com
3 points·by fanf2·13 วันที่ผ่านมา·0 comments

Perceus: Garbage free reference counting with reuse

dl.acm.org
1 points·by fanf2·13 วันที่ผ่านมา·0 comments

What data access pattern is as slow as possible?

blog.weineng.me
2 points·by fanf2·13 วันที่ผ่านมา·0 comments

Shard your locks: benchmarking 6 Golang cache designs

strebkov.dev
1 points·by fanf2·14 วันที่ผ่านมา·0 comments

Swsim: A Software SIM Card

github.com
27 points·by fanf2·15 วันที่ผ่านมา·0 comments

comments

fanf2
·10 วันที่ผ่านมา·discuss
Also NASA / Lockheed Martin https://www.nasa.gov/mission/quesst/
fanf2
·เดือนที่แล้ว·discuss
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.
fanf2
·2 เดือนที่ผ่านมา·discuss
If the VLA size is not controlled it gives an attacker a primitive for arbitrarily shifting the stack pointer. There isn’t any spec for what is a reasonable limit on a VLA size. https://dotat.at/@/2010-01-22-coroutines-in-less-than-20-lin...
fanf2
·2 เดือนที่ผ่านมา·discuss
https://www.kernel.org/doc/html/latest/kbuild/llvm.html
fanf2
·2 เดือนที่ผ่านมา·discuss
I don’t think there’s any branching in intitializer lists or declarations.
fanf2
·2 เดือนที่ผ่านมา·discuss
It would be nice if DDG could get rid of the umpteen shitty wikipedia mirrors that clutter up the results.
fanf2
·2 เดือนที่ผ่านมา·discuss
[dead]
fanf2
·3 เดือนที่ผ่านมา·discuss
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/
fanf2
·3 เดือนที่ผ่านมา·discuss
The first thing I look at in new DNS code is whether it’s vulnerable to DNS name compression loops. This code passes the test! However it’s vulnerable to dots embedded in labels: it doesn’t escape bytes properly when converting from wire format to text.
fanf2
·3 เดือนที่ผ่านมา·discuss
Let’s Encrypt has been doing DNSSEC validation for years. DNSSEC could have prevented the jabber.ru MITM attack.
fanf2
·4 เดือนที่ผ่านมา·discuss
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.)
fanf2
·4 เดือนที่ผ่านมา·discuss
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.
fanf2
·4 เดือนที่ผ่านมา·discuss
Inmos? Transputers were inspired by Hoare’s CSP.
fanf2
·4 เดือนที่ผ่านมา·discuss
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.
fanf2
·4 เดือนที่ผ่านมา·discuss
The vtable vs switch dichotomy was called the “expression problem” by Philip Wadler https://en.wikipedia.org/wiki/Expression_problem
fanf2
·4 เดือนที่ผ่านมา·discuss
Scientific publishers do not pay for peer review. Reviews are done by researchers as part of their jobs which are paid for by their research grants.
fanf2
·5 เดือนที่ผ่านมา·discuss
`info foo | less` is a better info reader than `info foo`
fanf2
·5 เดือนที่ผ่านมา·discuss
There is an English dictionary of fuck called The F Word

https://en.wikipedia.org/wiki/The_F-Word_(book)
fanf2
·5 เดือนที่ผ่านมา·discuss
The BSDs use nvi which is a clone of vi from about 1990.

You might encounter Bill Joy’s vi on a Solaris or illumos machine.
fanf2
·5 เดือนที่ผ่านมา·discuss
Kessler satellites