Trending tags: ai  rust  github.com  trump  health  psychology  microsoft  linux  vibecoding  video  apple  psypost.org  nature.com  google  show  game  go  meta  arstechnica.com  theregister.com 

Ink and Switch Constraint System (2023)

2 months ago inkandswitch.com

Related Stories

Malleable software: Restoring user agency in a world of locked-down apps

8 days ago inkandswitch.com compsci

A deep-dive explainer on Ink and Switch's BeeKEM protocol

13 hours ago meri.garden cryptography networking security

Constraint-Based Batch Sudoku Solver

2 days ago github.com

Using computers more freely and safely (2023)

5 days ago akkartik.name

System Design Basics - ACID and Transactions

6 days ago javarevisited.substack.com

Things are different between system and application monitoring

15 days ago utcc.utoronto.ca devops

A Pen with Magnetic Ink Could Test for Parkinson's Disease

16 days ago spectrum.ieee.org disease

JavaScript Imports Under the Hood (2023)

16 days ago blog.jim-nielsen.com javascript

Exploring Innovations and Security Enhancements in Android Operating System

9 days ago sesjournal.com android

Switch 2 rooted on day 1

13 days ago bsky.app

Making Sense of Acquire-Release Semantics (2023)

11 days ago davekilian.com c

A programming system

13 days ago andreyor.st

Xeneva Operating System

8 days ago github.com

Ironclad: Unix-like operating system kernel written in SPARK and Ada

18 days ago codeberg.org kernel

Teaching Program Verification in Dafny at Amazon (2023)

16 days ago dafny.org amazon

My Node.js is a bit Rusty (2023)

13 days ago gal.hagever.com nodejs performance rust

An innovative superfamily of fonts for code (2023)

11 days ago monaspace.githubnext.com font

Why Android can't use CDC Ethernet (2023)

10 days ago jordemort.dev android

Shooting the Moon: Art of Lunar Photography (2023)

6 days ago astroimagery.com art

Van Gogh, AMD's Steam Deck APU (2023)

21 hours ago chipsandcheese.com amd

Comprehensive System Design Documentation

11 days ago linkedin.com

Hackers switch to targeting U.S. insurance companies

2 days ago bleepingcomputer.com

Technical Guide to System Calls: Implementation and Signal Handling in Modern OS

16 days ago mohitmishra786.github.io osdev performance signal

The nine-armed octopus and the oddities of the cephalopod nervous system

11 days ago arstechnica.com

First usermode exploit and more: Nintendo Switch 2 had a busy (hacking) week for its launch

12 days ago wololo.net hardware nintendo security

Simple distributed file system implementation

4 days ago reddit.com go

Privacy implications of browsers’ (mis)implementations of Widevine EME (2023)

2 days ago hal.science privacy

Software as Constraint Discovery: A 30-minute deep dive into why we've been thinking about programming all wrong

2 days ago youtube.com

Local LLM Memorization – A fully local memory system for long-term recall and visualization

4 days ago reddit.com llm python

How we tried to book a train ticket and ended up with a databreach with 245,000 records (2023)

7 days ago zerforschung.org security