~lobsters | Bookmarks (1962)

The greatness and limitations of the js-framework-benchmark

nolanlawson.com

I love the js-framework-benchmark. It’s a true open-source success story – a common benchmark, with contributions...
I love the js-framework-benchmark. It’s a true open-source success story – a common benchmark, with contributions from various JavaScript framework authors, widely cited, and used to push the entire JavaScript ecosystem forward. It’s a rare marvel. That said, the benchmark is so good that it’s sometimes taken as the...

performance web
1
Cyanide - Improve an algorithm performance step by step

mapotofu.org

performance rust
2
Zero-latency SQLite storage in every Durable Object

cloudflare.com

Traditional cloud storage is inherently slow, because it is normally accessed over a network and must...
Traditional cloud storage is inherently slow, because it is normally accessed over a network and must carefully synchronize across many clients that could be accessing the same data. But what if we could instead put your application code deep into the storage layer, such that your code runs directly on the machine w...

birthday week cloudflare workers databases developer platform developers
2
Curly-Cue: Geometric Methods for Highly Coiled Hair

yale.edu

graphics shape modeling
4
Self-referential variable initialization in C

ahti.space
2
SQL/JSON is here! (kinda “Waiting for Pg 17”) – select * from depesz;

depesz.com

Amazing. Awesome. Well, but what is it? We could store json data in Pg since PostgreSQL...
Amazing. Awesome. Well, but what is it? We could store json data in Pg since PostgreSQL 9.2 – so it's been there for over 12 years now. How is the new shiny thing different? What does it allow you to do? Let's see if I can shed some light on it… For starters: SQL/JSON is a standard. As in: written down by people not...

databases
2
Confusing or misunderstood topics in systems programming: Part 1

pthorpe92.dev

6 minute read Any sufficiently advanced technology is indistinguishable from magic.

linux osdev
2
OpenBSD is Hard to Show Off

atthis.link

openbsd
2
GitHub - Omikhleia/resilient.sile: Advanced book classes and packages for the SILE typesetting system: A path for making books from front cover to back cover.

github.com

programming
1
Felix' Blog - Replacing nginx with axum

felix-knorr.net

For the last seven years, I've been reaching for nginx when I wanted to host something...
For the last seven years, I've been reaching for nginx when I wanted to host something that was facing the public internet. Mostly as a reverse-proxy, but also for static sites. My webservers tend to accumulate features over time (like all software, I guess) and after a while, I have multiple services running under ...

programming python rust
1
ACF | ACF 6.3.8 Security Release

advancedcustomfields.com

ACF has made a routine update to patch a recently identified issue. Updates for WP Engine...
ACF has made a routine update to patch a recently identified issue. Updates for WP Engine hosting customers, ACF PRO users, and those free users who have already updated manually from our download site are working as normal. For those ACF users still relying on WordPress.org, we invite you to use our solution to ens...

security web
1
Can Logic Programming Be Liberated from Predicates and Backtracking?

uni-kiel.de

pdf plt
2
The optimised version of 7-Zip can't be built from source

pileofhacks.dev

programming
2
Dafny Standard Libraries

dafny.org

I am an engineer and I love Dafny. Why? Because Dafny is a programming language designed...
I am an engineer and I love Dafny. Why? Because Dafny is a programming language designed from the ground up to support expressing the behavior of code directly in the code itself. Dafny lets you precisely specify what it means to sort a sequence of values, not just as a giant comment on your sorting function you hop...

programming
1
Exploring Typst, a new typesetting system similar to LaTeX - jreyesr's blog

jreyesr.com

programming
2
Are MathJax and KaTeX competitors?

google.com

Skip to first unread messageunread,Apr 21, 2020, 7:20:51 PM4/21/20Sign in to reply to authorYou do not...
Skip to first unread messageunread,Apr 21, 2020, 7:20:51 PM4/21/20Sign in to reply to authorYou do not have permission to delete messages in this groupEither email addresses are anonymous for this group or you need the view member email addresses permission to view the original messageDo they compete in the same sp...

web
1
1 bug, $50,000+ in bounties, how Zendesk intentionally left a backdoor in hundreds of Fortune 500 companies

github.com

1 bug, $50,000+ in bounties, how Zendesk intentionally left a backdoor in hundreds of Fortune 500...
1 bug, $50,000+ in bounties, how Zendesk intentionally left a backdoor in hundreds of Fortune 500 companies

security web
3
The Road to OCIv2 Images: What's Wrong with Tar? | Cyphar

cyphar.com

aleksa aleksa sarai cyphar developer devops
1
blog/posts/2024-10-11.md at master · frankmcsherry/blog

github.com

databases rust
1
GitHub - mookums/zzz: A library for writing performant and reliable networked services.

github.com

zig
1
How I animate 3Blue1Brown | A Manim demo with Ben Sparks

youtu.be

education math python video
1
LLMs don’t do formal reasoning - and that is a HUGE problem

substack.com

ai
2
A Dictionary of Single-Letter Variable Names | Blog | jackkelly.name

jackkelly.name

Haskell’s expressive type system means that type signatures can carry a lot of information. Haskell’s polymorphism...
Haskell’s expressive type system means that type signatures can carry a lot of information. Haskell’s polymorphism means that you sometime write a function that works across an enormous range of types, and are often left wondering “what do I actually call my variables?”. It is often the case that there’s nothing to ...

haskell
1
The Ultimate Conditional Syntax | Proceedings of the ACM on Programming Languages

acm.org

Functional programming languages typically support expressive pattern-matching syntax allowing programmers to write concise and type-safe code,...
Functional programming languages typically support expressive pattern-matching syntax allowing programmers to write concise and type-safe code, especially appropriate for manipulating algebraic data types. Many features have been proposed to enhance the expressiveness of stock pattern-matching syntax, such as patter...

pattern matching plt syntax
2