Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
grumblenum
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
11 ms
·
91.
▲
by
grumblenum
5y ago
Gopher and Gemini are attempts at this. There are a few comfortable online communities out there when you get away from the big web properties. Unless you’re into gamification of showing how orthodox and au currant you are. Then there’s Red
92.
▲
by
grumblenum
5y ago
I like the irony of a story about the danger of social media here on HN. You know. Social media.
93.
▲
by
grumblenum
5y ago
Princeton can't buy data from aggregators? Wikipedia says they have a $26.6B endowment.
94.
▲
by
grumblenum
5y ago
I read it as "we're protecting your privacy by increasing the number of people who can monitor your activity on our browser." Presumably, the users will be well-endowed and tax-advantaged institutions who could have just boug
95.
▲
by
grumblenum
5y ago
Here I thought I was underachieving because I was reading HN comments instead of doing anything productive. Now I see that the world, or at least subsets of the population I’m allowed to blame for my problems, has wronged me, which appeals
96.
▲
by
grumblenum
5y ago
What is the name of the voting system where the tabulators decide my vote for me and I get a sticker for showing up?
97.
▲
by
grumblenum
5y ago
So voters almost got what they wanted and not what established interests thought they should be allowed to have? Frightening.
98.
▲
by
grumblenum
5y ago
Almost all of Mozilla's revenue is from Google. I don't see how bad incentives could possibly be avoided, assuming Mitchell Baker wishes to keep herself in the lifestyle to which she has become accustomed. I do believe they engage
99.
▲
by
grumblenum
5y ago
* zero-cost abstractions * move semantics * guaranteed memory safety * threads without data races * trait-based generics * pattern matching * type inference * minimal runtime * efficient C bindings
100.
▲
by
grumblenum
5y ago
That's fascinating. Can you direct me to any of their papers or public work formally verifying a rust codebase? I haven't seen that before.
101.
▲
by
grumblenum
5y ago
The editorial board dictates tone and content of the paper, not just editorial pieces. They determine narratives long in advance and news articles must conform to it. You should not believe that nobody at the NYT considered the effect this
102.
▲
by
grumblenum
5y ago
So the NYT editorial board greenlit a hit piece against Google? Well, that's gratitude for you. I hope others learn from this. The reward for bowing to such "prestigious" institutions is getting whipped for not bowing low eno
103.
▲
by
grumblenum
5y ago
70% of CVEs (bugs detected) being memory related does not mean that 70% of all software bugs are memory errors (bugs that exist). See survivors bias. Memory errors can be detected with the assistance of programs, so they are much easier to
104.
▲
by
grumblenum
5y ago
Not breaking APIs is pretty considerate of your users.
105.
▲
by
grumblenum
5y ago
The stated goal of the grant program is to rewrite stable software many people use in Rust with the implied context being that C can’t be trusted, but Rust can be. I’m surprised that a language with no specified guarantees is favored over w
106.
▲
by
grumblenum
5y ago
Right, and at one point the whole team were all or mostly Mozilla employees (which, financially, is a client company of Google). So the core team is a group of Mozilla alumni and their friends. Unlike, say, C++ which is under diverse commit
107.
▲
by
grumblenum
5y ago
A verified compiler is not panacea, but rust is because of unsubstantiated claims of its marketing professionals? This is total nonsense.
108.
▲
by
grumblenum
5y ago
They just employ the people who do? And, until recently, the paid language evangelists?
109.
▲
by
grumblenum
5y ago
Using a mode checker on existing software is unproductive, but rewriting existing, working software that you have to shoehorn into a shape rustc (which had a miscompilation bug until 1.52.1, has no specifications or alternative implementati
110.
▲
by
grumblenum
5y ago
It’s just another of many testimonials of projects that will not be named at companies that will not be disclosed with implausible circumstances or unlikely details here to convince you that you had better switch your tech stack to this bra
111.
▲
by
grumblenum
5y ago
You would have to sanitize your entire dependency tree for unsafe invocations and also demonstrate that valid rust programs do, in fact, guarantee memory safety, which might be invalidated by previous or future compiler versions. That also
112.
▲
by
grumblenum
5y ago
Well, Google probably doesn’t control all the C++ standards committees. I don’t know how much control they have over commit rights to the Rust compiler. Given Mozilla’s client-patron relationship with Google, then I’d guess it’s possible. B
113.
▲
by
grumblenum
5y ago
I don’t understand this at all. MISRA C, model checkers and theorem provers all exist to provide some of these guarantees that are, to my knowledge, widely recognized in applications where “safety” actually entails life safety. F* is a very
114.
▲
by
grumblenum
5y ago
Since you asked, I'll make it explicit. My pile of innuendo alleges that the FBI is directly responsible or at least complicit for the Colonial Pipeline and JBM hacks, and the executive order is likely written by lobbyists who sell or
115.
▲
by
grumblenum
5y ago
If you consider GitHub to be a reasonable metric of industry practice in general, then judging by these charts [ https://madnight.github.io/githut/#/pull_requests/2021/1 ], I would say that going mainstrea
116.
▲
by
grumblenum
5y ago
https://www.fbijobs.gov/
117.
▲
by
grumblenum
5y ago
That appears to be for consumers of federal government web services, which I would not expect to prevent large breaches. The service itself would be a massive single point of failure, and I'm not sure how it would prove a contractor ha
118.
▲
by
grumblenum
5y ago
How fortunate that an executive order was waiting in the wings, which requires federal contractors to purchase an authentication service and guarantee they use the underspecified ZTA (which will probably mean pay for AWS or Azure services t
119.
▲
by
grumblenum
5y ago
OpenSCAD exists, is perfectly usable, is very cool, and stores CAD models 'as code' which is git-friendly. Professionals don't use it. I like it, but I would never standardize on it at work. I'm sure a more point-and-cli
120.
▲
by
grumblenum
5y ago
>imminent mass shooting may prompt interdiction Pulse night club comes to mind as a counterpoint. A lot of people died to keep an informant happy. I think a more cynical outlook on law enforcement is appropriate.
More ›