Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
veltas
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
48 ms
·
721.
▲
by
veltas
6y ago
Can you be specific?
722.
▲
by
veltas
6y ago
In case it's not clear I'm not advocating for this system, just predicting based on the hypothetical.
723.
▲
by
veltas
6y ago
Probably there would be some kind of limited public or charity service.
724.
▲
by
veltas
6y ago
I am critical of many decisions of the standard, however I disagree that it has held it back. The effort to standardise has been useful and it benefits Forth that there is now a common language for e.g. new learners to start with, before tr
725.
▲
by
veltas
6y ago
Very useful reading for anyone writing a Forth, and some interesting reading if you're curious about how different Forths are run or 'threaded'.
726.
▲
by
veltas
6y ago
That actually makes me feel better, and is quite interesting, thank you.
727.
▲
by
veltas
6y ago
Not attacking this association, but just wanted to say I really dislike the term "body of knowledge". Areas of knowledge are certainly some kind of 'body', but the term always sounds to me like something you just keep ad
728.
▲
by
veltas
6y ago
Regardless of whether consent (which was not given) was required, worth pointing out the emails sent to the mailing list were also intentionally misleading, or fraudulent, so some kind of ethic has obviously been violated there.
729.
▲
by
veltas
6y ago
I think the point is that the arrow keys update the status, if a change has indeed occurred, and delete key does not update status but does change the text.
730.
▲
by
veltas
6y ago
If the Chinese government reveals more about what happened, shows any sign of anything being covered up or censored, then information will be revealed that can be spun to put more focus/attention on them regardless of the root cause. C
731.
▲
by
veltas
6y ago
There is an interesting question about whether they will contribute valuable work, knowing that they probably won't be that professional as you say. When I don't care about quality I can often produce really good results early but
732.
▲
by
veltas
6y ago
Please change title to reflect that this is not about "specifications" in the more common usage and is about formal methods.
733.
▲
by
veltas
6y ago
Exactly, wanting to own your own home is not the issue, point the finger at housing not keeping up with populations and the people buying up the limited housing that exists.
734.
▲
by
veltas
6y ago
Historically, metric was the thing being pushed.
735.
▲
by
veltas
6y ago
C++ website: https://isocpp.org/ C website: http://www.open-std.org/jtc1/sc22/wg14/
736.
▲
by
veltas
6y ago
>Stop Calling Everything AI, AI Pioneer Says
737.
▲
by
veltas
6y ago
I swear something like 50% of those digests are totally incorrect as well. It's amazing they have kept the feature because it has never had a very high signal-to-noise ratio. I never trust what's presented in these digests without
738.
▲
by
veltas
6y ago
It feels like the 'traps' rather than just things which are unique to Go should be highlighted differently, so if you're interested in the traps you can go straight to them.
739.
▲
by
veltas
6y ago
Can you explain how he is a threat to women's safety?
740.
▲
by
veltas
6y ago
For people interested in learning LaTeX, I learned LaTeX from this PDF well enough to do my reports and understand search results about LaTeX: https://tobi.oetiker.ch/lshort/lshort.pdf
741.
▲
by
veltas
6y ago
I also thought it meant other architecture.
742.
▲
by
veltas
6y ago
I believe it is related to them both being called 'pound', and it is very annoying. The two are not the same symbol, I don't know why they equivocated them. Technically in a distant root they are related, but they are distinc
743.
▲
by
veltas
6y ago
I live in Britain and don't have an issue with it, '#' is originally a symbol for pounds, a shorthand for 'lb', and we are used to the idea that pounds can mean weight, as well as our currency, so why not this symbo
744.
▲
by
veltas
6y ago
A 'hash-tag' is a feature of internet apps like Twitter where you put a '#' in front of some topic name to relate your content with similar content. It's named after the character which is known as a 'hash'
745.
▲
by
veltas
6y ago
I don't have an answer but it's exactly the same phenomenon as when people refer to '#' as a hash-tag.
746.
▲
by
veltas
6y ago
Although the difference with airlines is nobody is pooling the wealth of the world into airlines, investors think tech is going to take over everything. Your cloud providers are being valued like they are going to either run the world at so
747.
▲
by
veltas
6y ago
In my opinion, this is a valid alternative and not a straight deficit. Lua demands using a lot of maybe-nil values, and 90% of the usefulness of types still applies if you 'hide' this. And there is a productivity gain from not hav
748.
▲
by
veltas
6y ago
> ...it is scripting that is the best trojan horse for pushing a language into an organization. Scripting is usually mission-critical without being acknowledged as such, and many scripts are small and standalone. Look how many popular &q
749.
▲
by
veltas
6y ago
I do better work in total silence, but I often find it difficult to commit to not listening to music or a podcast to take the edge off.
750.
▲
by
veltas
6y ago
>I feel for the people who are impacted by this but they voted for this time and time again. Not sure that everyone impacted 'voted for this', or that even the majority had an opportunity to vote on this issue specifically.
More ›