Bookmarks

21 bookmarks saved.

UTS #55: Unicode Source Code Handling

www.unicode.org/reports/tr55/tr55-5.html

Unicode standard with suggestions on how to handle source code.

pl,programming

Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical

cfallin.org/blog/2023/01/20/cranelift-isle

This is sooo coool :o

Simplicity with which this tool allows you to define optimization is impressive on its own (example) (optimizations are known for being hard to write), but this also allows you to do analysis (like formal verification)?? So cool!!

Also, it's nice to see the idea of "pattern is the inverse of constructor" — something I was meaning to put into a blog post for the longest time.

compilers,pl,programming,rust-lang

Compiling Rust is NP-hard

compilercrim.es/rust-np

match patterns is a superset of the SAT problem.

Is not a sentence I wanted to read, but a sentence I, perhaps, deserved.

programming,rust-lang

github-discussions-based comment provider

giscus.app

Nota Language

nota-lang.org

A fresh take on typesetting

markup,pl

Swift documentation about """advanced operators"""

docs.swift.org/swift-book/documentation/the-swift-programming-language/advancedoperators

Swift docs on bit ops are so nice, All those pictures explaining bitwise ops, shifts, 2s complement signed integers, so pretty 🥺

diagram,documentation,pretty,programming,swift-lang

Spade Hardware Description Language

spade-lang.org

An interesting HDL featuring static typing, helpful compiler written in rust >:), cute mascot and other things I don't really understand. Looks cool, but obv in very early stages of development, sooo yeah. Also I don't understand the field, so I have no idea how it compares to existing things.

pl,programming

Pride Badges API

pride-badges.pony.workers.dev

An API that allows you to produce badges like "CI status" or "docs" or whatever you usually see on github, but with pride flags (or, rather, any stripes with equal width):

lgbt

Detect Missing Ad-blocker WordPress plugin

stefanbohacek.com/project/detect-missing-adblocker-wordpress-plugin

A plugin for wordpress (and a description on how you can do it yourself) that shows a note if you are not using ad-blocked. This is so cool aaaaaaa

Grow a Thriving Remote Work Culture | Tangle App

tangle.app

An interesting take on remote work spaces.

Documentation

miniflux.app/docs/index.html

Discord Colored Text Generator

rebane2001.com/discord-colored-text-generator

ゆヌなぎ発電

www.pixiv.net/en/users/61557703

A very cool artist drawing Celeste stuff (not only it, but they do draw it). Originally found out about them on twitter.

art,games

"8bitdo" controllers

www.8bitdo.com/#Products

An interesting controller selling company idk

controllers,games

burning text gif generator

cooltext.com/Logo-Design-Burning

protip: when you encounter an image with unnecessary censorship, uncensor it with the burning text gif generator
(source)

burning_text,fire,gif

Refold / "The first complete language learning solution"

refold.la
human_languages,learning

recepie site

grimgrains.com

recommended by no other than bouncepaw

cooking,food

Prechoster

cloudwithlightning.net/random/chostin/prechoster
cohost,crimes,social_media

Leveraging Rust and the GPU to render user interfaces at 120 FPS

zed.dev/blog/videogame

An take on interfaces — just throw GPU at it. Haven't read it yet but :eyes:

2read,article,gui,programming

Zed editor

zed.dev
editors,programming

miro

miro.com

Online, infinite (?), white (?) board.

organization