smadge

35 ms·

361.
by smadge 8y ago
Shouldn't a "full stack" engineer also be fully versed in hardware engineering, microprocessor architecture, kernel and driver programming, operating systems, programming language and compiler design, etc?
362.
by smadge 8y ago
True, a graph is a relationship between vertices, a key/value store is relationship between keys and values, etc. Relations (sets of ordered n-tuples) remain the theoretical way we reason about data.
363.
by smadge 8y ago
Not as surprising since the Elephants came from just a few hundred miles away accross the Mediterranean Sea.
364.
by smadge 8y ago
I learned analysis from a self guided inquiry based learning packet: http://jiblm.org//downloads/jiblmjournal/V090212S/V090212S.p... And the reals were introduced to me by the completeness axiom phrased
365.
by smadge 8y ago
Most math textbooks are full of proofs of theorems and examples solving problems. This is not better than direct feedback from an expert on your own proofs (e.g. a tutor, professor, or TA), but it is in my opinion exactly what you are talki
366.
by smadge 8y ago
“One thing that’s surprisingly inexpensive for a lot of our clients is health insurance. The insurance policy for members of SAG-AFTRA is amazing. For the money, it is the best health insurance out there. It’s only about $400 per quarter fo
367.
by smadge 8y ago
They should just stick a kernel in vim so I don't even need to install an OS ;)
368.
by smadge 8y ago
When I read the article title, I immediately thought of the language LISP as well. The idea made me chuckle though, so I commented.
369.
by smadge 8y ago
Maybe this is implicitly assumed, but a terminal multiplexer such as tmux is also a useful utility for using unix as an IDE. For example, you can have a pane for your code in an editor like vim, and a pane for running your tests next to it,
370.
by smadge 8y ago
“The Machine” used to be a metaphor for the mindless beaucracy of the State and the mindless profit seeking of Capital. They both operate algorithmically, although their “hardware” were still humans. Now we are cutting out the human entirel
371.
by smadge 8y ago
I guess that’s true! Embedded domain specific languages could be useful to swap out your data layer or provide a unified interface for different data layers.
372.
by smadge 8y ago
Can you provide examples of explicit corporate sabotage (e.g. criminally stopping production in a factory) being lightly punished by the SEC?
373.
by smadge 8y ago
Additionally, SQL is a domain specific language that is standard and cross platform. Why write a query dozens of different times for dozens of different host languages when you could just write it once?
374.
by smadge 8y ago
RMS’s efforts are not for not privacy as some absolutist doctrine: no one must know anything about me. Instead they are about freedom: people should know about me what I let them know about me; I am in control of my data and my online prese
375.
by smadge 8y ago
Yes. One of the classic Greek texts is “Structure and Interpretation of Computer Programs” by Aristotle.
376.
by smadge 8y ago
There’s a difference between offering facial recognition as a feature to users of the software and collecting biometric data as a additional revenue source. In one case the user owns their biometric data and is granting the company access t
377.
by smadge 8y ago
Once a theorem is proven, it becomes a tool in the toolbox which can be used to prove further theorems. This is fundamentally how math progresses and theories are built. I think this is what the author meant when they said math provides you
378.
by smadge 8y ago
You don’t even need fancy static type checkers to avoid this. You literally just have to not have a null and not allow initialization of variables without values. It is more work to add null to your language than to not have null.
379.
by smadge 8y ago
In a sense you are correct, but remember that Duplex only works because it is limited to a very strict well specified domain: scheduling for restaraunts and hair salons. That is, Duplex only works because there already is a de facto specifi
380.
by smadge 8y ago
Seems like some sort of fallacy. If an organization doesn’t have an ethics code, then critics can say that the organization needs to hold themselves up to ethical standards, if they do have an ethics code, critics can point out, like you ha
381.
by smadge 8y ago
Makes me wonder if x86 could be extended to expose the underlying parrellelism. How much faster would my Prolog and Haskell programs run if all branches were executed simultaneously and only the successful path down my search tree returned?
382.
by smadge 9y ago
> What next, PHP strongly enforcing a sound static type system with immutable defaults, GADTs and dependent types? Too funny!
383.
by smadge 9y ago
Cryptography is a broader subject that encryption, including for example message authentication, not just message encryption.
384.
by smadge 9y ago
> How will it make me a better developer? Well, focusing a component of the system (software development) while neglecting to consider how that component interacts with the whole system (society and ecology), is exactly the sort of myopi
385.
by smadge 9y ago
The author provides the example o.f() f(o) and states that o.f() implies that f is polymorphic while f(o) implies a source code dependency on a particular function f. They conclude objected oriented is polymorphic, while functional
386.
by smadge 9y ago
I agree that “=“ as interpreted by people doing math requires context, but in most situations they are able to translate it into a “correct” or formal notion of equality. For example, translating on the fly these ad hoc notions of equality
387.
by smadge 9y ago
Some authors might prefer -- \ / -- 0 < i < n Ass opposed to n -- \ / -- i = 1
388.
by smadge 9y ago
> I believe writers from the Guardian would sooner hand over control of the United States to the EU rather than try to understand why the US does things differently "Zephyr Teachout is an American academic, political activist, and f
389.
by smadge 9y ago
I would be ok with that too! I must have misinterpreted dboreham as suggesting destination -> source Which is very confusing to me.
390.
by smadge 9y ago
First, Does it matter much if agents spread misinformation in an unstructured versus structured format? I can already assert that I am married to Tim Berners-Lee. I will do so right now: I am married to Tim Berners-Lee. I will do so again:

More ›