~lobsters | Bookmarks (1979)

Spritely Goblins v0.13.0: Object Persistence and Easier IO! -- Spritely Institute

spritely.institute

Christine Lemmer-Webber -- Tue 23 April 2024We are thrilled to announce the release of our distributed...
Christine Lemmer-Webber -- Tue 23 April 2024We are thrilled to announce the release of our distributed programming environment Spritely Goblins version 0.13.0 for Goblins on Guile! This release has two major new features: a powerful new object persistence mechanism (to save your running programs to disk and wake the...

distributed lisp programming
2
Ruby 3.3.1 Released

ruby-lang.org

ruby
1
Good essays on application vs library programming? | Lobsters

lobste.rs

I always hear from people that the practices and techniques you use to make a software...
I always hear from people that the practices and techniques you use to make a software library are different from those you use to make a software application, but I haven’t been able to find a good, comprehensive resource breaking down those differences. Any recs?

ask programming
1
It’s the End of the Web as We Know It

archive.is

ai web
1
GitHub - seL4/rust-sel4: Rust support for seL4 userspace

github.com

rust
1
CakeML

cakeml.org

compilers formalmethods ml
1
Taking regular screenshots of my website

alexwlchan.net

historical
1
GitHub - dickdavis/anthropic-rb: Bindings for the Anthropic API

github.com

ruby
1
vcswatch and git --filter

df7cb.de

performance vcs
2
ProVerB — SLEBoK

slebok.github.io

ProVerB is a project aimed at explaining program verification tools to practicing software developers, and at...
ProVerB is a project aimed at explaining program verification tools to practicing software developers, and at helping them to find they way around the available tools, clearly and briefly summarising the main purpose of the tool, its current status, relations to other tools, etc. You can read more about the project ...

formalmethods
1
Help us invent CSS Grid Level 3, aka “Masonry” layout

webkit.org

If you’ve been making websites for years, you know how frustrating it was to lay out...
If you’ve been making websites for years, you know how frustrating it was to lay out a web page with CSS floats. Managing sizes and placement was tedious and time consuming. Being creative was often impossible. CSS Grid greatly eased that pain with Grid Level 1 in 2017, and now with Grid Level 2, aka Subgrid. But ev...

css
2
GitHub - coroot/coroot: Coroot is an open-source APM & Observability tool, a DataDog and NewRelic alternative 📊, 🖥️, 👉. Powered by eBPF for rapid insights into system performance. Monitor, analyze,...

github.com

devops
1
C isn’t a Hangover; Rust isn’t a Hangover Cure

medium.com

A few weeks ago, I got a bit miffed reading yet another article that was too...
A few weeks ago, I got a bit miffed reading yet another article that was too dismissive about memory safety, basically being mostly dismissive about the need for change. The following weekend, I started seeing flippant responses from security luminaries, saying essentially that you’re irresponsible and dangerous unl...

rust security supply chain
1
The Two Reasons I Prefer Passing Struct Pointers Around

preslav.me

Spoiler: I am not talking about CPU performance or memory. This is a long post and...
Spoiler: I am not talking about CPU performance or memory. This is a long post and a re-evaluation of my thoughts about struct pointers from last year. Buckle up!Identical gophers pointing at one another. Source: MidjourneyWhen it comes to struct values in Go, one of the people’s common points of tension is whether ...

go
1
The Optimizations in Erlang/OTP 27 - Erlang/OTP

erlang.org

This post explores the new optimizations for record updates as well as some of the other...
This post explores the new optimizations for record updates as well as some of the other improvements. It also gives a brief historic overview of recent optimizations leading up to Erlang/OTP 27. A brief history of recent optimizations # The modern history of optimizations for Erlang begins in January 2018. We had r...

erlang
1
Understanding and avoiding visually ambiguous characters in IDs

gajus.com

a11y product
2
Understanding a Trait Selection Bug

veera.app

compilers rust
1
Good Ideas in Computer Science

danielchasehooper.com

April 21, 2024・3 minute readProgrammers love arguing for their favorite technologies. C++ vs Rust. Mac vs...
April 21, 2024・3 minute readProgrammers love arguing for their favorite technologies. C++ vs Rust. Mac vs PC. These arguments overshadow the victories of Computer Science — the ideas that we all agree on. To unearth these ideas, I recently asked a simple question on Twitter/X:What ideas in computer science are unive...

compsci historical
1
Introducing for-each loops for Hare

harelang.org

programming
1
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language

hirrolot.github.io

plt
1
First Come First Served: The Impact of File Position on Code Review

arxiv.org

Abstract: The most popular code review tools (e.g., Gerrit and GitHub) present the files to review...
Abstract: The most popular code review tools (e.g., Gerrit and GitHub) present the files to review sorted in alphabetical order. Could this choice or, more generally, the relative position in which a file is presented bias the outcome of code reviews? We investigate this hypothesis by triangulating complementary evidence in a two-step study. Comments

pdf practices
1
Practical parsing with PEG and cpp-peglib - Bert Hubert's writings

berthub.eu

A very practical introduction to Parsing Expression Grammars (PEGs), in which we’ll build a non-trivial parser...
A very practical introduction to Parsing Expression Grammars (PEGs), in which we’ll build a non-trivial parser using the most excellent cpp-peglib single-include C++ library. Post includes links to PEG libraries for Go, Rust and Python, and a ready to run GitHub repository of all examples. If I’ll ever stop programm...

compilers
1
Options for accessing Llama 3 from the terminal using LLM

simonwillison.net

22nd April 2024 Llama 3 was released on Thursday. Early indications are that it’s now the...
22nd April 2024 Llama 3 was released on Thursday. Early indications are that it’s now the best available openly licensed model—Llama 3 70b Instruct has taken joint 5th place on the LMSYS arena leaderboard, behind only Claude 3 Opus and some GPT-4s and sharing 5th place with Gemini Pro and Claude 3 Sonnet. But unlike...

ai
1
Automated Stitching of Chip Images « bunnie's blog

bunniestudios.com

hardware
2