lacker

12 ms·

121.
Show HN: Acorn, a theorem prover with built-in AI(acornprover.org)
4 points by lacker 2y ago|0 comments
122.
by lacker 2y ago
They claim that "Caltrain is running its service on 100% renewable energy", but they are connected to the same grid as everyone else. It doesn't really make sense to say, half of our electricity is green, so customer X is ren
123.
by lacker 2y ago
Yeah, I have tried it out, and that's why I am confident that 11-year-olds are happily sending each other every sort of bad thing that exists on the internet! I can tell my own kid, hey it's really inappropriate to send out thin
124.
by lacker 2y ago
Most "school bans" that I have seen so far are actually things like, "A teacher-enforced official policy of no using phones during class." In other words, usually the same as the status quo, because what teacher says, &q
125.
by lacker 2y ago
This specific target being discussed was 5% of all headcount, not just new hires. You shouldn't think of all firing as a "mistaken hire". Sometimes you hire someone, and they work effectively for years, and then they kind of
126.
by lacker 2y ago
The numbers are discussed by upper engineering management. They might change over time depending on the situation the company is in. Think of a hypothetical organization with 10,000 software engineers. You're the head of engineering. Y
127.
by lacker 2y ago
As a parent of an 11-year-old, messaging is the hardest thing to handle. If you allow kids to message their friends, their friends will send all sorts of inappropriate content, exposing them to essentially everything bad on the internet. If
128.
by lacker 2y ago
It's a curious way to differentiate between the open source and paid versions, but I guess you have to pick something. The 72 hour thing is new with 3.0, right? What were the main differences in the 2.0 version between open source and
129.
by lacker 2y ago
When I was an engineering manager there, engineering leadership described performance reviews as, in a large well run engineering organization, you'll probably be firing 5-10% of your employees every year for low performance. (Well, &q
130.
by lacker 2y ago
I took no Inland Empire but I did love Encyclopedia. Guess I'll have to give it another run....
131.
by lacker 2y ago
Even an index fund has some human-curated criteria for what to include, though, right? The S&P 500 isn't open to just anyone. So it seems totally legitimate to have it be not completely algorithmic. If there were an "Open 500&
132.
by lacker 2y ago
Starliner just looks like a complete waste of money at this point. Non-reusable rockets are a technological dead end. It would be great if someone else could compete with SpaceX, but it doesn't look like Boeing is even trying.
133.
by lacker 2y ago
I'm curious what people use Mathematica for. I know some people who use it academically. Does anyone use it in a non-academic professional context? I'd be interested to hear from anyone who does, what they are using it for.
134.
by lacker 2y ago
I have tried those, but they seemed like they were just using standard VS Code UI elements. You have text input boxes, decorations of existing text, and additional panels. I guess Cursor is modifying the UI more than the text decoration met
135.
by lacker 2y ago
After doing some VS Code extension development, I don't really understand what this could enable that isn't already possible. You can run arbitrary code on the client side from a VS Code extension, you can run a full web applicati
136.
by lacker 2y ago
Hey, that makes a lot of sense. There's a lot of crows who come to the bird feeder in my backyard. I would just have to figure out how to easily make a food dispenser, and what sort of touch screen a crow can activate....
137.
by lacker 2y ago
You have to use on-location tests. Do your best to be fair and get a true evaluation of the candidate's skills. It's not perfect but the alternatives are worse. The other thing you have to do is that you have to be willing to fire
138.
by lacker 2y ago
Employers need to wake up to this in hiring, too. You can get a 4.0 with a degree in computer science from a top school, and still not be able to program at all. Some organizations still hire software engineers just based on resume and a
139.
by lacker 2y ago
Ideally the data would just be openly shared with the parents, and they could see the provided analysis, do a separate analysis themselves, use open source tools, or have a separate company do the analysis. Then it's just up to the par
140.
by lacker 2y ago
I think sending back the decoder-only transformer plus the one sentence "try this on the whole internet to pass the turing test" should count as sending back less information than sending back the whole encoder-decoder transformer
141.
by lacker 2y ago
I like Rust but at the same time I agree with the points here. These things are indeed problems with Rust. Nevertheless, C++ has even worse problems. When your alternative is using C++, that's the time to consider Rust.
142.
by lacker 2y ago
I have a very high income and I still can’t afford a home. I can’t even imagine how terrible my life would be if I took risks. Forget the PG essay. Doesn't it seem like there's something wrong here, something you're missing
143.
by lacker 2y ago
Indeed, six years later, the AlphaZero algorithm is not the best performing algorithm for chess. LCZero (uses AlphaZero algorithm) won some TCECs after it came out but for the past few years Stockfish (does not use AlphaZero algorithm) has
144.
by lacker 2y ago
It's easy to have missed this part of the story in all the chaos, but from the NYTimes in March: Ms. Murati wrote a private memo to Mr. Altman raising questions about his management and also shared her concerns with the board. That mo
145.
by lacker 2y ago
Probably not. Do they really believe they are going to knock OpenAI out of business, when the OpenAI models are better? Instead I think they are going after the "Android model". Recognize they might not be able to dethrone the lea
146.
by lacker 2y ago
I'm torn because as a user, the best license is a pure open source license. But I know that many companies that start out offering an open source product aren't going to be able to make that work. It's really frustrating when
147.
by lacker 2y ago
Yeah, the data managed by cupy generally stays on the GPU and you can control when you get it out pretty straightforwardly. It’s great if most of your work happens in a small number of standard operations. Like matrix operations or Fourier
148.
by lacker 2y ago
It's basically all anecdotal, like most management principles. But there does seem to be a number of managers across the tech industry concluding that in-person work is more effective, that the covid period of remote work was an experi
149.
by lacker 2y ago
How does an article about costs in the space industry discuss Boeing, Northrop Grumman, Aerojet Rocketdyne, and Lockheed Martin, but never mention SpaceX?
150.
by lacker 2y ago
I thought it was GWS that originally started as a fork of boa.

More ›