TLA+ and Alloy.
Ask HN: What are you learning?
271–280 of 906 posts
Re: Ask HN: What are you learning?
#272Web app development using clojure/clojurescript. Also learning clojure itself. So far its been an absolute joy/blast. I'm really wanting to use this professionally but the amount of jobs using this tech stack is incredibly non existent. Hopefully that changes soon
If you happen to get stuck on setting up a ClojureScript dev environment (like I did when starting out with the official docs), check out this write-up: https://danplisetsky.github.io/posts/2020-03-26-getting-star...
Excellent, thanks for the link!
Re: Ask HN: What are you learning?
#273Go + graphsql: we have build https://iban.im and open-sourced https://github.com/monocash/iban.im
Re: Ask HN: What are you learning?
#274I am learning game development in Godot, specifically with the intention of making an Oculus Quest VR game. I just finished the initial tutorial yesterday: https://docs.godotengine.org/en/3.2/getting_started/step_by_... Alongside that, I am also watching Disney's Imagineering-in-a-Box, which describes how they develop lands and rides for their theme parks: https://disneyparks.disney.go.com/blog/2020/03/enjoy-a-one-o.…
Wow I want to do that too! Are there any existing godot based quest games so I can get an idea what the final product would look like?
Re: Ask HN: What are you learning?
#275I'm working through Aluffi's Algebra: Chapter Zero, which covers abstract algebra (groups, fields, vector spaces, etc.) with category theoretic foundations. I took undergraduate algebra several years ago, and I'm really interested in category theory from a compositionality perspective, so this is a good opportunity to brush up on both topics.
Aluffi is really well-written. It assumes some degree of mathematical maturity (so it's well-positioned for a second pass of the material), but has a generally conversational tone without being imprecise. The exercises are excellent, too, if occasionally difficult using only the machinery introduced up to that point. (Again, well-suited to readers taking a second pass at algebra.)
Why am I doing this? Leonard Susskind puts it well in this video [1]. To put it in my own words: our senses evolved for the physical world around us, and some of the most technical activities we do today are wildly underserved by our natural senses. That's why we build things like microscopes and telescopes and whatnot -- to extend our senses into new domains. Mathematical intuition is almost another sense in its own right: you gain the ability to perceive abstractions and relationships in ways that are just not well-described by sight or touch. I both enjoy this sense and find it valuable, so of course I'm going to continue honing it :)
Re: Ask HN: What are you learning?
#276I'll probably get a lot of shit for this, but LeetCode. I've recently been furloughed, and I think that redundancies aren't too far away. There aren't many companies hiring in my area at the moment, and if I'm going to move it's going to be for a big company, so I'm dusting off the CV and am applying to some Big N companies. A recruiter recently reached out to me, and I've got an interview with one Big N company comi…
I use to hate the idea of studying leetCode and I still refuse to do it. But then I realized how hypocritical I was being considering all of the time I’ve spent “grinding architecture and infrastructure”, reading white papers and studying videos on TOGAF so I could talk the talk on an “Enterprise Architect” or a “Digital Transformation Consultant”. But if I have to play a game to get the next salary upgrade after I top out as an IC in my local market (not the West Coast), that’s what I had to do. Who knows? I might end up working in consulting at AWS or Azure.
But now, with the entire world economy screwed up, I don’t think now is the right time to make that kind of move. I’ll stick with being just a regular old Enterprise Developer/Architect/Team Lead/Single Responsible Individual depending on how the wind blows focusing on healthcare.
Re: Ask HN: What are you learning?
#277I'm doing Harvard's CS50 (2020) and working through Steven Cochan's Programming in C (4th edition) alongside it. Coming from a JavaScript / front-end background learning about pointers and manual memory management is eye-opening.
Re: Ask HN: What are you learning?
#278Earlier quoted context omitted.
> So far tried fbdev (but doesn't work well with X), now playing with XCB. Another idea would be to use SDL which essentially provides functionality to make windows, draw pixels and handle input/output. If you do not want to use any library at all and do not mind low "resolution", you could use your terminal as window and regard characters as pixels. Sure, there is the curses library to abstract away different termin…
I was indeed trying to avoid the big libraries, since this is just for personal use I don't care about cross platform which allows me to escape these potentially - I may well end up back at the SDL + OpenGL level later when features or performance are a concern. My current goal is to find a balance of least dependencies and least boilerplate to draw a pixel buffer so i can play with C, nothing more. Once I can do tha…
Then you should be using X11 directly!
Re: Ask HN: What are you learning?
#279Music edition/production with Reaper: https://www.reaper.fm/ They've been so kind to issue a temporary free license to help with the isolation. Their license model is very liberal anyway, but the gesture was well appreciated. I own a Yamaha E363 keyboard and a Stratocaster, now I've bought a Behringer U-Phoria UMC204HD soundcard and an Audio-Technica AT2020 mic to complete the budget home studio. Amazon.es is working…
Thanks for the heads up about Reaper! I've been meaning to get back into music production.
Re: Ask HN: What are you learning?
#280Prolog. I think that genetic logic can largely be expressed in Prolog to enable doing some crazy stuff that hasn’t been explored yet. It’s crazy to me that synthetic biology hasn’t really used logical programming yet for gene design.
Logic programming is badly underapplied in general, I think. Most of the amazing work in this area never seems to have gotten far out of academia (if at all) -- Prolog being the almost singular exception.
Would be awesome to see some motivating examples for this application. It sounds really cool!