Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
okl
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
45 ms
·
541.
▲
by
okl
6y ago
You means something like this? http://www.dmitry-kazakov.de/ada/units.htm
542.
▲
Units of Measurement for Ada
(dmitry-kazakov.de)
3 points
by
okl
6y ago
|
0 comments
543.
▲
by
okl
6y ago
Here's a lib with similar functionality: https://github.com/alexmojaki/snoop
544.
▲
by
okl
6y ago
They argued that discipline is necessary, not sufficient, to produce good code. You represented the argument as: "discipline is sufficient for secure (good) code" You took the original argument, changed it to be fallacious, and us
545.
▲
by
okl
6y ago
Parent said: "Good code requires discipline, doesn't it?" You retort: "I have yet to see code that has remained secure solely on the “discipline” of programmers remembering to check things." I think that is a dish
546.
▲
by
okl
6y ago
> I have yet to see code that has remained secure solely on the “discipline” of programmers remembering to check things. That's not what the parent comment said.
547.
▲
by
okl
6y ago
Generally, it is considered preferable to find problems as early as possible. If a program fails to compile or quickly crashes (because of a failed assertion), then I consider that better than having to unit test and fuzz test your code to
548.
▲
by
okl
6y ago
And in terms of performance it costs next to nothing. Just don't put them into your critical loops. You can also print backtraces when an assertion fails: https://stackoverflow.com/questions/77005/how-to-autom
549.
▲
by
okl
6y ago
You can even do #define free(p) do { free(p); p = NULL; } while(0) And when you want to call the original free : (free)(p); The preprocessor will not substitute this occurence of free .
550.
▲
by
okl
6y ago
I don't get that exclusionist attitude either. If they think its subjective, why not just tag it accordingly, or move it into some sub-forum instead of outright killing the discussion.
551.
▲
by
okl
6y ago
Unfortunately, one can't see the code, without downloading a tarball.
552.
▲
by
okl
6y ago
Here is an assert that is static if possible: #ifndef __clang__ #define assume(expr) \ __extension__ ({ \ static_assert(__builtin_choose_expr( \ __builtin_constant_p(expr), expr, true), #expr); \
553.
▲
by
okl
6y ago
Yep, could be. Could also be some BOM error in their part library if that problem is present on every board of a certain revision.
554.
▲
by
okl
6y ago
Who knows what happened at that factory, maybe someone made a mistake. The part might also just have failed.
555.
▲
by
okl
6y ago
Did you do IPC-A-610 inspections at that company?
556.
▲
by
okl
6y ago
So what was the faulty resistors value?
557.
▲
by
okl
6y ago
Let's be honest: most of the tweaks in this blog are personal preference. It also says nothing about Wifi.
558.
▲
by
okl
6y ago
I'm not a "crypto person". What makes you think that?
559.
▲
by
okl
6y ago
I proposed the SEC because they are well-known for vigorously protecting their witnesses. AFAIK, the CFPB is a joke. FDIC might be a good pointer though. Not so sure about jurisdiction, I'm not from the US.
560.
▲
by
okl
6y ago
Yes, IMO OP should have disclosed it to the SEC right after Thomas confirmed that closing the account was intentional.
561.
▲
by
okl
6y ago
As an average, I guess it's about right for Germany.
562.
▲
by
okl
6y ago
Ah thanks. They compare apples and oranges since they haven't disabled runtime checking for Ada. There are probably more options they missed for the other languages.
563.
▲
by
okl
6y ago
Sadly, the paper seems to be missing compiler versions and compilation flags.
564.
▲
by
okl
6y ago
No, reactor: https://en.wikipedia.org/wiki/TOPAZ_nuclear_reactor
565.
▲
by
okl
6y ago
You would need a delta-v of roughly 30km/s to decelerate the garbage sufficiently to let gravity do the job.
566.
▲
Wikipedia: Shoe-Fitting Fluoroscope
(en.wikipedia.org)
1 points
by
okl
7y ago
|
0 comments
567.
▲
by
okl
7y ago
This guy ran Linux on an ARM emulator on an ATmega. A similar feat should be possible on a Z80. http://dmitry.gr/?r=05.Projects&proj=07.%20Linux%20on%208bit
568.
▲
by
okl
7y ago
Cool project. I like the blogposts and manual that explain the inner workings.
569.
▲
by
okl
7y ago
Good idea -- here is an explanation: http://redsymbol.net/articles/unofficial-bash-strict-mode/
570.
▲
by
okl
7y ago
> How do microplastics get into drinking-water? > Microplastics may enter drinking-water sources in a number of ways: from surface run-off (e.g. after a rain event), to wastewater effluent (both treated and untreated), combined sewer
More ›