((((sandro.net))))

terça-feira, 14 de abril de 2026

Show HN: Deflect One – command line dashboard for managing Linux servers via SSH https://ift.tt/T3spKoF

Show HN: Deflect One – command line dashboard for managing Linux servers via SSH https://ift.tt/WRvefLn April 14, 2026 at 02:05AM

Show HN: Prmana – OIDC SSH Login for Linux with DPoP (Rust, Apache 2.0) https://ift.tt/h5bQpuD

Show HN: Prmana – OIDC SSH Login for Linux with DPoP (Rust, Apache 2.0) prmana replaces static SSH keys with short-lived OIDC tokens validated at the host through PAM. What makes it different from other OIDC-for-SSH approaches is DPoP (RFC 9449) — every authentication includes a cryptographic proof that the token holder has the private key. Stolen tokens can't be replayed. Three components: a PAM module (pam_prmana.so), a client agent (prmana-agent), and a shared OIDC/JWKS library (prmana-core). All Rust. DPoP keys can be software, YubiKey (PKCS#11), or TPM 2.0. No gateway, no SSH CA, no patches to sshd. Standard ssh client, standard sshd, PAM in between. Tested against Keycloak, Auth0, Google, and Entra ID. The name is from Sanskrit — pramana (प्रमाण) means "proof." https://ift.tt/8Lhj5BI April 13, 2026 at 11:51PM

segunda-feira, 13 de abril de 2026

domingo, 12 de abril de 2026

Show HN: Toy Python Lisp interpreters based on the 1960 McCarthy paper https://ift.tt/jEufD5d

Show HN: Toy Python Lisp interpreters based on the 1960 McCarthy paper I wrote this set of Python files to try to help programmers understand the original LISP paper, assuming zero mathematical or Lisp knowledge. The original paper is a mind-blowing piece of computer science history for many reasons - I'd recommend anyone to try and get their head around it. I found plenty of fantastic LISP implementations which stay close to the original paper. But they are all fully-functional, practical implementations. The original paper builds from deeper fundamentals which it would be possible to write code in, albeit very impractical. I implemented these earlier iterations, so programmers can follow the paper step-by-step in a more familiar language than 50s mathematical notation. I am no expert in Lisp or mathematics, and intentionally went into this with no knowledge of Lisp beyond the original paper. I did not write it in the most elegant way, but in the simplest way for me to understand. So please don't take this code as a definitive statement on the language. However, this code really helped me to understand the original paper better, and to begin using Lisp with a better grasp of the spirit of the language. I'd welcome any thoughts from those who have more experience with Lisp or comp sci history. https://ift.tt/hZGTuVv April 12, 2026 at 07:01AM

Show HN: Bullseye2D – A Dart library for cross-platform 2D games https://ift.tt/OQUrYqW

Show HN: Bullseye2D – A Dart library for cross-platform 2D games I posted this here about a year ago, but I just pushed a 2.0 release, so I hope you don't mind a second look :) Bullseye2D is a 2D game library for Dart with a very simple API. The new version now supports multi-platform. It compiles to the web via a WebGL2 renderer, or natively to Windows, macOS and Linux through an SDL3 backend (which itself supports Vulkan, DirectX, Metal, and OpenGL renderers). It doesn't depend on Flutter and has very few dependencies (except SDL3). It mostly provides a minimal foundation that you can build your own abstractions on top of. This was also my first time leaning more heavily on AI (Opus) for a large refactor. I tried to review and test everything as good as I could, but honestly for the restructuring parts where I had the AI produce rather big chunks of code, I found reviewing and testing quite exhausting, and I still have a slightly queasy feeling about it. So this is also quite an experiment for me how good I'm able to utilise AI :) https://ift.tt/h94jrpN https://ift.tt/RS0fepO April 12, 2026 at 05:39AM

DJ Sandro

http://sandroxbox.listen2myradio.com