Awesome List Updates on Mar 04, 2024
11 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Webxr
Standout Projects
- The Escape Artist - An award-winning escape room game by Paradowski Creative set inside the mind of an artist, with an overarching narrative about the creative process.
2. Awesome Ocaml
Online Courses
- OCaml MOOC: Introduction to Functional Programming in OCaml - Videos available in this playlist of the OCaml Software Foundation YouTube channel.
3. Awesome Godot
Plugins and scripts / Godot 4
- LimboAI (⭐2k) - Behavior trees and state machines. Comes with editor, visual debugger, comprehensive demo and tutorial.
4. Awesome Terraform
Books
Tutorials and Blog Posts / Miscellaneous
- Sharing data between Terraform configurations - Illustrates how to use remote state to share data between Terraform configurations.
5. Awesome Nix
Resources / Learning
- Explainix - Explain Nix syntax visually.
Installation Media / Discovery
- nix-installer-scripts (⭐91) - Runs the official installer but does some tweaking as well such as adding fcontext for selinux and installing nix outside of the default profile so you don't accidently uninstall it.
Overlays / Webinterface
- System Manager (⭐1.1k) - A non-NixOS Linux system configuration tool built on Nix.
6. Awesome Zsh Plugins
Themes / superconsole - Windows-only
- acenoster (⭐14) - A multi-purpose theme with very detailed
gitandmercurialsupport. Also includes decorators for AWS profile name, virtual environment name if any, number of background tasks, current directory and previous command's exit code if non-zero.
7. Awesome Crypto Papers
Specific topics / Secret key cryptography
- Cache Attacks and Countermeasures: the Case of AES - Side channel attacks on AES, another view, by Dag Arne Osvik, Adi Shamir and Eran Tromer.
Specific topics / Cryptanalysis
- Cryptanalysis of block ciphers and protocols - By Elad Pinhas Barkan.
Specific topics / Public key cryptography: General and DLP
- A Method for Obtaining Digital Signatures and Public-Key Cryptosystems - Original paper introducing RSA algorithm.
- On the Security of Public Key Protocols - Dolev-Yao model is a formal model, used to prove properties of interactive cryptographic protocols.
Specific topics / Zero Knowledge Proofs
- How to construct zero-knowledge proof systems for NP - Classic paper by Goldreich, Micali and Wigderson.
8. Awesome Postgres
Contents / CLI
- pg-schema-diff (⭐523) - CLI (and Golang library) for diffing Postgres schemas and generating SQL migrations with minimal locking.
Contents / PaaS (PostgreSQL as a Service)
- Supabase - Fully managed Postgres with read replicas, point-in-time-recovery, support packages, browser based GUI, and a generous free tier.
9. Awesome Falsehood
Software Engineering
- I am endlessly fascinated with content tagging systems - There are edge-cases even in tagging systems which are supposed to be barebone.
10. Awesome Jupyter
Tables
- ITables (⭐882) - Pandas and Polars DataFrames rendered as interactive datatables-net tables.
JupyterLab Extensions
- jupyter-stack-trace (⭐7) - Click on the stack trace to open the respective file or a Google search.
11. Static Analysis
Multiple languages / Other
- DeepSource ©️ — In-depth static analysis to find issues in verticals of bug risks, security, anti-patterns, performance, documentation and style. Native integrations with GitHub, GitLab and Bitbucket. Less than 5% false positives.
- Prev: Mar 05, 2024
- Next: Mar 03, 2024