avhon1

42 ms·

421.
by avhon1 8y ago
I took a class with Daniel Friedman, the creator of Minikanren and author of The [Little|Seasoned|Reasoned] Schemer. One of the homework assignments was to write a typechecker for the simply-typed lambda calculus in minikanren. (Most of the
422.
by avhon1 8y ago
Some implementations, including Will Byrd's [0], have "=/=" and "absento". This is basically "not". [0] https://github.com/webyrd/faster-miniKanren
423.
by avhon1 8y ago
> Maintaining older or smaller versions of software just to avoid self-hosting is bound to hit all kinds of bugs - big and small. Unfortunately, any compiler that can compile current versions of GCC would probably be enormous, and diffic
424.
by avhon1 8y ago
Ultimately, the goal is to compile a trusted copy of the gcc source code with a trusted compiler. This means that you need a trustworthy c compiler binary. In order for the compiler binary to be trustworthy, you have to either: 1. read and
425.
by avhon1 8y ago
People keep bringing this up, but I really don't think I, or anybody, should need an SSD in order to have a fast-acting computer. Spinning rust, RAM, and CPU clocks are faster now than twenty years ago, CPUs have vastly more cache, w
426.
by avhon1 8y ago
Another simple libre CAD program is SolveSpace. It works more like Autodesk Inventor - you draw 2D sketches, pull them into 3D in different ways, repeat, and add constraints to features along the way. Very good for the dimensionally-accurat
427.
by avhon1 8y ago
I concur. > the group had just left the Signature Room restaurant on the 95th floor when they heard noises and experienced a faster and bumpier ride than expected > fire officials said it wasn't an unsafe situation, even though t
428.
by avhon1 8y ago
Same thing happens with my phone (using the K9 email client) whenever I get or send email over a cellular connection.
429.
by avhon1 8y ago
> I've sometimes wondered if it would be practical to operate a steam heating system at a partial vacuum so that the condensation/vaporization could occur at a lower temperature He actually talks about exactly this in the video
430.
by avhon1 8y ago
small consolation: the back issues are available on the internet archive https://archive.org/details/byte-magazine
431.
by avhon1 8y ago
I'm annoyed at how much work at the red project has gone into their ethereum-based cryptocurrency. It feels like a huge distraction from building a better rebol.
432.
by avhon1 8y ago
HaikuOS (modern rewrite of BeOS) just had its first beta release! https://www.haiku-os.org/
433.
by avhon1 8y ago
Gnome 2 has been forked into Mate. https://mate-desktop.org/
434.
by avhon1 8y ago
KDE 3 has been forked in to Trinity. http://trinitydesktop.org/
435.
by avhon1 8y ago
Reading about hypercard/hypertalk, especially the pages devoted to it in whole earth's Signal [0], is one of those things that makes me nostalgic for an era I never experienced. [0] http://www.wholeearth.com/issue&
436.
by avhon1 8y ago
> what was a live tile? Similar to android's "widgets".
437.
by avhon1 8y ago
Blackberry 10 OS had the same thing -- a unified location (called the hub) where all of you communication would go. It was great , except that third-party apps rarely (and decreasingly) integrated with it.
438.
by avhon1 8y ago
The current version of the course is locked away on Canvas, but an older version (nearly the same as it was in 2017) is at [0]. It has all of the assignments, including the partially-complete type checker. (Look in Assignment 10.) We spent
439.
by avhon1 8y ago
When I took a programming languages class with Dan Friedman [0], the entire class was taught in scheme. One of our assignments was to implement a typerchecker for the simply-typed lambda calculus in minikanren [1]. I recall it being a relat
440.
by avhon1 8y ago
An electric motorcycle probably emphasizes the need for a very well-designed helmet. At 60+mph, wind noise from the helmet could still drown out environmental noise.
441.
by avhon1 8y ago
My experience in Racket has been the opposite. Especially with the aid of DrRacket's stepping debugger, reading stack traces and finding bugs is rather painless. (Figuring out the best way to fix bugs, however, is no easier than in any
442.
by avhon1 8y ago
Not only that, but because the device has unfettered access to the internet, an attacker can always update it with new ways of installing certificates on your machine.
443.
by avhon1 8y ago
Seems to have links to, and 1-sentence descriptions of, all of their articles. This isn't very useful if you want your RSS reader to pull down articles for you to read while you're offline. For that to work, you want the feed itse
444.
by avhon1 8y ago
Unfortunately, I couldn't. I did find places to purchase the DVD, which has English subtitles. [1][2] I also found a very detailed plot summary, if you want to watch it without understanding the language. [3] [1] https://www
445.
by avhon1 8y ago
> a Polish movie about that story, Sekret Enigmy (1979) https://www.youtube.com/watch?v=8_X4DmxCWTc
446.
by avhon1 8y ago
> [RSS would] be even nicer as json. Already a standard! https://jsonfeed.org/
447.
by avhon1 8y ago
That's a very power-intensive way of doing it. Sunlight is about 120 watts per square meter[0]. My 14-inch laptop (a Thinkpad T430) display has an area of 0.0543 square meters, so in full sunlight it is illuminated by 6.5 watts of li
448.
by avhon1 8y ago
Closely related (and even briefly shown in the video) to the description of a computer as a bicycle for the mind: https://www.youtube.com/watch?v=xqxWlvJ35yk
449.
by avhon1 8y ago
You might be interested in ImageJ [0] or FIJI [1] (which is ImageJ bundled with a bunch of plugins). It can: 1.) handle hyperspectral images 2.) handle images with 32-bit floating-point pixels 3.) handle gigantic images, streaming from disk
450.
by avhon1 8y ago
I wonder what the explanation for this is.

More ›