← Înapoi la Urmăritori

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 200
  1. Project Commonplace

  2. The Ultimate Keyboard

  3. Over the last week, I learned that it's possible to have multiple desktop portals (implementations, I guess?)

  4. A pretty good article on small but meaningful design elements: Details that make interfaces feel better Sweet!

  5. Nutrient Ranking Tool

    I just found something pretty cool: A nutrient ranking tool which one can use to filter for basically any ingredient across lots of sources with lots of filters.

  6. UnoCSS

  7. Fluid (Type) Scales

  8. Fluid Scales in Tailwind

    Some time ago, I held a lightning talk at our functional programming meetup on [[Fluid Type Scales]] (Where you try and get rid of class="sm:... md:... lg:..." whenever it makes sense).

  9. Size Textarea to Content

    Today I learned that you can use field-sizing: content to make the shrink and grow with the text in it.

  10. Wasm

  11. Lean and Wasm

    Today I was thinking about how easy it is to include Lean into a website.

  12. Lean and WASM

  13. Better Computer Use

    Some time ago, I visited a friend who's fairly well versed in tech (e.g.

  14. Async Link Fetching in Emacs

    Today I finally tackled something that has annoyed me for a while since switching most of my editing/digital gardening/second brain-writing over to Emacs.

  15. SolidJS

  16. Lean

    Functional Programming Language, Proof Assistant?

  17. AI

  18. New notes

    I've been dragging quite a few notes around with me for the last one, two weeks.

  19. AI And Formal Methods

  20. LLM Usage

  21. Functional Programming

  22. AI Agents

  23. Oxide

  24. Bryan Cantrill

  25. Slidev QRCode Addon

    For presentations, I'm using slidev, a pretty cool and versatile tool (Markdown slides with inline HTML/Vue, so you can do basically anything on your slides), which has lots of cool features.

  26. Today I learned that there's magic pre<> and post<> hooks inside npm (and everything npm-compatible): -> https://docs.npmjs.com/cli/v8/using-npm/scripts I think I would've preferred less magic-side-effect-ness, but fair, I guess.

  27. TypeScript

  28. Monitoring

  29. (Fuzzy) Search on The Frontend

  30. JavaScript Code Snippets

  31. JS range()

    JS doesn't have a range() function or anything, but you can do this: js [...Array(5).keys()]; => [0, 1, 2, 3, 4] ≺≻ [[JavaScript Code Snippets]]

  32. Desktops in the browser

    I did not know it's a thing that people are building desktop environments in the browser for fun: - https://webos.js.org/ - https://dustinbrett.com/ Wild.

  33. Harness Engineering

  34. Cognitive Debt

  35. litecli

    After getting annoyed by the default sqlite Command Line Interface (it doesn't even support arrow up ≙ last typed command), I found litecli nix title=flake.nix # ... packages = [ # ... pkgs.litecli # ... ]; # ... in every sqlite project from now on :)

  36. Auth

    Over the last few weeks, I've spent some time on and off researching a good way to do Authn and Authz, and struggled quite a bit with the number of options available.

  37. Today, I thought about writing and publishing an extension to the Chrome Web Store.

  38. Diffing two directories

    Today I learned that you can diff two directories just like you can diff two files: shell diff dir1/ dir2/ # or recursively diff --recursive dir1/ dir2/ Sweet!

  39. New stuff

    Just now I learned - about Shannon, a pentesting agent - and that there's still an ongoing "Emacs in Rust" experiment people are actively working on!

  40. OAuth Playground

    Now that it's working again (I couldn't access it some days ago), OAuth playground is just a pretty nice way to understand code flows in [[Auth]].

  41. in HTML

    Today I learned there was a name attribute in HTML once.

  42. Dynamic Scoping

    The one unambiguously bad design choice in programming languages.

  43. TypeScript Macros

    Today I've been playing around with [[Immutable.js]] as a library that supplies immutable collections for [[JavaScript]] and [[TypeScript]].

  44. selfhostblocks

    Today, I lurked a bit around the on the clan gitea, which made me find this nice PR trying to nail down a better clan positioning in the future, which made me find selfhostblocks.