Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
qznc
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
72 ms
·
871.
▲
by
qznc
7y ago
We have that in Germany: https://en.m.wikipedia.org/wiki/German_public_bank For day to day common needs Sparkasse are the most popular banks. Usually private banks will give you better offers. Sparkasse is big, slow, a
872.
▲
by
qznc
7y ago
You could prefix the script with `#!/bin/bash -vn` and make it executable. It will just print itself.
873.
▲
by
qznc
7y ago
I recently rewatched the Mission Impossible movies. The interface groups them together, so you only rate them as one. They get sent in the correct order. I have not tried a "TV series" yet.
874.
▲
by
qznc
7y ago
I'm back to a send-CD service like Netflix started with. I love this mode: I maintain a list of movies I'd like to watch. I have two of them available to watch in the evening. No Ads. No continue seduction.
875.
▲
by
qznc
7y ago
The "safe" part is a huge one. We need a definition of "safe" on a formal level of ISO26262 which is also feasible. From what I have heard the validation would require billions if not trillions of miles driven. If you re
876.
▲
by
qznc
7y ago
"Literally unthinkable" is too much. Here is a self-driving van back in 1993: https://youtu.be/JTnBiTIvGqY Sure, it is an empty highway. I guess that is what you mean by "the level at which autonomous vehicle
877.
▲
by
qznc
7y ago
Robo taxis in retirement communities also seem likely to me. https://voyage.auto/
878.
▲
by
qznc
7y ago
How does that look like? Do I annotate it as @undead?
879.
▲
by
qznc
7y ago
I use Anki to learn the basic language and terms. When I joined a new company and domain last year for example, it was a lot of new acronyms. When searching through documentation, I look for the dense writing of scientific papers. Clear def
880.
▲
by
qznc
7y ago
It is a fun exercise to take a non-english language, look at its idiosyncrasies, and design a programming language with that. My native language is German. Some ideas: * We can take nouns and combine them to longer nouns. A "list of ob
881.
▲
by
qznc
7y ago
We have this one in our office: https://twitter.com/dave1010/status/613601365529657344
882.
▲
by
qznc
7y ago
It is actually simple. Just look into any business where safety and security matters. I'm in automotive [0]. There is somebody who has to sign that the software is safe. Without someone to make that signature the car does not get relea
883.
▲
by
qznc
7y ago
To me this suggests that there is no clear understanding what your units are supposed to do. My second theory would be that the unit tests are written by the inexperienced developers while the good developers write the other code.
884.
▲
by
qznc
7y ago
No mainstream type system can do that so GP would be fine with a unit test here. You could use Coq, Isabelle, or Lean. Their type systems are powerful enough to allow such checks.
885.
▲
by
qznc
7y ago
Did grep treat the input file as ASCII or UTF8? I remember another story where someone claimed to be faster than grep. Turned out the comparison was unfair because if this distinction. I believe LANG=C is enough to turn grep into ASCII mode
886.
▲
by
qznc
7y ago
If you want use it as a desktop, then plan for a Linux above or below. Linux above: You need a hypervisor. See L4 or Genode. Linux below: See unikernels.
887.
▲
by
qznc
7y ago
Personally, I believe sending the form is enough of consent. However, currently there is probably no lawyer who dares to say that officially. Everybody is still too afraid.
888.
▲
by
qznc
7y ago
It is still magic even if you know how it's done. -Terry Pratchett I consider programming the most magical thing we have: We put mysterious incantations into mysterious contraptions and mysterious things happen. Harry Potters wand is n
889.
▲
by
qznc
7y ago
That is an improvement since the last time I looked. Thanks! My ideal would be "cargo test --coverage=report/".
890.
▲
by
qznc
7y ago
Probably meant "data race" instead of "race condition". https://doc.rust-lang.org/nomicon/races.html
891.
▲
by
qznc
7y ago
Can cargo report the test coverage yet?
892.
▲
by
qznc
7y ago
Grandparent is talking about a modified GCC. Not some binary compiled with GCC.
893.
▲
by
qznc
7y ago
Boring manual? It was the dragon book! https://en.m.wikipedia.org/wiki/Compilers:_Principles,_Techn...
894.
▲
by
qznc
7y ago
There is a difference with note taking between video and face-to-face: with video I can share my screen and have everybody nod off the notes.
895.
▲
by
qznc
7y ago
It might be ready for a revival. Bazel is halfway there. http://beza1e1.tuxen.de/version_control_and_build_systems.ht...
896.
▲
by
qznc
7y ago
What is wrong with Mumble? https://www.mumble.com/
897.
▲
Thinking in Systems by Donella Meadows
(beza1e1.tuxen.de)
9 points
by
qznc
7y ago
|
0 comments
898.
▲
by
qznc
7y ago
Is the motto of Y combinator still "Make something people want"? http://www.paulgraham.com/good.html
899.
▲
by
qznc
7y ago
I don't care if you write "you" or "u". I do care a lot about clear definitions in technical writing. For example, someone could mention a "system". What exactly does he mean? Is it synonymous to "the
900.
▲
Should version control and build systems merge?
(beza1e1.tuxen.de)
2 points
by
qznc
7y ago
|
0 comments
More ›