Tag programming
14 bookmarks have this tag.
14 bookmarks have this tag.
A fun idea, although doesn't seem very useful. I'd guess that for bigger code examples this is both less reliable and more data, although this requires more testing to be sure.
Sadly somewhat limited and annoying, but also *extremely* cool. I wonder if it's possible to automate normal font + syntax highlighting witchery -> magic font with syntax highlighting
or if it's possible to embed an actual full blown parser, maybe based on the FSM idea?
stale bits are evil
What a cool {advertisement,talk,whatever}. I was kinda :eyes: about tigerbeetle before that, but now I'm really sold?? idk. Very cool presentation and an interesting project
Unicode standard with suggestions on how to handle source code.
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.
match
patterns is a superset of the SAT problem.
Is not a sentence I wanted to read, but a sentence I, perhaps, deserved.
Swift docs on bit ops are so nice, All those pictures explaining bitwise ops, shifts, 2s complement signed integers, so pretty 🥺
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.
An take on interfaces — just throw GPU at it. Haven't read it yet but :eyes:
A new cool-looking editor written in rust, nice! Closed source & currently only for macos, but still interesting. Especially interesting is the Leveraging Rust and the GPU to render user interfaces at 120 FPS blog post.