1. 1
    Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal formalmethods biradarganesh25.github.io
    hwayne avatar via hwayne 2 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 3
    Building Cross-Platform SDKs: From FFI to WebAssembly | Flipt Blog go rust wasm blog.flipt.io
    markphelps avatar authored by markphelps 2 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 3
    Pantograph a fluid and typed structural editor video editors youtube.com
    crowdhailer avatar via crowdhailer 2 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 1
    Investigating and mitigating an argument-dependent lookup bug in WinRT c++ windows devblogs.microsoft.com
    jmillikin avatar via jmillikin 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 1
    Design Thinking python ronjeffries.com
    Kerrick avatar via Kerrick 2 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 2
    Automated architecture diagrams scaling medium.com/thefork
    mpweiher avatar via mpweiher 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 2
    Huh? The valuable role of interjections networking science knowablemagazine.org
    snej avatar via snej 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 2
    Advancing Musicality in Symbolic Music Generation with Large Language Model Training Paradigms ai electricalexis.github.io
    elasticdog avatar via elasticdog 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    Kubernetes@Home – what do you do if your ISP changes your IP addresses? devops networking vegard.blog.engen.priv.no
    raymii avatar via raymii 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 4
    Four choices for packaging Ruby binary distributions: How Tebako was selected ruby terminalwire.com
    Kerrick avatar via Kerrick 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 4
    Scunthorpe problem culture en.wikipedia.org
    av avatar via av 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  12. 1
    PyLink: Multi-network IRC Services & server-side relayer (Discontinued 2023) networking python github.com/pylink
    runxiyu avatar via runxiyu 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 2
    Medium data and small data performance scaling neugierig.org
    matklad avatar via matklad 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 3
    Sidekick: Self-contained Local LLM application for macOS ai mac github.com/johnbean393
    runxiyu avatar via runxiyu 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 2
    tex-linebreak: JavaScript implementation of the Knuth-Plass linebreaking algorithm web github.com/robertknight
    runxiyu avatar via runxiyu 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 2
    Why I Still Use Ruby on Rails api ruby web medium.com/@shaffanm
    cosmic-boi avatar authored by cosmic-boi 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  17. 1
    Bevy Game Dev Meetup #9 Livestream Recording video rust youtube.com
    extrawurst avatar via extrawurst 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 3
    Improving Your Development Cycle with REPLs ruby dick.codes
    dickdavis avatar authored by dickdavis 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 1
    AstroNvim, an aesthetically pleasing and feature-rich Neovim config editors lua rust vim docs.astronvim.com
    kaycebasques avatar via kaycebasques 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  20. 4
    Pre Java 1.0: The Oak Language Specifications java plt retrocomputing javaalmanac.io
    lorddimwit avatar via lorddimwit 5 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 1
    Else Considered Smelly programming wiki.c2.com
    WilhelmVonWeiner avatar via WilhelmVonWeiner 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  22. 2
    Pick the wrong tool for the job ruby terminalwire.com
    MatheusRich avatar via MatheusRich 5 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 3
    CSS Form Control Styling Level 1 css web drafts.csswg.org
    sny avatar via sny 5 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 2
    Noir programming language cryptography programming noir-lang.org
    BiteCode avatar via BiteCode 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 4
    What are you doing this weekend? ☶ ask programming
    caius avatar authored by caius 5 days ago | 5 comments

The newest stories that have not yet reached the front page.

<< Page 1 | Page 3 >>