Epa095

16 ms·

331.
by Epa095 2y ago
He might be thinking about the SLDNF resolution happening. But yes, you can implement any prover in prolog. This distinction is discussed a bit here: https://www.metalevel.at/prolog/theoremproving
332.
by Epa095 2y ago
The post in OP has the following hyphothesis: > Why Prolog? [...] Due to it's declarative nature it might be a bit easier for LLMs to generate code, because LLM doesn't need to generate precise control flow. This is an interest
333.
by Epa095 2y ago
Your wording, both the use of "paying their fair share" and "get them to spend more on NATO"-part made it sounds like countries actually pay money into NATO. Trump also makes it sound like that, and he certainly gave the
334.
by Epa095 2y ago
For the HN crown I think you should consider skilled work-visa if you want to move, and I don't think it's unrealistic. You will probably need a job wherever you move anyway, this just means you need to find that job before you mo
335.
by Epa095 2y ago
You forgot work visa completely. Many places have a skilled-worker visa, where if you have higher education AND a job offer you get a work visa.
336.
by Epa095 2y ago
You probably know this, but just in case: NATO is not a club you pay 2% in to for protection. The 2% is the required spending on YOUR OWN defence. In practice this benefits USA as a major weapon producer, at least it has until now. I have a
337.
by Epa095 2y ago
I think this post from another thread is a good answer to this. https://news.ycombinator.com/item?id=41930275#41931671 Tldr:Seeing shock content is like eating a spoon of salt. The mind has defence mechanisms for it. You co
338.
by Epa095 2y ago
But are you not expected to work those 3 months? 4 months of pay without work is decent, but not amazing.
339.
by Epa095 2y ago
> But I do agree with leap seconds: it's absolute trivia, not a useful thing for a programmer to know. Maybe, all I know is that it was relevant for me during the first years in industry. If you work with timeseries which comes from
340.
by Epa095 2y ago
And Cody! Which has a pretty decent free tier.
341.
by Epa095 2y ago
* get to handle it.
342.
by Epa095 2y ago
This is really cool, wish there were something like it for Azure as well.
343.
by Epa095 2y ago
Friendly reminder that things ended up quite shit for the actuall ludites, and the advantages only 'trickled down' after a generation or two. So I will keep being worried for everyone who works now, and their kids.
344.
by Epa095 2y ago
The argument is not that the billionaires are bad people, but that the amasment of wealth is bad. It's bad because it concentrates power, causes social unrest, and because the money can be better spent other places. The rest of your ar
345.
by Epa095 2y ago
Governments can own stocks just fine, just look at sovereign wealth funds around the world. But a more 'automatic' solution where the government sells off the stocks amortized over the year is also fine, and gives more predictabil
346.
by Epa095 2y ago
He sais that it should be possible to pay the tax with the stocks themselves.
347.
by Epa095 2y ago
The strongest argument against against wealth tax, at least for smaller countries, is that it also targets the most mobile (and quite frankly, whiny) people. It's just easier to increase taxes on the middle class a few points than intr
348.
by Epa095 2y ago
How does the domination of a few big game engines(unity/unreal) change this? I get the impression that they handle more and more of the actual compute intensive stuff, and 'nobody' writes their own engines anymore? So then th
349.
by Epa095 2y ago
I invite you to think about how your argument would look like if you actually wrote it out to completeness. It would probably include one or more of the following assumptions: - Infinite(or unlimited amount) of both homogeneous employeers a
350.
by Epa095 2y ago
Economy is a prime example of a field where a bit of knowledge is worse than no knowledge, and nothing is more deranged than someone who has completed Econ 101, and thinking they now understand the world.
351.
by Epa095 2y ago
Without advocating ideas die with the first person getting them. It's obvious that we both need to act, and encourage others to act as well. We have no reason to belive OP don't act, and advocating for acting is a noble act (as it
352.
by Epa095 2y ago
So you think we can always just tax them more, and they would accept that? That's equally absurd. It's obvious that we can tax them a bit, but if we tax them too much they use their power to stop it. That power manifests in many w
353.
by Epa095 2y ago
Yeah, don't try to convince others, go fix global climate change by yourself. Are you lazy?
354.
by Epa095 2y ago
In all practical terms there is a shortage of money(and resources), since then entities you mention are powerful enough to stop the extra taxation.
355.
by Epa095 2y ago
I feel I am the first type of audience, and have no problem understanding both versions(having programmed in multiple functional languages). But when I see the bottom version I instantly understand what it does, its like I dont need my conc
356.
by Epa095 2y ago
Economy is a prime example of a field where a bit of knowledge is worse than no knowledge, and nothing is more deranged than someone who has completed Econ 101, and thinking they now understand the world:-P
357.
by Epa095 2y ago
I find it puzzling that no-one else has commented on the obvious conflict between the following quote and your call for corporate tax-breaks. > If there was one group to look to for the future of human development, it would western Europ
358.
by Epa095 2y ago
This seems to be a completely different team than arxiv, making a discussion forum on the side. And I prefer this over discussions on 'X'.
359.
by Epa095 2y ago
Not for me, but for my employer. I don't have the company credit card. I can't really go around making deals with some random company in Poland on behalf of the company (except the shitload of money I can spend in the cloud). I wo
360.
by Epa095 2y ago
Interesting choice of license, source available, but only free (as in beer) for personal use. I am all for trying to find sustainable ways to finance these kind of projects. But in practice I think the way it's now makes it unlikely th

More ›