Cole B.

@csb6
7 Followers
18 Following
70 Posts
Programmer interested in formal methods and compilers
Githubhttps://github.com/csb6
LocationUnited States
Pronounshe/him
Cole B.Jun 8
@chergert When coroutines were being added to C++ there was debate over whether to add stackless or stackful coroutines and the consensus seemed to be stackless which is what ended up being added. Interested if you have any thoughts on this paper that goes into Microsoft's experience with fibers at the time https://open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1364r0.pdf
Show threadCole B.May 31
@grimmy Can confirm I get "site is in lockdown!"
Show threadCole B.May 24
@grimmy Yeah they seem to be fairly standalone so might be able to yoink the relevant files
Cole B.May 24
TIL that #GNOME recently added APIs for generating QR codes and a widget to display them (https://github.com/GNOME/gnome-desktop/tree/master/libgnome-desktop/gnome-qr and https://github.com/GNOME/gnome-desktop/tree/master/libgnome-desktop/gnome-qr-gtk respectively) Linking to Github mirror since GNOME Gitlab appears to be down. @grimmy might be useful
gnome-desktop/libgnome-desktop/gnome-qr at master · GNOME/gnome-desktop

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-desktop - GNOME/gnome-desktop

GitHub
Show threadCole B.May 14
@rygorous Here is another very normal video https://youtu.be/NkRkuI0ZgX0?si=ouuh_fQZb5L1YZDE
Salvatore Ganacci - Horse (Official Music Video)

YouTube
Cole B.May 14
Was able to name 255 American cities (~25% of the population). Blanked out on New Hampshire but got nearly all of the other state capitals https://cityquiz.io/quizzes/usa/share/2775688
How many U.S. cities can you name? | cityquiz.io

See how many U.S. cities you can name. Features an interactive map and statistics.

Cole B.May 13
Traffic lights were down at an intersection on my commute and the red-light camera was taking pictures repeatedly of cars "running" invisible red lights. I can envision a very Kafkaesque situation if those tickets get mailed out automatically. "The light was signalled red, but I couldn't see it!" "The law says it is an infraction to run a red light whether you see it or not. Denied."
Show threadCole B.May 12
@jack Google has had decades of controversies (privacy violations, antitrust, shitty products, workplace sexual harassment, age discrimination, etc.) How long has it been since they removed their "Don't be evil" slogan? He only stopped working there relatively recently so he must have been aware of all those things
Cole B.May 4

Finally got my YouTube live chat API client library working with the peel C++ bindings generator for #GLib / #GObject. I built a small coroutine task abstraction that makes working with GLib-style async functions much cleaner.

Still a lot more work to do to with caching/refreshing OAuth tokens and processing of messages, but hopefully I can get a prototype libpurple plugin (the ultimate goal) working fairly soon

Show threadCole B.Apr 27
@RandomDamage @raymaccarthy @LinuxJedi Ada is very portable (GCC has an Ada frontend and AdaCore also provides a commercially supported version of it) and is used in many safety critical embedded systems/architectures.