Garlef

28 ms·

421.
by Garlef 5y ago
The learning part might be right. I'm put off by the "rationality" part.
422.
by Garlef 5y ago
> how science works... hypothesis This is precisely what I would criticise: It's not actually a hypothesis in terms of being a testable statement: How would you even operationalize "rationality"?
423.
by Garlef 5y ago
To say it less politely: To me it seems more like stoner talk. "Quantum entanglement, ... blablabla, ... collective subconscious, ... blablabla, ... everything is connected, man!"
424.
by Garlef 5y ago
> My naïve hunch tells me that this could be related to rationality in some way, that weakening the ion pump signals could make it easier for cells to learn and make alternate computations, creating humans strong rationality that is capa
425.
by Garlef 5y ago
> What degree did you learn? Mathematics (I started a PhD but left academia in favour of starting a company). My focus was on category theory / algebra.
426.
by Garlef 5y ago
While the article is written very nicely, It seems that this is written out of a perspective of some missing knowledge. The basic object that the author seems to be interested in is that of an "algebra over a field" ( https:/
427.
by Garlef 5y ago
I think the same question should be asked when someone hopes to become immortal through uploading their mind to a computer. (Well ~ If there's a way to keep the duplicate/virtual minds bidirectionally in-sync for a while, then ...
428.
by Garlef 5y ago
Yes. This (Spivaks ideas on using categories to define and reason about database stuff) was also my first association.
429.
by Garlef 5y ago
> but fails to take into account the apparently inability of many students to master the concept and practice of consistent indenting I've seen seasoned programmers struggle with this.
430.
by Garlef 5y ago
Seems to be a good move to make the game more enjoyable. Not sure if this is a smart move businesswise. As recent events suggest, FB keeps engagement up through negativity. Maybe the tilt, strong emotional ups and downs, etc are a big contr
431.
by Garlef 5y ago
I would be very sceptical of everyone promoting books by Peter V Brett. They are - to say it politely - not particularly good.
432.
by Garlef 5y ago
Any documentation on the CI/CD features?
433.
by Garlef 5y ago
Yes; Or: If you have a very long list of integers, for example [1, 2, ..., 12351234] and your output would be the same list but all numbers increased by one (keeping the index/order): [2, 3, ..., 1235123]. If you now add a new element
434.
by Garlef 5y ago
> declarative, resource-based permissions system Isn't this how AWS does it?
435.
by Garlef 5y ago
You are right. Instead, they explained why these questions are (partially) misguided. That's also an answer.
436.
by Garlef 5y ago
I want it. You could argue that the current approach of intrastructure-as-code has it backwards: Currently, you define infrastructure, then deploy your code. Instead, I'd like to be able to write code and then connect the code through
437.
by Garlef 5y ago
How can there be a comparison without the prerequisites? The words don't carry any meaning without context. You could say "the veracity does not depend on the prerequisites" to mean "whoever enters the context will agree
438.
by Garlef 5y ago
While I think there's some truth to this, the author has it backwards in some kind of way. Or rather: The author misses an important epistemologic nuance. > One year ago I paused my programming life and started writing a novel, with
439.
by Garlef 5y ago
> https://blog.replit.com/ventures > [...] Replit Ventures will give a grant of $2000 each [...] It's not a substantial amount money but a nice token of appreciation nontheless. I guess the real value comes in th
440.
by Garlef 5y ago
This might be true. But my point was that DuckDuckGo costs me too much time. To rephrase it: DuckDuckGo is more expensive to use. (At least for me).
441.
by Garlef 5y ago
> Do you have an example of a search ... Due to the very topic this HN post is about, I don't think this is a good method - your results might be vastly different from mine. But let's look at the number of relevant results amon
442.
by Garlef 5y ago
I tried it and went back to google because google saves me time. As a dev, I google a lot to figure out how to do X. My experience with DuckDuckGo was that it added 2-10 minutes of filtering for usable results every time.
443.
by Garlef 5y ago
> Goedel's incompleteness theory shows that an axiomatic system can either be consistent or complete, but not both. Goedel's theorem is about a specific form of incompleteness. I think you'd have to provide some additional
444.
by Garlef 5y ago
tl;dr: "Here are some binary operators for a certain notion of specification and some very good examples of why these are not sufficient to express some obvious specs we would like to express." But: As others have noted: The given
445.
by Garlef 6y ago
Here's the strategy I go with: I use the term "memeplex" in order to differentiate it from what a meme is in the mainstream. (Btw - I don't think the difference between "memeplex" and "meme" is substa
446.
by Garlef 6y ago
What I dislike about clickbaity paper titles like this is the following: Using a general term like "determinism" in the title of a paper might be fine for an expert audience: They will know that the paper deals with a specific def
447.
by Garlef 6y ago
isn't python fast because it uses specific c++ (or c?) modules in the background? for example keras is a wrapper for tensorflow (c++). numpy relies on c if i understand this correctly.
448.
by Garlef 6y ago
Get deeper into the type system and avoid classes. There's still some fun to be had. But yes: TS can not fully capture what JS is capable of.
449.
by Garlef 6y ago
I think they developed their own react library for this. https://reactflow.dev/
450.
by Garlef 6y ago
> it would be something that multiplied with itself twice would have be the same as 2 multiplied with itself once from what i recall that's the way to go: You can use this to extend the definition of exponentials as "repeated a

More ›