Bookmarks (16408)

Idris 2 version 0.4.0 Released

idris-lang.org

plt
1
Book summary: A Philosophy of Software Design

freshman.tech

book books philosophy
1
Mythical Macros

soegaard.github.io

Mythical Macros is a new tutorial on how to write Racket macros. Feedback is very welcome....
Mythical Macros is a new tutorial on how to write Racket macros. Feedback is very welcome. Comments

lisp programming
1
Adding VP9 and MPEG2 stateless support in v4l2codecs for GStreamer

collabora.com

Earlier this year, from January to April 2021, I worked on adding support for stateless decoders...
Earlier this year, from January to April 2021, I worked on adding support for stateless decoders for GStreamer as part of a multimedia internship at Collabora. The following is a recap about the completed work. Stateless decoders, you say? Before talking about stateless decoders, one must understand what stateful de...

linux
1
What email client do you use? | Lobsters

lobste.rs

For the past decade I have used Thunderbird as my email client of choice, but it...
For the past decade I have used Thunderbird as my email client of choice, but it appears that this time has come to an end. They have unceremoniously broken the only addon I use. In addition, I have discovered that > characters do not count as “quotations” and will be indented by one space in the actual sent text. This breaks manually edited quotations...

ask email
1
Your Guide to the CPython Source Code – Real Python

realpython.com

compilers python
2
Vaccination Paywalls

bert.org

It was just announced a few days ago that if you were vaccinated in California, you...
It was just announced a few days ago that if you were vaccinated in California, you can get a digital copy of your vaccination record in the form of a QR code by going to the Digital COVID-19 Vaccine Record portal. The QR code looks like this: But if you try to scan it in with the iOS Camera, it just says “No usable...

programming
1
Ahoy, there’s malice in your repos—PyPI is the latest to be abused

arstechnica.com

Counterfeit packages downloaded roughly 5,000 times from the official Python repository contained secret code that installed...
Counterfeit packages downloaded roughly 5,000 times from the official Python repository contained secret code that installed cryptomining software on infected machines, a security researcher has found. The malicious packages, which were available on the PyPI repository, in many cases used names that mimicked those o...

python
1
Two problems

nedbatchelder.com

satire
1
FreeBSD Performance Observability

klarasystems.com

In Deep Diving Into the Strengths of FreeBSD we covered some of the many reasons to...
In Deep Diving Into the Strengths of FreeBSD we covered some of the many reasons to choose FreeBSD at a high-level. On that note, let’s take a look at FreeBSD from a performance observability perspective. By observability, we mean the ability to observe what is happening on a live system, and in many cases, to alter...

freebsd performance
1
D3FEND Matrix | MITRE D3FEND™

mitre.org

security
1
Doom on nRF5340

nordicsemi.com

bluetooth doom hardware nrf5340 port
1
What is Neotron? - Neotron - The Embedded Rust Home Computer Platform

neotron-compute.github.io

hardware rust
1
Putting the flex on flexures

hackaday.io

Linear motion is a mode of movement where all three degrees of rotation are fixed and...
Linear motion is a mode of movement where all three degrees of rotation are fixed and two degrees of motion are fixed so that an object can only move along one axis. This is how the bold on a dead bolt moves, how a drawer slide moves, and how a sliding glass door moves. Typically we would use some sort of a linear r...

hardware
1
Opinion-driven design - stitcher.io

stitcher.io

programming
1
Making sense of 1NF, pt. II

substack.com

Few days ago I found myself in a peculiar situation. I’ve finished the last post with...
Few days ago I found myself in a peculiar situation. I’ve finished the last post with “Next week we’ll probably begin tackling the database normalization forms”. I was going to discuss the first normal form, or more precisely: how 1NF is taught and understood by people (including myself, because I’m not sure if I ha...

databases
1
PipeWire Under The Hood

nixers.net

Introduction The PipeWire project is slowly getting popular as it matures. Its documentation is still relatively...
Introduction The PipeWire project is slowly getting popular as it matures. Its documentation is still relatively sparse but is gradually growing. However, it’s always a good idea to have people from outside the project try to grasp and explain it to others in their own words, reiterating ideas, seeing them from thei...

desktop portal guide linux overview pipewire
1
Why I Won’t Approve Your PR

elisabethirgens.github.io

in-house development has been influenced too much by the GitHub open source PR driven development process....
in-house development has been influenced too much by the GitHub open source PR driven development process. A process driven by zero trust doesn’t fit well in a team with trust. Patricia Aas wrote this tweet a while back, and it obviously struck a chord with a whole bunch of people. There’s a great conversation in th...

practices
1