dnautics

44 ms·

841.
by dnautics 5y ago
Yeah absolutely. I think there are four corners to the square: "meant to be written by humans/meant to be written by computers" and "meant to be read by humans/not meant to be read by humans". JSON is the kin
842.
by dnautics 5y ago
I'm not defending YAML. YAML is terrible. It's even worse with logic and/or templates (looking at you, Ansible). Toml is certainly better but I'm still baffled as to why we don't have a "better YAML".
843.
by dnautics 5y ago
Toml has some hairy bits. Lists of objects, lists of lists of objects, objects of lists of objects. Complex objects with top level fields...
844.
by dnautics 5y ago
yeah, pick the metrics well. For something like public transport, you can probably pick effective metrics so that they can't really be goodhearted. Anyways, it seems to work for singapore (which of course has other incentives, like
845.
by dnautics 5y ago
likely cultural. There are a lot of (possibly "extreme") male environments where males DO provide emotional support to each other, though probably at a lower throughput that the "typical female" friendship, and where th
846.
by dnautics 5y ago
I don't understand why the operation of the line wasn't tied to performance along certain metrics, like "percentage of cars at overcrowding", customer satisfaction, etc. Annual review, Drop below acceptable threshold on
847.
by dnautics 5y ago
Well Singapore also has privatized subways (though recently one of the operators has been re-nationalized) so we will see what happens as a "natural experiment"
848.
by dnautics 5y ago
Nah, I worked for a pair of 20-somethings that taped out a chip on a shuttle run in 6 months. Gpcpu asic, totally from scratch architecture.
849.
by dnautics 5y ago
That's surprising to me because I would think of scala (and Erlang, elixir etc) as utilitarian fp languages, I refer to them as "working persons languages".
850.
by dnautics 5y ago
Yep, definitely. To say the implementation has corrupted the intent of the patent system is an understatement
851.
by dnautics 5y ago
A couple of edits: > all about disclosure was post-hoc justified using disclosure. > It had nothing to do with "encouraging innovation" Technically disclosure is supposed to encourage innovation by allowing people to see
852.
by dnautics 5y ago
Disclaimer, I am not a doctor or a psychologist. I have a contrarian opinion (that I have also posted here several times) that burnout is not merely a symptom of overwork but actually a symptom of missed behavioural prediction error: You
853.
by dnautics 5y ago
I put software engineering as "can you write an sla and be legally liable for it?" If so, then you're an engineer. If not, you're a dev. I personally call myself a software plumber.
854.
by dnautics 5y ago
My guess: It wouldn't because this is about static languages. Typescript is still a dynamic language with a very smart (probably best-in-class at this point in time) compile-time typechecker/static analysis tool.
855.
by dnautics 5y ago
wait did you use to work where I work? We fixed this, haha.
856.
by dnautics 5y ago
I didn't see the article touch on the "why" explicitly, but: zig really has the chance to square this circle for low level languages, since there is duck-typed type-inferenced-coercion in places where it makes sense. Complet
857.
by dnautics 5y ago
Right. I guess you didn't see that those two clopen intervals are mathematically identical, even though they are representationally unequal.
858.
by dnautics 5y ago
yes, total ordering the concept is relevant, but any given total order is not necessarily relevant. You could make a total order that goes 0.0, 1.0, 0.5, 0.75, 0.33, 0.56, 0.77, ... and that would NOT be useful for ranges. In particular, t
859.
by dnautics 5y ago
a total ordering doesn't necessarily carry any semantic meaning and is not really what we care about here. We want semantically important ranges, to be able to check domains and ranges of float-valued functions (for example, arcsin, a
860.
by dnautics 5y ago
In my free time I'm writing a type system for the BEAM virtual machine. Like dialyzer, it features integer ranges. It, however, adds new types like literal lists, minimum-size tuples, literal strings, and subtractive types. I consid
861.
by dnautics 5y ago
Haha no problem! I both love the formatted printing and hate it, but it's the details of how it works that I hate, it's the power that it has that I love (hence 'beautiful bastard'). I'm sure there is "a bett
862.
by dnautics 5y ago
I'm not convinced. I am pretty sure I got a better education in specifically how we "know" (historically, anyways, eratosthenes and all that) the Earth was round, by 7th grade in the US (public school, albeit a very good one
863.
by dnautics 5y ago
> Over the extremely long run regions of the genome that have no biological function should disappear, no? I think the only argument you can make is that 'eventually a neutral deletion would delete it' but I don't think we
864.
by dnautics 5y ago
I think the "biology gonna biology" is often a bit overplayed. A friend of mine was a high level manager at a certain petrochem's biotech arm and they ran into a bottleneck that was erratic. My friend kept saying "hey
865.
by dnautics 5y ago
Not gp, but there was another one that made the rounds about dogs being subjected to being bitten by desert insects. Iirc It turned out that this wasn't funded by the nih?
866.
by dnautics 5y ago
having been there (last was in the fray 7 years ago now... geeze time flies) here are my thoughts: 1. These are all technological developments, not scientific developments. Even MRNA-vaccines leading edge stuff was being built when I was i
867.
by dnautics 5y ago
Well for one, if anyone says "they weren't funded for X grant, so it didn't happen", it's implicitly encodes the idea that people don't do research before they get the grant money. They do.
868.
by dnautics 5y ago
> The vast majority of people, when faced with a language that looks not great at the moment but could have a bright future, will react with "I'll take a look again in a year or two". You argue for the opposite, that peopl
869.
by dnautics 5y ago
> if you're looking for a supplier right now literally only you introduced this 'looking for a supplier right now' concept. I hope you enjoyed knocking down this strawman.
870.
by dnautics 5y ago
> The second point (how to print an integer) is about something way less easily discoverable than in the previous example. You need to learn about how to print, then about `fmt` and from there the only authoritative place that contains i

More ›