Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Dontrememberit
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
1.
▲
by
Dontrememberit
7y ago
The idea of this library is exactly to not use HTML ids (or css paths etc), but use instructions you could give to an human browsing the web (enter the page, press tab, type this..)
2.
▲
by
Dontrememberit
7y ago
Which VPS?
3.
▲
by
Dontrememberit
7y ago
Can you tell what area is this? Is it a backend service or something like software that runs on consumer's PCs?
4.
▲
by
Dontrememberit
7y ago
Just add an ENV var containing a JSON with this metadata. There's tons of env vars that get ignored by programs that don't care about each specifically.
5.
▲
by
Dontrememberit
7y ago
Hey, I hope you figure a way to back up this stuff, since phones are prone to be lost or stolen (or is it backed up automatically by Google or Apple?)
6.
▲
by
Dontrememberit
7y ago
There's no need to get defensive over this. One can do both.
7.
▲
by
Dontrememberit
7y ago
No, but they might pirate (but I bet yify is even worse)
8.
▲
by
Dontrememberit
7y ago
Dependent types prevent infinite loops at compile time because if you have nonterminating terms, your types are unsound as a logic (you can derive true and false properties altogether) That's because theorem proving with dependent type
9.
▲
by
Dontrememberit
7y ago
> I've been arguing lately that C++ should do something like this: Add a full-on theorem-prover to the language so that I can write my own safety rules specific to how my program works. Did you take a look at ATS?
10.
▲
by
Dontrememberit
7y ago
It appears to be offline.
11.
▲
by
Dontrememberit
7y ago
Do you mean quality and quantity?
12.
▲
by
Dontrememberit
7y ago
Your website layout breaks on mobile (width is too large)
13.
▲
by
Dontrememberit
7y ago
What about optics?
14.
▲
by
Dontrememberit
7y ago
Today an esp32 is more bang for your buck. 80mhz dual core, has wifi and bluetooth, and so on Edit: and you can program it with the arduino IDE
15.
▲
by
Dontrememberit
7y ago
One practical application is DRM
16.
▲
by
Dontrememberit
7y ago
If Android is "Kotlin-first", why is flutter development done in Dart?