siraben

40 ms·

391.
by siraben 6y ago
You can do this with the tagless-final encoding, which has a similar flavor to Data types à la carte's concept of open data types. As an example, define class ExpSYM a where add :: a Int → a Int → a Int lit :: Int → a Int
392.
by siraben 6y ago
wrt. defunctionalization, another resource that requires only basic understanding of functional programming (lambdas and ADTs) and equational reasoning to understand it is lecture 4 of [0]. The procedure is quite straightforward if approach
393.
by siraben 6y ago
Translated video transcript of the event https://www.youtube.com/watch?v=vj2-cgxy98o , some parts were a little unclear so I omitted them. Cameraman "Tum [someone's name] go see the injured person." "Hey
394.
by siraben 6y ago
Many IRC channels have a culture of generosity, strangers assisting each other in real time. More generally, I wonder if this and working on open source projects would be equivalent to helping strangers/volunteering in real life.
395.
by siraben 6y ago
It was a very clear and intuitive explanation as well. I was most intrigued by their optical system used to encode and decode light structures in space and time. Though, I didn't quite understand their discussion of 4D holograms at the
396.
by siraben 6y ago
Thank you! Hopefully it can be adapted to run on the 84+.
397.
by siraben 6y ago
Do you happen to have a link to it/recall the name? Sounds interesting!
398.
by siraben 6y ago
Anyone know if it would work on lower end microcontrollers like the Z80? I managed to use the TI-84+'s I/O port connected to a speaker to play simple tunes[0] using a Forth program I wrote[1], but maybe I can exploit the hardware
399.
by siraben 6y ago
Wow! The signal is quite clear. How did they produce the AM signals in the PDP-8?
400.
by siraben 6y ago
I just tried this out yesterday. On my MacBook Pro 11,1 running NixOS the signal is clearest at 1620 KHz. The receiver is an older Bose SoundTouch and after 50 cm it degrades to noise.
401.
by siraben 6y ago
I see. I keep my Emacs configuration non-nixified but otherwise I use home-manager + stow for shell config and config dir stuff.
402.
by siraben 6y ago
xwayland helps mitigate this problem by letting you run X applications on Wayland, (though purists might differ). I use alternate versions of Chromium, Firefox that are Wayland-compatible, see https://arewewaylandyet.com/ f
403.
by siraben 6y ago
i3 has a great feature I use all the time--tabs. I don't use a lot of workspaces since that leads me to context-switch too much, but when I want everything visible on a single workspace, I use tabs. You can also select the parent grou
404.
by siraben 6y ago
Ooh, another NixOS user! I'm curious about your setup; Do you use the same NixOS configuration across machines? Do you use i3 with another desktop environment or by itself?
405.
by siraben 6y ago
For NixOS it's just a matter of adding the following to your system configuration, I'm not sure about other distros. services.xserver = { enable = true; desktopManager = { default = "xfce"; xte
406.
by siraben 6y ago
I've used i3 for several years[0], and it's one of my favorite window managers out there. I had a couple of failed attempts on Debian/Ubuntu but NixOS made it so easy to switch to i3 and use XFCE as the desktop environment, w
407.
by siraben 6y ago
> But that would make it fail the "eval e = eval (opt e)" rule in siraben's proof. The same for picking a different order to execute the functions in "f() + g()". This is really a question of how the semantics ar
408.
by siraben 6y ago
> However, to make the argument that an optimization is correct, the exact semantics of LLVM IR (what the behavior of all possible programs is and when they have UB) needs to be documented. This is a great point as to why formal semantic
409.
by siraben 6y ago
What would be an efficient solver for this problem, and what would the running time be? Seems like a naive solver would be too slow for this, could it be restated into finding the minimal number of cuts needed to fully disconnect a planar g
410.
by siraben 6y ago
This is a much welcome change. Gitter has been pretty klunky to use (especially the stalled mobile client), and the Gitter-Matrix bridge had multiple pain points as well. Looks one step further towards the Universal Communication Bus[0]! [0
411.
by siraben 6y ago
I wanted to write an LLVM backend for various instruction sets (e.g. Z80, R216[0]), since those would deal with the problems of optimization passes and register allocation for me, but the LLVM tutorial[1] makes it look so goddamn hard. Doe
412.
by siraben 6y ago
Sounds like you want to compile a functional language. The best tutorial (in terms of being self-contained and being understandable in entirety) I've seen to compile FP to C is[0], I'd imagine that retargeting to LLVM wouldn'
413.
by siraben 6y ago
Having worked with Ethereum, especially the low level bytecode, one of the changes I'm most excited for that I don't see mentioned a lot is the addition of eWASM support for nodes. There's many problems with the two dominant
414.
by siraben 6y ago
Does statically linking everything not lead to much higher disk usage, espcially when you have thousands of binaries? Drew Devault has an analysis[0] that appears to claim otherwise. [0] https://drewdevault.com/dynlib.html
415.
by siraben 6y ago
Especially for US universities it coincides with final exams in early December. By the time I'm done with my exams it can be hard to keep up.
416.
by siraben 6y ago
Heh, then I could easily say the same for the lack of regexp search/undo tree and so on in text boxes. When will Windows ever add those functionalities? Extensibility really makes all the difference. Emacs is perhaps the most successfu
417.
by siraben 6y ago
If we assume there are people in possession of these notebooks, what could incentivize them to return it? Is there any value in holding onto the originals?
418.
by siraben 6y ago
Definitely. The notion that "everything is a buffer" is a powerful one. Take something as simple as the incremental search functionality. Interfaces in other programs often don't have searchable content, OTOH any buffer you u
419.
by siraben 6y ago
Worth noting that Emacs has several builtin games already, including Tetris, Gomoku, Lights Out, Pong, dunnet, maybe a few others as well. All of which are implemented in Emacs Lisp!
420.
by siraben 6y ago
Nix has had a progress indicator for a few years now[0]. It doesn't provide any time estimates but it does show which part of the build it is on (unpack/patch/configure/build/install), how many dependencies it has

More ›