fanf2

41 ms·

1. 901.▲
   Type Theory and Functional Programming (1999) [pdf](cs.cornell.edu)

   197 points by fanf2 1y ago|87 comments
2. 902.▲
   An empirical study of type-related defects in Python projects [pdf](rebels.cs.uwaterloo.ca)

   2 points by fanf2 1y ago|0 comments
3. 903.▲
   RISC-V Conditional Moves(corsix.org)

   1 points by fanf2 1y ago|0 comments
4. 904.▲
   by fanf2 1y ago

   A newish solar farm near here has fixed panels https://maps.app.goo.gl/DCw7DfNb5bDTRu1E9
5. 905.▲
   The science behind King's College's wildflower meadows(youtube.com)

   2 points by fanf2 1y ago|0 comments
6. 906.▲
   Recursive data structures. (Hoare, 1973) [pdf](apps.dtic.mil)

   2 points by fanf2 1y ago|0 comments
7. 907.▲
   Tuning async IO in PostgreSQL 18(vondra.me)

   97 points by fanf2 1y ago|23 comments
8. 908.▲
   Zeloof Z2 homemade silicon integrated circuit(sam.zeloof.xyz)

   2 points by fanf2 1y ago|0 comments
9. 909.▲
   by fanf2 1y ago

   There are lots of news stories in recent years about Oracle sending lawyers round to demand money from orgs both commercial and non-commercial who are using Oracle Java SE, eg https://www.theregister.com/2025/05/09
10. 910.▲
    A early history of algebraic data types(hillelwayne.com)

    2 points by fanf2 1y ago|2 comments
11. 911.▲
    Timing Conclusions: GPS, NTP, PTP Timing with Linux(scottstuff.net)

    4 points by fanf2 1y ago|0 comments
12. 912.▲
    Is IP fragmentation still considered vulnerable?(blog.apnic.net)

    9 points by fanf2 1y ago|1 comments
13. 913.▲
    CHERI with a Linux on Top(lwn.net)

    10 points by fanf2 1y ago|1 comments
14. 914.▲
    by fanf2 1y ago

    Yeah, the longstanding hpn-ssh fork started off by adjusting ssh’s window sizes for long fat pipes. https://github.com/rapier1/hpn-ssh
15. 915.▲
    by fanf2 1y ago

    Yeah, there’s a replacement for scp that uses ssh for setup and QUIC for bulk data transfer, which is much faster over high-latency paths. https://github.com/crazyscot/qcp
16. 916.▲
    Is sound gradual typing dead? Performance problems in Typed Racket (2016)(dl.acm.org)

    46 points by fanf2 1y ago|8 comments
17. 917.▲
    Pairs not taken: a history of twisted pair Ethernet(computer.rip)

    4 points by fanf2 1y ago|0 comments
18. 918.▲
    A basis for a mathematical theory of computation. (John McCarthy, 1961-3) [pdf](www-formal.stanford.edu)

    1 points by fanf2 1y ago|0 comments
19. 919.▲
    Performance from architecture: comparing a RISC (MIPS) and a CISC (VAX) with SIM(dl.acm.org)

    3 points by fanf2 1y ago|0 comments
20. 920.▲
    Design of the SCHEME-78 Lisp-based microprocessor (1980)(dl.acm.org)

    114 points by fanf2 1y ago|48 comments
21. 921.▲
    Cooling water options for the new generation of nuclear power stations in the UK(gov.uk)

    2 points by fanf2 1y ago|0 comments
22. 922.▲
    by fanf2 1y ago

    Reminds me of Teletext, the BBC Micro’s mode 7, and Bedstead https://bjh21.me.uk/bedstead/
23. 923.▲
    Floating Point Visually Explained(fabiensanglard.net)

    1 points by fanf2 1y ago|1 comments
24. 924.▲
    AeroSpace: An i3-like tiling window manager for macOS(nikitabobko.github.io)

    1 points by fanf2 1y ago|0 comments
25. 925.▲
    Testing the compiler optimizations your code relies on(pythonspeed.com)

    2 points by fanf2 1y ago|0 comments
26. 926.▲
    Bluffing in Scrabble(arxiv.org)

    8 points by fanf2 1y ago|0 comments
27. 927.▲
    Measuring explicit congestion notification (TCP ECN)(potaroo.net)

    1 points by fanf2 1y ago|0 comments
28. 928.▲
    Improving state machine code generation in the Rust compiler(trifectatech.org)

    4 points by fanf2 1y ago|0 comments
29. 929.▲
    A deep dive into memory allocation in Golang(nghiant3223.github.io)

    1 points by fanf2 1y ago|0 comments
30. 930.▲
    The elephant in the biz: outsourcing of critical IT and cybersecurity functions(doublepulsar.com)

    3 points by fanf2 1y ago|0 comments