[1] https://en.wikipedia.org/wiki/United_States_bombing_of_the_C...
297 karma · joined August 20, 2023
[1] https://en.wikipedia.org/wiki/United_States_bombing_of_the_C...
> By induction...
Well played.
Don't get me wrong, overall I really like having AI in my workflow and have gotten many benefits. But even when I ask it to check its own work by writing test cases to prove that properties A, B and C hold, I just end up with thousands more lines of unit and integration tests that then take even more time to analyze -- like, what exactly is being tested here?, are the properties these tests purport to prove even the properties that I care about and asked the agent for in the first place, etc.
I have tried (with at least modest success) to use a second or third agent to review the work of the original coding agent(s), but my general finding has been that there is no substitute for actual human understanding from a legitimate domain expert.
Part of my work involves silicon design, which requires a lot of precision and complex timing issues, and I'll add that the best AI success I've had in those cases is a test-first approach (TDD), where I hand write a boatload of testbenches (that's what we call functional tests in chip design land), then coach my various agents to write the Verilog until my `make test` runs with no errors.
I know it sounds silly but not having a website is probably the future of the web.
"None of these trade provisions empowers Mr. Trump to impose tariffs on all imports from all countries based on an arbitrary formula. Section 122 lets a President impose tariffs of up to 15% in response to trade deficits, but Congress must approve them after 150 days. Someone should sue to block his abuse of power."
Source: https://www.wsj.com/opinion/donald-trump-tariffs-disturbance... (https://archive.ph/l2272)
My thought relevant to HN is that either way this is likely to decimate venture capital and startups, at least in the short run. Venture capital funds come from limited partners like pensions and endowments, and the professionals I know are all shifting away from growth stocks and into value, international and bonds. VC is already in a drought (except for AI) and now my guess is that it's going to get worse. So many VCs I know have started only in the last 15 years, so they have never seen a real recession like 2009 while working in venture.
You have one contingent that is anti-Trump and will vote for any alternative to Trump, even a senile old man with dementia. You have another contingent that is against Progressivism/leftism and will vote for anything that opposes this, up to and including voting for Trump despite strongly disliking him.
The root problem is that social media amplifies extreme voices, so you get very extreme rhetoric coming out of both sides. This scares people and makes them feel like their primary goal must be to vote against the scary thing.
Good choice! So many people doing that these days.
(Maybe "nothing special" is a little bit strong, but as a chip designer I've never seen the actual NVIDIA chips as all that much of a moat. What makes it hard to find alternatives to NVIDIA is their driver and CUDA stack.)
Curious to hear others' opinions on this.
Maybe it will be defused, though? No way to know.
There are no winners from an exchange like this. Trump and Vance come across as bullies. Zelenskyy comes across as needlessly argumentative. Trump and Zelenskyy both come across as quick to anger. Not a good look for any of them.
[1] https://thehill.com/video-clips/5168859-watch-live-donald-tr...
You and the New York Times seem to have misunderstood this important point.
Zero evidence that the above statement is true, and weak evidence (authors' claims) that it is false. Have you read their papers even?
https://arxiv.org/html/2412.19437v1#abstract https://arxiv.org/pdf/2501.12948