wolfspider

6 ms·

1.
by wolfspider 2y ago
Automattic created node-canvas a long time ago which was based around Cairo.
2.
by wolfspider 2y ago
Well yeah, Seph is right as usual I’ve been updating my MLIR generation code to use Twine lately: https://llvm.org/doxygen/classllvm_1_1Twine.html#details LLVM has been using rope data structures for some time. There i
3.
by wolfspider 2y ago
I’ve spent the past few months translating a C library heavy in pointer arithmetic to TypeScript. Concessions have to be made here and there but ended up making utility classes to capture some of the functionality. Structs can be represente
4.
by wolfspider 2y ago
I was recently using Low* with ChatGPT and amazed it could actually explain it to me so I’m looking forward to using this.
5.
by wolfspider 2y ago
Formal verification uses Prolog a lot. System on TPTP at U of Miami utilizes this for many of the formally verified tests on there. It is just a more intense discipline than general programming which is why I’m perpetually drawn to it tryin
6.
by wolfspider 2y ago
Well sure, but the hardware encode and decode isn’t completely widespread yet. I’ve been patiently waiting for what has felt like an eternity. From the developer perspective everyone needs to have access to it or I’m just sitting on my hand
7.
by wolfspider 2y ago
The part of Root I use is Cling the C++ interpreter along with Xeus in a Jupyter notebook. I decided one night to test the fastest n-body from benchmarkgames comparing Xeus and Python 3. With Xeus I get 15.58 seconds and running the fastest
8.
by wolfspider 2y ago
Well then there is Emacs which is like an entire ripscrip BBS in your terminal if you configure it that way. If the Lisp you hand edit to actually make the plugin start up works you may want to also see what it’s doing apparently. Even thou
9.
by wolfspider 2y ago
MFC also has CComPtrBase which uses & to represent pointer lifetimes to COM objects such as while(pEnum->Next(1, &pFilter, &cFetched) == S_OK). Especially fun when debugging DirectShow filtergraphs someone made in the UI comp
10.
by wolfspider 3y ago
I built one for the government keeping track of licensed professionals and receiving their payments for things reported in the field (mobile first web app). It collected over a quarter million dollars in 30-40 dollar payments with different
11.
by wolfspider 3y ago
My own humble opinion is that Intel has always suffered from market cannibalization. They are a brand I look for but many times the iteration of products will force me to go a generation or two older because I can’t argue with the price and
12.
by wolfspider 3y ago
Was really looking forward to the j-core project and got into SH4 emulating the Dreamcast port of NetBSD which is currently available for the latest version which is 9.3 I believe. http://wiki.netbsd.org/ports/dreamcast
13.
by wolfspider 3y ago
I’m just blown away by how clean the code is for the mod version and how well the documentation is written.
14.
by wolfspider 3y ago
The time you spend on projects is, according to what the PM tells sales, two weeks for a feature and three weeks for bare minimum requirements new product. Outside of that your own company will guilt you into some feeling of inverse wage th
15.
by wolfspider 5y ago
Intelligence is cultural and I think many people don’t realize that. If I were to be dropped off in a random place on Earth I would encounter people, most likely, I wouldn’t be able to communicate with and even if they did understand me bas
16.
by wolfspider 5y ago
Well as much as I can understand the author of this article wanting to get past Riesman’s ideas in “The Lonely Crowd” the time period his predictions occur is during the age of “incipient decline” which is definitely right now and hasn’t en
17.
by wolfspider 6y ago
Well, optimizing similar to how Rust guides the developer to write more optimized code. Comparing them is comparing apples to oranges however. There are many ways to get there. With Z3 you can do symbolic testing and it’s very much about de
18.
by wolfspider 6y ago
I would also say take a look at Bosque it is also from the same camp as F* but much simpler to use Z3 with.
19.
by wolfspider 6y ago
For me between 2000-2005 F1 was fun to watch though after 2005 there were too many regulations and all the cars were too similar. If you want to see some overtaking and drama those were some great races.
20.
by wolfspider 6y ago
The evidence is pretty compelling and I’ve suspected something was up the whole time in fact I began social distancing November of last year after hearing reports of a mystery virus. At some point in my life I met a mechanical engineer whil
21.
by wolfspider 6y ago
One of the things I find refreshing about Gemini is there is no standard scripting language in there and the implementations vary wildly on the client side from Rust to Lua to Python to Go as well as the server-side. It made me realize perh
22.
by wolfspider 6y ago
I’ve been there before and you will be lucky to change just a couple of those deficits within the timespan of 2-3 years. It’s still worth pursuing but just make sure that the organization is willing to take it on like an actual project and
23.
by wolfspider 6y ago
If you have worked with F* or Low* then you probably have some exposure to using Z3 and getting this kind lexical analysis from it is a breakthrough. I just wish Z3 was available on more platforms by default.
24.
by wolfspider 6y ago
"Fail on certain moon phases" reminds me of a C++ bug I encountered while trying to set up the demo for PSIP (Digital TV Guide) destined for NAB in Las Vegas. We had programming schedules resembling excel spreadsheets and my job w
25.
by wolfspider 6y ago
For my uses Vue is actually much more friendly towards non-standard environments but that’s never been a selling point it’s just a bonus. I heavily use TS, Components, and VueX so Vue 3 here looks pretty good to me. I’ve seen more devs in m
26.
by wolfspider 6y ago
Thank You! I've been waiting for a golden opportunity myself for years and even now nothing seems that different. I've been cycling through one clunker after another and each time I just buy something of equal or slightly more tha
27.
by wolfspider 6y ago
Turbo Pascal was what the cool kids coded in. Although that sounds like an offhand statement the kids I knew that started out learning it went on to work at Id Software later on. A little before my time and I was jealous because QBasic was
28.
by wolfspider 6y ago
I’m surprised no one mentioned canvg: https://canvg.github.io/canvg/demo/index.html If using CSS with SVG is important then it’s actually better to use a backend with a library like librsvg (e.g. Cairo) then run n
29.
by wolfspider 7y ago
This is a field that will test that again and again. The way I look at it is we all sacrifice our well-being and free time to get ahead in this industry and get conditioned to believe self-neglect and selflessness equals more money. General
30.
by wolfspider 7y ago
The reason they are interested in it is the accidents which have supposedly occurred there or what I reckon is the UAP and biological tissue stuff mentioned in the article. Somebody was digging a hole in the ground and got zapped by somethi

More ›