HNHacker News
TopNewBestAskShowJobs

formalsystem

2,782 karma · joined February 5, 2015

submissionscomments
formalsystem··on The more you learn, the faster you can learn
> I miss the time in uni where I was learning new things every week. I'm thinking of taking a year off just to learn new things.

Even at the senior level I don't think you'll get what you're looking for. Unless you're leading new research efforts, it won't make much sense to move you away from a system that you only understand.

A friend convinced me to quit my job a year ago and I'd highly recommend it. If you can afford it, quitting your job to learn new things can be a really valuable investment. There are so many new fields and textbooks out that could each easily turn into an interesting OSS project and some income. You can write a book about all the new stuff you're learning which which will help raise your profile. It takes a couple of days to really to the gist of any CS/Math field if you have access to the right resources and the right amount of free time.

So taking time off doesn't have to be a career hit, you need time to explore new fields (all the interesting ones are initially hard to grok) but you'll have a unique skillset by the time you're on the other side and will probably make more money if you decide to get a job again. This has only really been true post-internet.

If you wanna chat, email me, it's in my profile.

formalsystem··on Ask HN: What book to read to get a footing in CS theory?
There's so much more to CS theory than big O notation and you're in for a treat if you check out any of the below - happy to share more if people are interested.

1. https://www.amazon.com/Computational-Complexity-Approach-San...

2. https://www.amazon.com/Quantum-Computing-since-Democritus-Aa...

3. https://www.amazon.com/G%C3%B6del-Escher-Bach-Eternal-Golden...

4. https://www.amazon.com/Introduction-Theory-Computation-Micha...

formalsystem··on Advertising Is a Cancer on Society
I honestly wish I could get a data only phone without a dedicated phone number. I get an average of 10 calls a day from random spammers claiming I'm owed $5,000 to IRS etc...

Only thing stopping me is a lot of companies have moved to 2FA via my call phone number as opposed to an authenticator app.

formalsystem··on The Beginning of the End of the Beef Industry?
I'm starting to think more and more that people promoting plant based burgers have either never tasted beef or never tasted a plant based burger.

If the main concern is environment I get it and go for it. But if you are claiming that plant based burgers are healthier or tastier you are borderline delusional.

Last time I cooked a Beyond Meat burger I noticed it was 30% canola oil. 30% CANOLA OIL, might as well just inject cholesterol and fast forward a heart attack.

I still get nightmares when I think of how bad the flavor was, think of the most processed food you possibly can like jolly ranchers and then imagine a salty fatty version of it.

I legit don't understand how this trend keeps going even though vegetarian burgers made with vegetables are delicious and way healthier and there are alternative cuisines like Indian or Mediterranean that gives you loads of options that aren't basically CANOLA OIL.

formalsystem··on Keras – Hyperparameter Tuning for Humans
Can anyone comment on how this differs from https://github.com/hyperopt/hyperopt
formalsystem··on Differentiation for Hackers
I don't understand why this is being downvoted. It's not like doing division in long form is that meaningful.
formalsystem··on Outschooling
Wow thank you! Your answers are really encouraging. Any books or links you like that clarified your thoughts on homeschooling?
formalsystem··on Outschooling
Oh man I have so many questions. I've been thinking about doing this one day myself but haven't been able to find good answers to the below.

How much time do you spend as a parent teaching or overseeing homeschooling? Are you encouraging your kids to go to college? And if they did want to go to college do they realistically have the option to pick the school they want? Any state or country requirements you need to adhere to in terms of curriculum? Have your kids ever expressed an interest in going to school? I can see homeschooling work well for disciplines like math or programming but have any of your kids expressed interest in something like medicine or law where prestige matters a lot? Are kids really self motivated to learn anything? How much structure do you impose? Do you find that they do more projects and experiments as opposed to reading theoretical stuff?

formalsystem··on Set Theory and Foundations of Mathematics
Seems like it's hit by the HN hug of death. Am wondering is there any way for me to help out random people who I think have good content by mirroring their content and increase scale on their behalf?
formalsystem··on Humble Book Bundle: Computer Graphics by CRC Press
Anyone own some of these books and can comment on how good they are?

I've read/skimmed real time rendering, physically based rendering, Game Engine Architecture, Graphics Codex and the book of shaders and am wondering how these books compare.

formalsystem··on Aggressive Chess Openings (2012)
I wouldn't worry too much about your elo, if you're enjoying it you're gonna get a lot better. For the longest time people didn't even have the internet to get better and had to spend big $$ to get coaching.

To get better you need to first master the endgame so you don't throw won games, then learn what kinds of midgame positions (tactical vs positional) you enjoy best so you can then pick a few openings you like.

formalsystem··on Taleb Says Fed Should Do 'Minimum Harm' [video]
I used to be thrown off by the fights he picked but then I had a thought. The fact that's it's considered rude to criticize people with influence means it's difficult to gauge their performance. If anything public figures should be harshly criticized because they make tons of money when things go well and don't seem to be taking on any risk from their bad decisions.
formalsystem··on Estimating Number of Jupyter Notebooks on Github
Maybe it's time to be able to run them implicitly on Azure cloud?
formalsystem··on Police misconduct: Search discipline records for thousands of cops
Odd that a website like this isn't maintained by the government itself.
formalsystem··on The gig economy is quietly undermining a century of worker protections
My take is that gig economies are a band aid solution over the fact that a large fraction of the workforce needs to retrain itself in tech. I'm optimistic about universal basic income to help people get started but let's be real tech is gonna be a huge pie and I find comments like there's no way a truck driver can learn how to program extremely cynical. Relative to a 1,000 years ago any human today is a technological genius so we shouldn't underestimate humans.
formalsystem··on Bullshitters: Who Are They and What Do We Know about Their Lives? [pdf]
I think we need to take the right message from this. BS seems to be a necessary evil and instead of lamenting the fall of intellectualism, I would encourage techies to focus on their craft, writing and speaking in that order.

The other day I was reading https://www.amazon.com/gp/product/0312427581/ref=ppx_yo_dt_b... and the TL;DR was that most of the modern art movement was brewed out of a PR machine which did involve some artistic skill but was mostly lots of BS. So lesson to us programmers would be spend more time cultivating a brand on Twitter and Github.

Over longer timelines and repeated games the techies will have more influence than the BSers who just know how to write and speak.

formalsystem··on Why Do People with Depression Like Listening to Sad Music?
My impression is that sad music tends to have more substance than happy music. Happy pop music is especially guilty of this where: "it's the summer, everyone is having a good time etc..."

I'm really drawn to metal because it creates something beautiful out of difficult emotions. I actually don't get the association to anger at all, it's like saying people who like watching action movies are psychopaths.

I would argue that more art is rooted in pain than in happiness.

formalsystem··on Reasons not to reveal your DNA
I used Ancestry in the past but didn't really get much info, basically I'm Mediterranean which I know I am since that's where I grew up and links to some random 6th degree cousins which TBH could be anyone given that I'm from a country with a total population of ~4M.

I ended up downloading my data and canceling my Ancestry service since I wasn't comfortable with how that data could potentially be used in the future (one term of services change from sketchy stuff happening).

Question to people here, what can I do with this data I've downloaded? Data was surprisingly small, just 5MB - with 5 rows: rsid, chromosome, position, allele 1, allele 2. Is there any OSS software I can run on my machine to learn something useful about myself?

formalsystem··on Show HN: Applying the Unix philosophy to neural networks
I wouldn't say that Python and C++ are the end all languages for ML. They do have a critical mass but I still think projects like OPs can still help us figure out what's a good interface for ML and learnings from smaller projects can inform the design and interface of larger projects (e.g: Keras API helped inform the new TF API).

Also I'm suspicious that Tensorflow will be the Deep Learning library we'll use 5-10 years down the line so it's always nice to see smaller projects that try to do something different.

formalsystem··on Cadence: Uber's Workflow Orchestration Engine
Does anyone know what are the best OSS Orchestration Engines? Am wondering what I should be comparing this to.
formalsystem··on Applied Category Theory
Is there any paper or book you like that covers this topic in more depth?
formalsystem··on Applied Category Theory
Looking forward to it! And if there's a preprint you're comfortable sharing please let me know!
formalsystem··on Applied Category Theory
You may be interested in this paper too https://arxiv.org/abs/1711.10455

I think given a language with AD you already don't need to have a separate language for graph building and my understanding is that's one of the goals for the Julia team and I've seen other nice looking packages for AD in other languages

* https://fluxml.ai/2019/02/07/what-is-differentiable-programm...

* http://diffsharp.github.io/DiffSharp/examples-inversekinemat...

I'm also very excited about being able to design neural nets using ideas from functional programming. I love the Keras API but I don't think it's going to be the obvious API a couple of years down the line.

formalsystem··on Applied Category Theory
Yes! I skimmed it and really enjoyed it although I mostly remember seeing algebraic topology and not so much category theory, will give it a closer look.
formalsystem··on Applied Category Theory
It's funny you mention them, I've been thinking a lot about CRDTs for online multiplayer games where you have a bunch of concurrent players changing a game state.
formalsystem··on Applied Category Theory
Generally, I tend to care more about math if it relates to my specific interests. I'm in ML and robotics so I've found it useful to understand algebra, topology, real analysis.

I've tried to get into Category theory a few times but couldn't keep my motivation high enough once things got too technical. Anyone know how category theory could be useful for someone in ML or robotics?

formalsystem··on Things I Enjoy in Rust: Enums
I use enums quite a bit in my code. Makes all my structs so small.
formalsystem··on Should I Resign from My Full Professor Job to Work Fulltime on Cocalc?
Curious what's your reasoning behind this? If anything I see programmer jobs as one of the only professions that will survive the next couple of decades.
formalsystem··on How the quantum search algorithm works
I organized a quantum computing seminar back in school and two resources I thought were excellent

* https://people.eecs.berkeley.edu/~vazirani/f16quantum.html

* https://www.amazon.com/Quantum-Computing-since-Democritus-Aa...

This reference also looks solid and I'm looking forward to reading it in more depth.

formalsystem··on Should I Resign from My Full Professor Job to Work Fulltime on Cocalc?
TBH I feel like there's very little risk with quitting to work on a project that already has users.

It seems like he's a good enough programmer that he could always find a job at a big tech company, make a bunch of money and then quit once he has enough saved up. And that's assuming he doesn't find any paid users or get any source of funding which again is hard but not impossible or that unlikely given that he already has a product with users.

I think he'll be just fine and I wish him the best.

← PreviousPage 5 of 8Next →