xelxebar

52 ms·

571.
by xelxebar 7y ago
Oh man, I'd absolutely love to work in haskell professionally. Mind if I ask for your advice? As someone with ~4yrs in industry as a mobile developer and a master's in math, what are some routes I should be look into?
572.
by xelxebar 7y ago
Egan is one of my all-time favorite SF authors. Was delighted and surprised to find his name popping up in some nitty-gritty, research-level algebra discussions recently. I haven't heard of Incadescence so it's definitely going
573.
by xelxebar 7y ago
> If it did, we wouldn’t be able to see stars at night from the Earth. Ha! I love straighforward sanity checks like this. My initial reaction was to ask myself about photon-photon collisions which are im fact possible, but your comment g
574.
by xelxebar 7y ago
I believe you fail to grok GP's point. The mapping from "month" units to "days" units is well-defined. It's just some function that happens to be non-constant over the month ordinal. Heck, if we start down the
575.
by xelxebar 7y ago
I'll bite. What is DOORS and how can I specialize in it to put my skills in high demand?
576.
by xelxebar 7y ago
I'm quite fond of the Everything in Language X projects. In this case, how does Mezzano boot a CL runtime? I'd expect this to be a combination of assembly and C, but if they have CL all the way down somehow that'd be really f
577.
by xelxebar 7y ago
Oh my goodness. Yes. Thank you! This is the exact post I had in mind.
578.
Ask HN: Who are some programmers (in)famous for their quirky coding style?
2 points by xelxebar 7y ago|4 comments
579.
by xelxebar 7y ago
I'm quite interested in both terminal emulators and internationalization. Curious if you've tried out mlterm and what issues you might have run into regarding rtl. Actually, I'd be interested to hear any of your stories regar
580.
by xelxebar 7y ago
Oh fluidics. Darn. I was hoping for some Boolean logic encoded directly in Navier-Stokes or something, e.g. some bath of water that had Turing complete flow patterns in some way. Though I guess that would actuallly solve the Millennium Priz
581.
by xelxebar 7y ago
Yeah. That's a really nice one. I use 'gqip' a lot when writing prose in latex, md, etc. One really cool thing is that it respects comments, so it will split long comment lines into multiline comments as necessary.
582.
by xelxebar 7y ago
Or actually go all the way and come full circle. Nothing matters, but you can't escape doing something so might as well do something that matters. In my experience, deconstructing meaning and value have been most instrumental to me p
583.
by xelxebar 7y ago
I think Plan 9 gives a nice distinction. We use files as both a persistent store as well as an interface, so it seems nice to separate those two concerns out. That way you could have your logs as a UI into application state and only incur t
584.
by xelxebar 7y ago
Then you have to play fair. How many died constructing wind turbines? How many mining, refining, processing, transporting the construction materials and equipment? How many died of pollution generated in the manufacturing process. Etc... Ad
585.
by xelxebar 7y ago
Along these lines is an intermediate language called Morte[0], developed by Gabriel Gonzalez, well known in the Haskell community. It seems to still be getting some love. The basic idea is to implement a strongly normalizing calculus of con
586.
by xelxebar 7y ago
Fair point. Abstractions, leaky or otherwise, are helpful! It does seem a bit like we've successfully abstracted the conversation into oblivion though. hehe Anyway, I feel like your original comment and my reply are kind of doing the s
587.
by xelxebar 7y ago
The point is that your metaphor is broken and incorrect. GP's point stands. Abstractions are leaky.
588.
by xelxebar 7y ago
Or just gitrevisions(7). The manpage for git(1) mentions this under the section SYMBOLIC IDENTIFIERS. Not that that's the most obvious place to look, but if you rtfm the obvious stuff, you should stumble upon these gems naturally. It&#
589.
by xelxebar 7y ago
I think your premise might be flawed. Are we just assuming that protons and neutrons automatically pull in the quarks, neutrinos, other leptons and force carriers as well? Does the electron have a photon dependency? What about dark matter?
590.
by xelxebar 8y ago
Oh wow. I just discovered this dictionary recently myself, via the GNU Collaborative International Dictionary of English [0]. It turns out that this is the primary default for the cli dictionary tool `dict` [1], which has happily become my
591.
by xelxebar 8y ago
First order functions and the ability to override builtins. Definitely giving this a try. I've tried out several shells as primary drivers---bash, mksh, zsh, fish. These got me thinking more generally in terms of "userspace tools&
592.
by xelxebar 8y ago
Oh yeah. That's Christopher Domas, the same guy that built a functioning compiler that only emits MOV instructions [0] [1]. His other talks are quite interesting, as well! [0]: https://github.com/xoreaxeaxeax/movfus
593.
by xelxebar 8y ago
I'd say that you can safely ignore CT until you find the need or desire to learn more. The field is still very young and it probably shines most within pure mathematics, for now at least. I think of CT as the study of "composabili
594.
by xelxebar 8y ago
Okay. That's pretty darn cool. I ended up trawling your blog a bit too. Really interesting stuff! Wish there were an RSS feed I could subscribe to!
595.
by xelxebar 8y ago
Functional Programming with Typed Holes[0] I don't know if it's exactly what you want, but this team is working on making a language and compiler capable of "filling in the gaps" on syntax errors. I.e. it can provide com
596.
by xelxebar 8y ago
Are you familiar with the construction of a torus by taking a square and "gluing the edges together"? It's effectively the game Astroids, where going off one edge of the screen wraps around to the opposite edge. If, instead,
597.
by xelxebar 8y ago
If anyone has questions (especially technical ones), the ##math channel on freenode is pretty phenomenal. It's quite active, with quite a few grad students, across a range of fields. The best part is how friendly and helpful they are t
598.
by xelxebar 8y ago
The sibling comment by @glic3rinu pretty much says it, but I'll elaborate a little bit. Can't make any claims about being anything deep, but in a sense, my shift in perspective came from treating program state as "data in pip
599.
by xelxebar 8y ago
Shell scripting gets a lot of hate, but after spending time to grok the language (and copious use of shellcheck), I've grown quite fond of it. This also has the nice side effect of emphasizing use of old unix tools. I think the "b
600.
by xelxebar 8y ago
I'm fairly picky about the terminal emulator I use. Dealbreakers for me are broken true color support and broken multi-lingual support. For a while I have been using st, but have been underwhelmed with how it handles input modules, lik

More ›