siraben

17 ms·

181.
by siraben 4y ago
One issue I've encountered in the past when using text formatted with hard wrapping with non-technical people is that presenting the information usually goes fine, but when they want to edit the text a bunch of headaches ensue, sin
182.
The best kindergarten you’ve ever seen [video](youtube.com)
3 points by siraben 4y ago|0 comments
183.
by siraben 4y ago
I'm doubtful that the results from the experimental process can be used to draw such generalizing conclusions about the utility of Copilot. The task (implementing a HTTP web server in JS) is already something that would be over-represe
184.
by siraben 4y ago
It is not even remotely usable with languages like Haskell, the code it generates almost never typechecks, IME. I think the primary reasons being lack of training data (there is far more Python code on GitHub than the entirety of Hackage) a
185.
by siraben 4y ago
Since this is built on top of tree-sitter, it can be extended[0] to work with other languages as well, no matter how obscure, as long as a tree-sitter grammar exists. This IMO really highlights the power of having an ecosystem built around
186.
by siraben 4y ago
From experience, Parsec is the best instance of remote desktop I've seen. Another one that is pretty solid is RDP for Windows (it feels as if it uses more information than raw pixels from the display, since it seems to render UI elemen
187.
Hosting a Minecraft server without extra hardware with Tailscale and iptables(siraben.dev)
7 points by siraben 4y ago|1 comments
188.
by siraben 4y ago
Tree-sitter[0] can provide semantic highlighting and I've been using it with all the languages I program in, including writing my own grammar[1] for a language that didn't have syntax highlighting. The improvement in readability
189.
Unicode Technical Note #39: Bidi brackets for dummies(unicode.org)
6 points by siraben 4y ago|0 comments
190.
by siraben 4y ago
The manual proof style was nice to see for pedagogical purposes, however it should be noted that the statement is just a intuitionistic tautology, so much so that the entire proof can be automated with the built-in firstorder tactic: Th
191.
by siraben 4y ago
I've owned a TI-84+ calculator since around middle school (they are priced ridiculously everywhere on the planet, and this only exacerbates the problem because of purchasing power differences). However, it can provide a unique program
192.
by siraben 4y ago
This still works in a lot of circumstances with iodine[0], including several US domestic flights. [0] https://github.com/yarrick/iodine
193.
Appreciating Chinese Calligraphy [video](youtube.com)
2 points by siraben 4y ago|0 comments
194.
by siraben 4y ago
One of my favorite places where imaginary numbers pop up is in solving recurrence relations[0]. For instance, the Fibonacci numbers are an example of a recurrence relation and you can obtain the closed form solution by solving the characte
195.
by siraben 4y ago
For a command line web browser that doesn't compromise on modern web features, I use browsh[0] especially in low-bandwidth situations. In conjunction with tmux and mosh it's just fantastic because you get the full colors and featu
196.
by siraben 4y ago
There is a port[0] of these puzzles to the reMarkable tablet which IMO is the perfect medium in which to view and solve them. I recently worked through variations of the pipes game with a friend and it was a solid experience[1]. [0] https
197.
by siraben 4y ago
This approach also extends to embedding languages with different disciplines in a faithful way. With Haskell's rich system you can embed a concatenative, effectful DSL using regular functions[0]. [0] https://gist.github.com&
198.
by siraben 4y ago
The HTTPS Everywhere extension has been redundant for some time[0] and I have Firefox configured to give a visible warning when connecting to a website with HTTP. [0] https://www.eff.org/deeplinks/2021/09/htt
199.
by siraben 4y ago
A Forth is so easy to implement that it can be done on a graphing calculator[0] and in-game computer[1] using very similar designs. [0] https://github.com/siraben/zkeme80 [1] https://github.com/siraben&
200.
Mother elephant and calf rescued from drain in Thailand [video](youtube.com)
2 points by siraben 4y ago|0 comments
201.
2022 Coq Community Survey Results(coq.discourse.group)
2 points by siraben 4y ago|0 comments
202.
by siraben 4y ago
This paper, "Local-First Software: You Own Your Data, in spite of the Cloud"[0] is a great read on how to evaluate software for local-first properties and provides interesting case studies and ideas on how to achieve it, for insta
203.
by siraben 4y ago
I've been using Thunderbird on and off for several years now, but I'm repeatedly confused by the search feature. Has anyone else found it inadequate?
204.
by siraben 4y ago
One reply seems quite prescient for its time, clashing against the attitude of the original author. We should support alternatives both to coal- generated electricity and to IBM-style technocracy. But I am reluctant to entertain alt
205.
by siraben 4y ago
> Japan, everyone’s favorite high public transit country with a lot of demand for maps, has a higher car ownership % than the US. They just discourage using them for personal trips and commutes via small roads, toll highways, expensive p
206.
Memory safe, fast, configurable, minimal hello world written in Rust(github.com)
2 points by siraben 4y ago|0 comments
207.
by siraben 4y ago
I had the exact same kernel parameters in my NixOS configuration[0] and after some benchmarks (mostly Emacs-related) I observed a 10-15% speedup, pretty neat. [0] https://github.com/siraben/dotfiles/commit/c0e
208.
by siraben 4y ago
It strongly depends on your background. What kind of programs are you writing? If you have a lot of boilerplate for error handling, creating chains of promises or passing a file handler to log to around, that's the kind of thing mona
209.
by siraben 4y ago
> I wish i could apply f x y instead of lift $ f <$> x <*> pure y. In "Applicative Programming with Effects"[0], the authors use such a notation, and even leave it as an exercise to implement it in Haskell using Mul
210.
Free monads from scratch(siraben.dev)
22 points by siraben 4y ago|16 comments

More ›