Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
hwj
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
14 ms
·
121.
▲
by
hwj
7y ago
I played with the Python API thinking it is feature-compatible with the C/C++ API. Unfortunately, it was not.
122.
▲
by
hwj
7y ago
This is how you can get the headers: curl -I -X GET \ https://www.twilio.com/blog/a-http-headers-for-the-responsible-developer
123.
▲
by
hwj
7y ago
I think the 0-100-0 point should go to BMW because it stopped a few meters before Tesla (visible at 00:02:45). This can make a difference in real traffic.
124.
▲
by
hwj
7y ago
I appreciate the "no dependencies" but it seems the client still needs NodeJS: > It is build on React using the Create React App tool, written in Javascript and requries a NodeJS development environment.
125.
▲
by
hwj
7y ago
Or http://beza1e1.tuxen.de/licences/ (needs JavaScript).
126.
▲
by
hwj
7y ago
What file sizes did you have issues with? I'm using ag inside my source directories and cannot remember it not doing the job.
127.
▲
by
hwj
7y ago
AFAIK Coq is used by CompCert[0], which is used for safety-critical software in the industry[1]. [0] http://compcert.inria.fr/ [1] https://www.absint.com/index.htm
128.
▲
by
hwj
8y ago
Because the 'neutral pseudocode' was actually valid Go code I just benchmarked it: BenchmarkDedupe1-4 3000000 521 ns/op BenchmarkDedupe2-4 5000000 275 ns/op
129.
▲
by
hwj
8y ago
I liked this phrase: > And one of the reasons I was a good product manager was because I had been an engineer.
130.
▲
by
hwj
8y ago
ag has PCRE enabled by default. That's why I prefer it over ripgrep.
131.
▲
by
hwj
8y ago
This is a Go library that parses a usage string into an AST.
132.
▲
by
hwj
8y ago
Quote from Niklaus Wirth: > ... I would feel utterly incapable of constructing a good compiler for Ada. Source: The School of Niklaus Wirth - "The Art of Simplicity"
133.
▲
by
hwj
8y ago
Several weeks ago I was using Namecheap's domain checker to check the availability of $name with multiple TLDs. About 10 minutes later one of the domains I checked was taken. That made me wonder whether Namecheap itself or the backend
134.
▲
by
hwj
8y ago
I'd make it to accept plain text as input and produce plain text as output. (Picked that up from Rob Pike, I think)
135.
▲
by
hwj
8y ago
@ggreer, would you consider writing a review, please? I'm interested in - how often the fan goes on - whether it runs Linux/BSD flawlessly - where you can buy it (without speaking any Chinese)
136.
▲
by
hwj
8y ago
Just a note: the .v extension is already used for Verilog and Coq files. Even though V seem more eligible to use it that might disturb LoC counters like tokei or scc I guess.
137.
▲
by
hwj
8y ago
Here's a wizard which helps to choose a license: http://beza1e1.tuxen.de/licences/ (You'll need to enable JavaScript, though...)
138.
▲
by
hwj
8y ago
From a review on amazon: > However, as an English speaking engineer, I found many of the discussions rather clumsily written. I'm guessing that it was translated from the German by someone who doesn't thoroughly understand the
139.
▲
by
hwj
8y ago
The german version is called "Kraftfahrtechnisches Taschenbuch" and is ~15EUR cheaper.
140.
▲
by
hwj
8y ago
What are line numbers in context of a binary?
141.
▲
by
hwj
8y ago
While reading this my hope was it not being written in JavaScript. I'm not disappointed ;)
142.
▲
by
hwj
8y ago
What will happen to my todos should you go out of business? Is there any exporting possible?
143.
▲
by
hwj
8y ago
What about coq? https://packages.debian.org/stable/math/coq
144.
▲
by
hwj
8y ago
For people wondering what that's written in: bash (394 LoC according to tokei).
145.
▲
by
hwj
8y ago
Same from Germany.