siraben

50 ms·

541.
by siraben 6y ago
This nicely provides empircal evidence on the slowdown of using Forth, which seems to be around 10 to 20 times slower than optimized assembly. I was initially surprised by how poorly Forth performed on all counts of speed, memory usage and
542.
by siraben 6y ago
Is the naming inspired by Stroustrup's "A Tour of C++"? [0] [0] https://www.amazon.com/Tour-2nd-Depth-Bjarne-Stroustrup/dp/0...
543.
Program Design by Calculation [pdf](www4.di.uminho.pt)
5 points by siraben 6y ago|0 comments
544.
by siraben 6y ago
One of my favorite resources that develop the HM algorithm from scratch is Ben Lynn's[0], who treats it like a series of interview questions, because really type inference algorithms match up two trees into constraints, which can conta
545.
by siraben 6y ago
Programming at the Haskell REPL is a great experience, whether it's if you're exploring data, testing out a parser, or running an effectful computation with a given state. On the other hand when a language is impure like Scheme or
546.
by siraben 6y ago
As many comments have pointed out, this is only when one is already logged in. Personally, I set Firefox to clear persistence of any kind when the browser is closed so that I always will need 2FA to log in my Google account.
547.
by siraben 6y ago
Reminds me of xkcd's "hottest editors"[0]. In all seriousness, if I'm reading this correctly, Ddd9 would resolve the challenge of using CRISPR-Cas9 to edit mitochondrial genomes. Could this be used for treatments of mit
548.
by siraben 6y ago
KeePassXC + Nextcloud has surplanted any other password manager for me for the last two years. The OTP integration is great as well.
549.
by siraben 6y ago
As an international student myself, it has been a very confusing last few months, and now this. I am fortunate enough to be back in my home country but I know of many others who are stuck in the US due to travel restrictions or financial re
550.
by siraben 6y ago
Sure! The Shortcut goes like this: Accepts: URLs - Set variable input to Shortcut input - Get contents of webpage at input - Make PDF from Contents of Webpage - Set variable file to PDF - Open file in reMarkable (toggle Show Open In Menu to
551.
by siraben 6y ago
As a hackathon project I made a language[0] inspired by LOGO but using Unicode characters for the drawing primitives (presumably children could have some physics buttons or GUI to insert them). It also has support for loops and subroutines
552.
by siraben 6y ago
Choosing "dumber" technology has drastically helped my ability to stay focused when reading longform articles (including this one!) while retaining more useful information. I wrote an iOS Shortcut that converts a web page to PDF a
553.
by siraben 6y ago
That's a very interesting way to use GitHub issues. I wonder what sort of problems can arise with vendor lock-in, though.
554.
by siraben 6y ago
I'd also add * Essentials of Programming Languages by Friedman and Wand http://eopl3.com/ It's quite accessible and has an emphasis on executable implementations. Covers quite a wide variety of paradigms, FP, FP
555.
by siraben 6y ago
Denotational semantics are a great way to capture the meaning of a programming language. If your language provides a denotational semantics it's a nice exercise to implement them in a functional language. For instance, here's my i
556.
by siraben 6y ago
The AWK Programming Language book is great not just for learning AWK but also has chapters on data processing, generating tables and graphs, relational databases and even a VM! I've implemented the assembler and VM from the book and e
557.
by siraben 6y ago
Lattices are very applicable to several areas of computer science. One of my favorite results involving lattices is the Knaster–Tarski theorem[0], which can be applied to areas ranging from grammars (e.g. showing the existence of a set cont
558.
China Reports Progress in Ultra-Secure Satellite Transmission(nytimes.com)
5 points by siraben 6y ago|0 comments
559.
by siraben 6y ago
In a similar vein, there's the Topos of Music book[0], which, according to Wikipedia, has been somewhat controversial among mathematicians and musicians alike. [0] https://www.amazon.com/Topos-Music-Geometric-Concepts-P
560.
by siraben 6y ago
GIMP is also extensible with Python, Perl or even Scheme[0]. [0] https://www.gimp.org/tutorials/Basic_Scheme/
561.
Show HN: A correct Scheme interpreter based on R5RS formal semantics(github.com)
2 points by siraben 6y ago|0 comments
562.
by siraben 6y ago
Graphviz's syntax easy enough to programmatically generate, here's the course dependencies for CS classes at my university, for instance, generated by a Haskell program that scraped the appropriate data. https://i.imgur
563.
by siraben 6y ago
In tuning systems what one really cares about is the ratio between pitches, not the frequency of a specific note. You could have A=440 and tune to just intonation and that would sound different from A=440 and 12 tone equal-temperament.
564.
by siraben 6y ago
I use ungoogled-chromium for sites that don't behave well on Firefox (due to needing third-party cookies and so on). I find the extension[0] allowing for the installation and updating of Google Chrome App Store extensions to be immense
565.
by siraben 6y ago
It is possible to write a Forth implementation[0] for the Z80 that uses just enough registers to get the execution model on top. [0] https://github.com/siraben/ti84-forth/blob/bc0140d641a121a4f...
566.
by siraben 7y ago
Here's a toy parser generator I wrote that works for context-free languages[0]. [0] https://github.com/siraben/meta-yacc
567.
by siraben 7y ago
Most undergraduates take a compiler course in which they implement C, Java or Scheme. I have yet to see a course at any university, however, in which Haskell is used as the project language. [...] The closest project I’ve seen to
568.
by siraben 7y ago
META-II is a paper worth reading. I wrote a self-hosting parser generator in Forth based on that paper[0]. [0] https://github.com/siraben/meta-yacc/blob/master/meta.fs
569.
by siraben 7y ago
That would be an interesting project. AFAIK Emacs has a bytecode disassembler[0] but I'm not aware of disassemblers for other instruction sets. [0] https://git.savannah.gnu.org/cgit/emacs.git/tree/lisp&#x
570.
by siraben 7y ago
Do you mean how opcodes are represented in Lisp-based assemblers?

More ›