~lobsters | Bookmarks (1976)

Why I avoid using `default` and inline functions in my class declarations

twdev.blog

Sure, = default is great and convenient especially for destructors and other special member functions but...
Sure, = default is great and convenient especially for destructors and other special member functions but when declaring a class that’s meant to be a part of a shared library’s interface I try to avoid using it and here’s my reasons why. TLDR Tip When writing an interface class, containing virtual functions, don’t u...

c++
1
Forgejo is now copyleft, just like Git

forgejo.org

Forgejo is changing its license to a Copyleft license. This blog post will try to bring...
Forgejo is changing its license to a Copyleft license. This blog post will try to bring clarity about the impact to you, explain the motivation behind this change and answer some questions you might have. How will this impact me? We have carefully considered the impact the license change has on the variety of usages...

law vcs
3
[SOAP'23] Flux: Refinement types for Rust

youtu.be

plt rust science & technology video
1
The Only JavaScript Feature That Was Deprecated

trevorlasn.com

javascript
1
What’s Really Going On in Machine Learning? Some Minimal Models

stephenwolfram.com

The Mystery of Machine Learning It’s surprising how little is known about the foundations of machine...
The Mystery of Machine Learning It’s surprising how little is known about the foundations of machine learning. Yes, from an engineering point of view, an immense amount has been figured out about how to build neural nets that do all kinds of impressive and sometimes almost magical things. But at a fundamental level ...

ai
3
Garnix Blog: Hands-on NixOS servers

garnix.io

nix
2
Data Modeling Entitlements and Pricing for SaaS Applications

garrettdimon.com

Flipper originally started with one price per month and per seat–the same price for every customer...
Flipper originally started with one price per month and per seat–the same price for every customer and seat. On one hand, it helped ensure that as customers grew and used more resources, Flipper would remain profitable, but we don’t love paying per-seat pricing in most cases. For all but the largest businesses–where...

billing entitlements pricing ruby saas
2
Better IX network quality monitoring

benjojo.co.uk

This post is a textual version of a talk I gave at the first NetUK. You...
This post is a textual version of a talk I gave at the first NetUK. You can watch the talk on YouTube that was recorded by the wonderful AV team below if that’s your preferred medium: Large Internet eXchange (IX) LAN’s have long often been more than “just” simple Ethernet broadcast domains, either due to the need to...

networking
1
Andries Brouwer on the OOM killer

quuxplusone.github.io

Via Andy Miller (2007), an amusing metaphor for Linux memory overcommit. Originally posted by Andries Brouwer...
Via Andy Miller (2007), an amusing metaphor for Linux memory overcommit. Originally posted by Andries Brouwer to the linux-kernel mailing list, 2004-09-24, in the thread titled “oom_pardon, aka don’t kill my xlock”: An aircraft company discovered that it was cheaper to fly its planes with less fuel on board. The pla...

linux
1
GitHub - link-society/flowg: Low Code log management solution

github.com

Hi there! At $workplace, we needed to be able to easily refine and route logs from...
Hi there! At $workplace, we needed to be able to easily refine and route logs from multiple heterogenous sources into dedicated destinations (here called “streams”). We are not fans of ELK for totally subjective reasons, and needed something extremely simple, hence this project. The entrypoint is a pipeline that you write in “no-code” (using React Flow). The pipeline takes log records from the source...

devops show
1
Ethernet History Deepdive – Why Do We Have Different Frame Types? – Daniels Networking Blog

lostintransit.se

historical networking
3
Restricting execution of scripts — the third approach [LWN.net]

lwn.net

linux security
1
Rust vs. Zig in Reality: A (Somewhat) Friendly Debate

thenewstack.io

Jarred Sumner (white shirt): creator and CEO of Bun.js, a Node.js replacement JavaScript runtime and toolkit...
Jarred Sumner (white shirt): creator and CEO of Bun.js, a Node.js replacement JavaScript runtime and toolkit designed for speed Pekka Enberg (red shirt): CTO and co-founder of Turso, which forked SQLite for modern applications Glauber Costa (black shirt): Turso CEO and co-founder Michael B. Paulson aka The Primeagen (host) Comments

programming rust video zig
2
How Postgres stores oversized values – let's raise a TOAST | drew's dev blog

silcock.dev

databases
2
Intuitive Explanation of Arithmetic, Geometric, & Harmonic Mean

ryxcommar.com

If you Google for an explainer on the differences and use cases for the arithmetic mean...
If you Google for an explainer on the differences and use cases for the arithmetic mean vs geometric mean vs harmonic mean, I feel like everything you’ll find is pretty bad and won’t properly explain the intuition of what’s going on and why you’d ever do one or the other. In fact, you sometimes will hear about someo...

math
1
Captcha Check

dreamwidth.org

security
5
SwiftUI for Mac 2024

troz.net

mac swift
2
SIMD Matters :: Box2D

box2d.org

game physics performance
2
What is std::ref?

sandordargo.com

Have you heard about std::ref and std::cref? The helper functions that generate objects of type std::reference_wrapper?...
Have you heard about std::ref and std::cref? The helper functions that generate objects of type std::reference_wrapper? The answer is probably yes. In that case, this article is probably not for you. But if you haven’t heard about them, or the only usage of std::reference_wrapper you faced was storing references in ...

c++
1
Introducing Oblivious HTTP support in Swift

swift.org

security swift
1
The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations (1996)

umd.edu

design pdf
1
A systematic approach to deriving incremental type checkers | Proceedings of the ACM on Programming Languages

acm.org

Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking...
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to...

databases datalog incremental type checking pdf plt
2
An unordered list of hidden gems inside NixOS — kokada

capivaras.dev

After using NixOS for the last 5+ years as my main OS, I end up with...
After using NixOS for the last 5+ years as my main OS, I end up with a configuration with many things that are interesting for one reason or another, but it is not listed anywhere (well, except if you are the kind of person that reads man 5 configuration.nix or the release notes in every release). So kind in the sam...

nix
1
Gentoo: profiles and keywords rather than releases

gentoo.org

Different distributions have different approaches to releases. For example, Debian simultaneously maintains multiple releases (branches). The...
Different distributions have different approaches to releases. For example, Debian simultaneously maintains multiple releases (branches). The “stable” branch is recommended for production use, “testing” for more recent software versions. Every two years or so, the branches “shift” (i.e. the previous “testing” become...

linux
1