2
points
runeks
Joined 6,376 karma
https://cryptomarketdepth.com/
Twitter: @runeksvendsen
GitHub: https://github.com/runeksvendsen
- I was going to say that. That definitely would be a solution (and ought to be the way it works).
- > As the verification process itself becomes automated, the challenge will move to correctly defining the specification: that is, how do you know that the properties that were proved are actually the properties that you cared about? Reading and writing such formal specifications still requires expertise and careful thought. But writing the spec is vastly easier and quicker than writing the proof by hand, so this is progress.
How big is the effort of writing a specification for an application versus implementing the application in the traditional way? Can someone with more knowledge chime in here please?
- > US-centric thinking about invoicing, which makes invoicing unusable (I issue invoices only after a successful payment, because I owe tax on all invoices including unpaid)
This sounds strange. I don't think there's anything US-centric about considering an invoice to be a payment request — which makes issuing them after payment nonsensical.
- > Talking about “thousands of tonnes” of nuclear waste is comically misleading when you realise how tiny the volume is.
What is the actual volume?
- Related: https://www.hackerneue.com/item?id=46012710 (from 2024)
> hbm chips are now emerging as another bottleneck in the development of those models. Both sk Hynix and Micron, an American chipmaker, have already pre-sold most of their hbm production for next year. Both are pouring billions of dollars into expanding capacity, but that will take time. Meanwhile Samsung, which manufactures 35% of the world’s hbm chips, has been plagued by production issues and reportedly plans to cut its output of the chips next year by a tenth.
- 7 points
- I think it would be super interesting to see how the LLM handles extending/modifying the code it has written. Ie. adding/removing features, in order to simulate the life cycle of a normal software project. After all, LLM-produced code would only be of limited use if it’s worse at adding new features than humans are.
As I understand, this would require somehow “saving the state” of the LLM, as it exists after the last prompt — since I don’t think the LLM can arrive at the same state by just being fed the code it has written.
- > I only interacted with the agent by telling it to implement a thing and write tests for it, and I only really reviewed the tests.
Did you also review the code that runs the tests?
- 52 points
- > Excessive consumption isn't really the main problem with billionaires. It's the money they don't spend on consumption which is worst.
Which consumables do you think billionaires should spend their money on?
And how would this improve the world?
- > Other than criminal enforcement, I'm not sure how you'd meaningfully change the incentives for someone who is willing to throw a £5 electrical device in the gutter because they can't be bothered to take it home, recharge it and refill it with £0.20 worth of liquid.
Here in Denmark we are forced to pay a small deposit when buying bottles/cans of beverages, which is returned (in cash) when you return the bottle. The consequence is that you find zero beverage bottles lying around, since they’re collected and redeemed.
If we put a, say, similar $10 deposit on these vapes, I think we’d see the same effect here. One problem is that they’re smaller, so they’re harder to find for collectors.
- One big problem with mutation is that it makes it too easy to violate many good design principles, e.g. modularity, encapsulation and separation of concerns.
Because any piece of code that holds a reference to a mutable variable is able to, at a distance, modify the behavior of a piece of code that uses this mutable variable.
Conversely, a piece of code that only uses immutable variables, and takes as argument the values that may need to vary between executions, is isolated against having its behavior changed at a distance at any time.
- 2 points
- What the hell?
The EU is spending funds, given to it by member states, to further its own interests? This stinks.
- Thank you for elaborating.
But this assumes that you consume the power as it's produced, right? Otherwise you need a battery as well.
I imagine, for example, that the power produced during weekdays while at work would go mostly unused.
- > If it saves 10% per month on my bill (7 euro), this would earn itself back within 3 years.
Where are you getting these figures from? Is it realistic to expect it to cover 5-10% of your usage?
- Depends: when are you planning to retire?
I agree, but the only worth candidate I see is the medical industry.
And given that drug development is so expensive because of government-mandated trials, I think it makes sense for the government to also provide a helping hand here — to counterweight the (completely sensible) cost increase due to the drug trial system.