~lobsters | Bookmarks (2000)

TLS 1.3 Hybrid Key Exchange using X25519Kyber768 / ML-KEM

netmeister.org

networking security
1
Val Town Town

val.town

Val Town Town is Val Town implemented on Val Town. Fork it, extend it, build stuff...
Val Town Town is Val Town implemented on Val Town. Fork it, extend it, build stuff on it, or read on if you’d like to learn more. Val Town lets you build all sorts of tools with vals: HTTP handlers, crons, email endpoints, frontend applications, the list goes on. But can you build Val Town with Val Town? With a few ...

javascript web
1
Unicode codepoints that expand or contract when case is changed in UTF-8. Good for testing parsers. Includes the data `utf8_case_data.rs` and the script to generate it, `generate_utf8.py`.

github.com

Unicode codepoints that expand or contract when case is changed in UTF-8. Good for testing parsers....
Unicode codepoints that expand or contract when case is changed in UTF-8. Good for testing parsers. Includes the data `utf8_case_data.rs` and the script to generate it, `generate_utf8.py`.

programming
2
The CRAPL: An academic-strength open source license

might.net

In academic software (my own included), software engineering principles vaporize as deadlines loom, and code becomes...
In academic software (my own included), software engineering principles vaporize as deadlines loom, and code becomes overrun with debugging hooks, perl golf, hard-coded configuration variables, dirty hacks, commentless tracts, a Gordian build system, and of course, no documentation. It's not the kind of code one is ...

law science
1
This Development-cycle in Cargo: 1.83 | Inside Rust Blog

rust-lang.org

This is a summary of what has been happening around Cargo development for the last 6...
This is a summary of what has been happening around Cargo development for the last 6 weeks which is approximately the merge window for Rust 1.83. Plugin of the cycle Cargo can't be everything to everyone, if for no other reason than the compatibility guarantees it must uphold. Plugins play an important part of the C...

release rust
1
DuckDB over Pandas/Polars

pgrs.net

databases
1
Separation of concerns in a bug tracker

greenend.org.uk

practices
1
Announcing Fedora 41

redhat.com

Today, the Fedora Project is excited to announce the general availability of Fedora Linux 41, the...
Today, the Fedora Project is excited to announce the general availability of Fedora Linux 41, the latest version of the free and open source operating system. For desktop systems, this Fedora release features a new Fedora Miracle spin, RPM 4.20 and updates to DNF5. Learn more about the new and updated features of Fe...

linux release
1
Terence Eden / ActivityBot · GitLab

gitlab.com

php
1
Why Zellij?

poor.dev

I am a terminal developer. I write my code inside vim, I use Zellij to manage...
I am a terminal developer. I write my code inside vim, I use Zellij to manage my terminal workspace and automate everyday tasks. My desktop environment is a wrapper around the two most ubiquitous application development platforms of our time: the terminal and the browser. Those of us using Zellij often get asked: “W...

linux
1
Texture-less Text Rendering

poniesandlight.co.uk

Written on Oct 25 2024, by @tgfrerer. Sometimes, all you want is to quickly print some...
Written on Oct 25 2024, by @tgfrerer. Sometimes, all you want is to quickly print some text into a Renderpass. But traditionally, drawing text requires you first to render all possible glyphs of a font into an atlas, to bind this atlas as a texture, and then to render glyphs one by one by drawing triangles on screen...

c++graphics
2
Seeing Like a Programmer (LambdaConf 2024) — Sympolymathesy, by Chris Krycho

chriskrycho.com

Assumed audience: People interested in how we can make good software. In more than one sense...
Assumed audience: People interested in how we can make good software. In more than one sense of the phrase “good software”. That means not just software engineers. A bit of context: Today I gave the second of two talks at LambdaConf 2024: exploring what we can do to make our software better… and also what to do to m...

donella meadows james c. scott programming public speaking software development
2
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
Rewrite it in Rails

bearblog.dev

ruby rust
2
GitHub - goblint/cil: C Intermediate Language

github.com

compilers ml
2
ISO/IEC 9899:2024

iso.org

The C23 standard has been published. Comments
1
Porting ioquake3 from SDL2 to SDL3

youtube.com

games science & technology video
1
What is the point of an online conference?

scattered-thoughts.net

databases event
2
Purity is Great for Collaboration

mccd.space

When people talk about the benefits of purity in functional programming, the benefits that are often...
When people talk about the benefits of purity in functional programming, the benefits that are often mentioned are equational reasoning (if the language is lazy), ease of testing, memoization and ease of parallelization. To me, these are all great benefits, but might not be enough to convince a skeptic. What I often...

elm practices
1
Seven Obscure Languages in Seven Weeks

pragprog.com

Tweet this Pages: 270 Published: October 2024 ISBN: 9798888650639 In Print Explore seven older computer languages...
Tweet this Pages: 270 Published: October 2024 ISBN: 9798888650639 In Print Explore seven older computer languages and discover new and fresh ideas that will change the way you think about programming. These languages were invented before we settled into our current C-style syntax and OO biases, so language designers...

apl forth occam plt programming languages
1
Checking linearizability in Go | notes.eatonphil.com

eatonphil.com

You want to check for strict consistency (linearizability) for your project but you don't want to...
You want to check for strict consistency (linearizability) for your project but you don't want to have to deal with the JVM. Porcupine, used by a number of real-world systems like etcd and TiDB, has you covered! Importantly, neither Jepsen projects nor Porcupine can prove linearizability. They can only help you buil...

distributed go
1
Everyone is wrong about that Slack flowchart – Sophie Alpert

sophiebits.com

practices
2
Hotwire is... boring

reddit.com

ruby
1
Cramming Solitaire onto a Nintendo E-Reader card

mattgreer.dev

Making a new game from scratch for a forgotten Nintendo peripheralI recently finished making Solitaire for...
Making a new game from scratch for a forgotten Nintendo peripheralI recently finished making Solitaire for the Nintendo E-Reader. I managed to fit it onto a single card, and it's a pretty full featured version of the game. I'm really happy with how it turned out. I figured I'd talk a bit about how I made it in what ...

games retrocomputing
2