~lobsters | Bookmarks (1962)

Build User Takeover Vulnerability — 2024 — Blog — GNU Guix

gnu.org

nix security security advisory
1
Jujutsu in practice

arne.me

This post is not about the Japanese martial arts Jiu-jitsu, it’s about a new VCS, or...
This post is not about the Japanese martial arts Jiu-jitsu, it’s about a new VCS, or version control system. There are some great tutorials and introductions for Jujutsu, short jj, so I want to give some insight in how I use it day to day for this website. Initialize a repository You can initialize jj in an existing...

vcs
1
There is no such thing as a global method (in Ruby)

zverok.space

What Ruby’s top-level methods actually are, who they belong to and how they are namespaced. A...
What Ruby’s top-level methods actually are, who they belong to and how they are namespaced. A few days ago, a curious question was asked on /r/ruby, which can be boiled down to this: How are the methods of the Kernel module available in the top-level scope? The question was dedicated to rand method, but (as the auth...

plt ruby
2
Dependent Types in Haskell, Part 4

serokell.io

The GHC team at Serokell continues its work towards dependent types in Haskell. Our ultimate goal...
The GHC team at Serokell continues its work towards dependent types in Haskell. Our ultimate goal is that Haskell becomes a language where the use of advanced type system features is not just possible but practical. In this report, Serokell’s GHC team members Vladislav Zavialov and Andrei Borzenkov describe their re...

haskell
1
20 years of Linux on the Desktop (part 1)

ploum.net

historical
1
Naming Conventions That Need to Die | Will Crichton

willcrichton.net

Will Crichton — November 17, 2018 Names are an important tool of thought. They provide a...
Will Crichton — November 17, 2018 Names are an important tool of thought. They provide a loose, lightweight way to manage and structure knowledge. However, bad names inhibit learning and impede progress. We should root out and destroy the processes that lead to bad names. This one is first, because it is the most wi...

practices
1
ccls and LSP Semantic Tokens

maskray.me

ccls emacs vim
1
Archiving Android Password Store · android-password-store/Android-Password-Store · Discussion #3260

github.com

privacy release security
2
Introduction to Zig

pedropark99.github.io

Source code for the book can be found here. Comments

book zig
2
Memory Safety without Lifetime Parameters

open-std.org

c++
2
mac programming for dummies (1999)

devnonsense.com

Over the years, I’ve accumulated a few computer books, some of which sit on the top...
Over the years, I’ve accumulated a few computer books, some of which sit on the top shelf of the bookcase behind my desk.Cormen et al. – the canonical text for an undergraduate algorithms course. Bob Metcalfe’s PhD dissertation on packet switching. Brian Kernighan’s memoir about developing Unix at Bell Labs. The Sou...

historical mac
1
Why I’m skeptical of rewriting JavaScript tools in “faster” languages

nolanlawson.com

javascript performance
4
Responsive TOC leader lines with CSS

markentier.tech

Not long ago I replaced my homepage of an image based overview with a very slim...
Not long ago I replaced my homepage of an image based overview with a very slim Table Of Contents version. The trickiest part was to make that responsive. I finally found a solution. As usual: no JavaScript involved.A table of contents (TOC) page is something coming from the good old book world. Here's an example:It...

css dot leaders dotted line leader line leaders
1
Good first issues & contributing to Racket

racket.discourse.group

Someone asked about contributing to Racket during the Racket Town Hall. As an open source project...
Someone asked about contributing to Racket during the Racket Town Hall. As an open source project contributions are welcome from everyone. To learn how see https://racket.discourse.group/t/good-first-issues-contributing-to-racket/3243 Comments

lisp
1
RAISE

raisetools.github.io

formalmethods
1
GitHub - devgianlu/go-librespot: Yet another open source Spotify client, written in Go.

github.com

go
1
sirikon.me - 0009 PID 1 Bash script for Docker containers explained line by line

sirikon.me

programming
1
nvidia/Llama-3.1-Nemotron-70B-Instruct-HF · Hugging Face

huggingface.co

Also: https://venturebeat.com/ai/nvidia-just-dropped-a-new-ai-model-that-crushes-openais-gpt-4-no-big-launch-just-big-results/ Comments

ai
1
How do you deploy in 10 seconds?

bearblog.dev

devops
2
Jujutsu (jj), a git compatible VCS - Tony Finn

tonyfinn.com

vcs
2
Desktop version 2024.10.0 is no longer free software · Issue #11611 · bitwarden/clients

github.com

release
1
Debian changes OpenSSH packaging [LWN.net]

lwn.net

This article brought to you by LWN subscribers Subscribers to LWN.net made this article — and...
This article brought to you by LWN subscribers Subscribers to LWN.net made this article — and everything that surrounds it — possible. If you appreciate our content, please buy a subscription and make the next set of articles possible. By Joe BrockmeierSeptember 27, 2024 In the wake of the XZ backdoor, the Debian pr...

practices security
3
Which kernel is the most readable one? | Lobsters

lobste.rs

Today, I realized that I don’t understand how the write syscall works. While I have a...
Today, I realized that I don’t understand how the write syscall works. While I have a good grasp on the OS-Application interface, I have a very fuzzy understanding of OS-hardware interface. What would be the best way to learn that? My first idea is to open the Linux kernel and read that, but Linux does so many things that it might be hard to...

ask osdev
1
ISP Column - October 2024

potaroo.net

networking
2