~lobsters | Bookmarks (2001)

rust-fsharp/README.md at main · Dhghomon/rust-fsharp

github.com

dotnet rust
1
NetBSD Blog

netbsd.org

May 04, 2024 posted by Nia Alarie A few years ago, I wrote a "state of...
May 04, 2024 posted by Nia Alarie A few years ago, I wrote a "state of things" blog post about Wayland on NetBSD. It's only natural that I should do one about X11, which is used by far more people to get a graphical environment on NetBSD. There are a lot of differences from how NetBSD and the typical distributor shi...

netbsd unix
1
Deno KV internals: building a database for the modern web

deno.com

Deno is designed to streamline web and cloud development with built-in modern tools, direct access to...
Deno is designed to streamline web and cloud development with built-in modern tools, direct access to web platform APIs, and the capability to import modules via npm. Web apps very often require some persistent application state. Setting up a database involves numerous configuration steps and the subsequent integrat...

databases distributed
1
Swift’s native Clocks are very inefficient – Wade Tregaskis

wadetregaskis.com

mac performance swift
1
3503-frontmatter - The Rust RFC Book

rust-lang.github.io

rust
1
Keep the logs for retrospective analysis

vitonsky.net

May 2, 20242 minutes to readDevelopment logs are an important part of any project because they...
May 2, 20242 minutes to readDevelopment logs are an important part of any project because they allow us to track progress, detect problems, and investigate incidents. Remember the value and advantages of development logs, and preserve as many logs as possible. Time after time, I see a typical problem on projects - m...

code quality management practices programming
1
A practical guide to Diffusion models

selflein.github.io

ai math python
1
Type-level Programming in Rust | Will Crichton

willcrichton.net

Will Crichton — April 24, 2020 I show how two domain-specific type systems, information flow control...
Will Crichton — April 24, 2020 I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general co...

rust
1
FreeBSD Status Report First Quarter 2024

freebsd.org

bsd freebsd open source unix
1
Vector Similarity Search in DuckDB

duckdb.org

In DuckDB v0.10.0, we introduced the ARRAY data type, which stores fixed-sized lists, to complement the...
In DuckDB v0.10.0, we introduced the ARRAY data type, which stores fixed-sized lists, to complement the existing variable-size LIST data type. The initial motivation for adding this data type was to provide optimized operations for lists that can utilize the positional semantics of their child elements and avoid bra...

databases
1
How are zlib, gzip and zip related? What do they have in common and how are they different?

stackoverflow.com

compression compsci gzip historical zip
1
The UX of UUIDs | Unkey

unkey.com

TLDR: Please don't do this: 1https://company.com/resource/c6b10dd3-1dcf-416c-8ed8-ae561807fcaf The baseline: Ensuring global uniqueness Unique identifiers are essential for...
TLDR: Please don't do this: 1https://company.com/resource/c6b10dd3-1dcf-416c-8ed8-ae561807fcaf The baseline: Ensuring global uniqueness Unique identifiers are essential for distinguishing individual entities within a system. They provide a reliable way to ensure that each item, user, or piece of data has a unique id...

api engineering
1
GitHub - okTurtles/sbp-js: SBP: A Programming Paradigm for Building Secure Software and Operating Systems

github.com

javascript release
1
Large Text Compression Benchmark

mattmahoney.net

compsci performance
1
A post about refactoring | Lobsters

lobste.rs

Around a year ago, presumably here, I found a link to a quite post about refactoring....
Around a year ago, presumably here, I found a link to a quite post about refactoring. In it the importance of avoiding premature optimization was highlighted. Particulary, it talked about “make some spaghetti code” (start with) …. “now delete the spaghetti code” (when the need has come); “add some code repetition” (start with) …. “delete the repetited code”; “add some magical numbers” (start with)...

ask practices web
1
v39 · Arch Linux / Mkinitcpio / mkinitcpio · GitLab

archlinux.org

linux release
1
Proposed Punctuation

jonathanzong.github.io

design
1
Building products with NetBSD – thin-clients (2009)

bsdcan.org

netbsd pdf slides
1
The Time Linkerd Erased My Load Balancer

matduggan.com

devops gcp kubernetes work
1
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

ask programming
1
Ruby typing 2024: RBS, Steep, RBS Collections, subjective feelings

brandur.org

I was writing a new Ruby gem recently, and being a strong proponent of a type...
I was writing a new Ruby gem recently, and being a strong proponent of a type checking step, I wanted to do right by the ecosystem so that anyone using it would get the full benefit of type checking against my gem’s API in their own projects, so I dug into the current state of the art to find out how that’d be done....

ruby
1
For Fakes Sake

zarl.dev

Everyone loves the implicit nature of interfaces in Go it just becomes second nature and makes...
Everyone loves the implicit nature of interfaces in Go it just becomes second nature and makes life as a Go developer a little different when writing composable software. It gives us a level of freedom, for example, pulling in a 3rd party library realizing you are using 5% of the features, and you want to do some te...

go testing
1
DRINK ME: (Ab)Using a LLM to compress text

o565.com

ai
2
reach

codeberg.org

ECDH-OMR aims to solve the following problem: Alice wants to leave a message for Bob on...
ECDH-OMR aims to solve the following problem: Alice wants to leave a message for Bob on a server. The server is not supposed to know that the message is for Bob. Eve should neither be able to count the amount of real messages available for pick-up on the server, nor if new messages came in or or old ones were remove...

cryptography foss free git non-profit
1