skysight-inc/HackerNews huggingface dataset:
> The language knows whether a_complicated_computation_that_yields_a_kind(x) is available at compile time or not, and the IDE can tell the programmer.

But that routine could always return left for the values of x passed to qux. Static analysis cannot possibly know that, but a JIT will (although not enough to elide the call to that routine altogether, just the branch).

> but actually we can infer at compile time and get the best of both worlds.

Type inference does not require annotation, but it does require a guarantee that the type is statically inferrable. E.g. when the Scala compiler fails to infer a type it raises an error. But a JS JIT can devirtualize even when the type is not statically inferrable. The kind of compiler I think you're envisioning would still need to choose between the zero-cost abstraction philosophy and fail if it cannot infer and between the zero-cost use philosophy, and not fail but rather hope to specialize based on runtime information. But maybe you're advocating something like optional typing for compiler optimization. That's certainly doable, and I would argue that it's already done, to some extent, in Java, but only available to JDK code (there are @DontInline and @ForceInline annotations). I think Kotlin wants to do something like that, too, with their "contracts", but I couldn't tell if they're sound or not (i.e. whether the compiler allows you to lie to it in a way that would force an incorrect optimization).

(Just to be clear, I am not talking about type inferences that are meant to aid the programmer, but those that are meant to aid the compiler.)

> And if the results aren't integrated into the language then it's hard to be confident that the aspects we care about will be maintained as the codebase evolves.

Well, now you're saying you prefer the zero-cost abstraction philosophy of having as much control as possible on technical compilation aspects in the programming language. That's fine, of course, but I think this is far from the universal preference. I mean, I like this power in C++, but it clearly has the major costs that I mentioned in my original post, and it would continue to have them even with better inference. Sometimes we like our accidental complexity, but sometimes we don't.

> and even then, it's not always as easy as it should be to understand the performance characteristics of assembly language on modern processors

Yeah... but are you implying that if CPUs were predictable writing formal deductive proofs for code generation would be easy???? They're somewhere between a satisfying puzzle and hair-pulling frustration in the best of circumstances.
The title says 'fix' it isn't apparent to me where the line between fix and cure lies. I assume somewhere between stopping further damage and starting from a 'better' base, where precisely I don't know, thus my question.
> Interesting thing about electricity bills in Ireland is that we pay a Public Service Obligation Levy on every bill.

Even more interesting would be if that subsidy wasn't calculated as cost of "renewable" energy to make it appear artificially cheaper.
Yeah, the trope of Ancient Aliens inhibiting the emergence of space-faring civilizations is rather common.
The great thing about wind turbines (and solar panels) is that when/if they are decommissioned, the impact to the original landscape is minimal.

I for one am happy to look out to wind turbines - and lets not forget that many of the most productive wind farms are now out to sea.
Intel has been proven unreliable and untrustorthy time and time again, people have been complaining about how awful and unscalable x86 is since the 90s.

The future is more likely ARM- I know a few companies are experimenting with moving their internal servers to ARM, and AWS started offering that platform a few months ago.

But I'm not sure how long this takes, people have also been wrongly predicting the death of x86 since the 90s.
Is there an End User License Agreement that users agree to before using these chips? If it is anything like software EULA's, then Intel is likely protected from lawsuits for defects.
I’m hapa and I’ve noticed that boba shops are basically sober bars for Asian people. Whenever I go back home I get boba with my old friends (who don’t drink) and inevitably see someone from my high school class. I’m in my mid 20s btw.
... sure, but not a test you pay for yourself.
I'm very happy with downstream patches. They come 90% from Redhat, rarely from Debian or Suse. The Redhat patches are usually 100x better than other contributors patches. Debian is usually the worst.

When I maintained ~250 cygwin packages I acted as downstream also, and had to deal with upstream maintainers also. Usually a horror, maybe because I came from cygwin which was a crazy hack. Only postgresql said "such a nice port". For perl, gcc, python,... you were just a crazy one to be ignored.
Money also requires fungibility, which art certainly is not. Typically money is also supposed to be a unit of account, which both requires fungibility and universality, something art doesn’t have. Nobody values their house in paintings, that’s ridiculous, instead the house and the art gallery are measured in the local currency.

I think realistically modern art is more of an investment vehicle than a currency.
>But then I only read articles on Medium because they're picked up by an aggregator (HN) (...) I never head over to Medium to find stuff to read(...)

You don't, but millions do -- and that's people post their stuff there.
I am not serious. Often in these cases I would use printf debugging to know where the errors came.

(I am still a Rust beginner).
Just today I thought how much I appreciate that exact setup and that I should donate considerable money to the project.

So hereby I pledge that I will send 100 dollars this weekend. This is not even 2 dollars per months that this project provided me with a perfect portable media player setup.

Who's with me?
This makes me think of a solution to climate change. I.E. if 3.5% of the world population starts living their life in a deliberately sustainable manner, we reach a tipping point and the rest of the world will be more accepting of legislation and changes to their lifestyle. I know within my circle of acquaintances we are at 3.5%, but maybe around 2%, but growing. I do make an attempt, but I could do more to live sustainably. Articles like this make a strong argument for joining the cause.
>But for a local iTunes library you need IT admin skills to manage it...

If we're talking actual files, it's just basic file management skills, and maybe some simple knowledge of ripping (assuming we're not taking the EAC lossless route). Almost everyone in my office (which are mainly non-tech people) have the former.

>...how are people going to keep that over 30 years?

It's way more likely someone's going to burgle my remaining CDs than they are to destroy every instance of my virtual collection.
> your resume may also be considered public info if you have sent it out to recruiters or public job posting sites.

No, absolutely not.
Some variant of this sentence seems to be in every article about how tech is dangerous.

Deliberate and effective manipulation of addictive behavior is a real thing tech companies do, but IMO this "dopamine hit" language is so popular because 1. the word dopamine is sciencey and sounds good, plus it has "dope" in there, like the actual drug, and 2. the word hit also reminds people of hard drugs.
May be a good incentive to introduce term limits then. Max of 2 terms for any political role, in the same way as the US presidency.

I suspect a Congress that was completely reshuffled every 8 years wouldn't have anywhere near these issues.
Amd should probably keep production of whatever they think will sell +20% to account for whatever new Intel screwup is revealed.
I generally like throwing on di.fm while working, but have started to really dislike commercial breaks.
Run time check, just like what happens here, I suppose.
>if you manager to somehow self-host your videos...

Wait, we've been self-hosting our own videos for years. It's not exactly rocket science. YouTube is convenient, but what it is doing from a technical standpoint isn't that difficult to do on your own server.
Consumers pay for extra power generating capacity that they have no use for and would prefer not to pay for (if there was any chance they would, it wouldn't be forced onto them).

"No CO2 is produced" doesn't mean anything to them.
It does not need to be so complicated, with extra money earned on a Sunday.

Suppose you earn 100€ per month.

Taxes can be flat (say, 10%), in which case no matter how much you earned so far you get 90€

Taxes can be progressive (say, 10% up to 300€, then 20%) and you earn

Jan 90€ (YTD 100€ before taxes)

Feb 90€ (YTD 200€ before taxes)

Mar 90€ (YTD 300€ before taxes <-- this is the top of the 1st level)

Then in April you get 100€ before taxes, which means 400€ YTD. The first 300€ were at 10%, this April 100€ is at 20%. So you get only 80€.

There can be different ways to calculate this, this is just the general idea.

The important point is that you still get more money than you had before. It is not possible to loose money (= have the value decrease) just because you changed the level.

You just get less and less money per month (in steps) as you progress during the year.

I would be delighted to be in the highest step, it means I earn a lot of money.

Finally, the only (extreme) problem would be if you were taxed 100% starting from some amount of accumulated money. It would mean that from that point on you work for free.
Outsourcing the "we don't negotiate with terrorists" problem...
Why Are Cryptographers Being Denied Entry into the US?
It does make it less fragile, by putting the spinal nerves back into the protective bones of the spine. We have a shortage of long term data, but studies on kids out to ten years show higher rates of ambulation, and better quality of ambulation.
Ireland has ~10GW generation capacity (mostly coal & extra dirty peat).

At around $1/W for new solar and wind generation, the Apple back taxes owned to Ireland can convert the entire Island to renewable energy. It will be an asset that generates income for 30 years.

(yes, ok, more storage needed, and interconnect to the UK, and keep some gas as backup ..)
I think you're being overly pedantic and ultimately unhelpful and not contributing to the discussion.

When I install software I am implicitly trusting it, whether that software is trustworthy or not. If it is exploitable that doesn't mean I didn't trust the software. On my personal computer, the expectation is that only the software I have implicitly trusted will be running. If I install something that isn't trustworthy but trust it anyway it's game over. If it's exploited, that's a different issue to trusting it.

Shared VMs are a totally different ball game. All of a sudden I am sharing resources with a potentially bad actor.whethrt or not I trust them is kind of indifferent, I don't get to choose who I colocate with, and ultimately that's the difference.
Exploiting Common Serverless Security Flaws in AWS
Banning religious schools is often discussed here in Sweden. It has nothing to do with discrimination. The question is if religion has any right to exist in education that society pay for, and if religious element during education is compatible with the many regulations that cover the education sector.

Education is not some kind of of enterprise free from regulations. The consequences of bad education is similar to bad health care. As I see it, let schools worry about education, political system deal with politics, legal system deal with enforcing the law, health system deal with health issues, and religious communities deal with religion. Trying to mix them together will only cause intolerance and tensions in society.
I have been buying CDs lately but only because of market irrationalities - bizzarely at times CD + autoripped MP3s are cheaper than just downloading. I can only assume this bizzare inefficency is related to someone's bonuses related to disc sale metrics or accounting and logistics which encourage reducing unsold stock over the effectively infinite downloads.
The absolute impunity with which large corporations operate never ceases to amaze me.

Let say that I, as an individual, report my car stolen when I’ve actually lent it to someone, and then I do it again, and again, and dozens more times, resulting in false arrests and jail time for law-abiding citizens.

I’m pretty sure this couldn’t happen. I’d end up in jail myself for filing false police reports before I got anywhere close to double digits. But when it’s a giant company, they make a statement about how it’s extremely rare and continue on with business as usual.

It’s often said that “corporations are people,” legally speaking. This is clearly wrong. Corporations occupy a much more privileged position than people in the legal world!
Proofs (and Refutations) Using Z3 (2018)
i am praying the duffel secret doesn't get out, because it'll lead to a crackdown.

my "carry on" sized duffel is verifiably 3-5 inches larger than the maximum allowed dimensions, but i bring it on without a problem every time. i can't stand the idea of dragging some big and clunky thing -- which will surely break at the wheels eventually -- when i can just sling my bag and go.
Does Apple still ignore CD Text if you import a CD into iTunes? Probably.
Could have fooled me. I'm standing at a shop front right now to get out from the wind & rain.

But it's true, we're not the best example of clean power relative to nearby countries. That said, wind is going ok.
Do you have any links to check those out? Thanks!
Can't confirm. They always recommend me new stuff, never stuff I've already seen. And I watch a lot of YouTube (too much...)
I'm not even sure code execution is strictly necessary for this style of attacks.

An attacker could carefully craft network packets to force the control flow of existing software to manipulate the CPU state. They could and then use the timing differences in network packets to read data out.

Would be painfully slow, but theoretically possible.
I wouldn’t, but given the political power of the home owning class I really fear what corrective measures the government would take to stop a correction.
I've seen this movie. I kinda like New York though, and LA is indefensible; maybe we can use San Francisco instead.

"You can't meet the Duke! Are you crazy? Nobody gets to meet the Duke."
An annoying term that has no meaning and is completely pointless and would have no bearing in a court of law at all and everyone knows what you are saying is "I"
YAY use webdistortion.com instead. NOT.
It's based on wheel torque, not grip or anything. People have bypassed the check by wedging an orange in one of the gaps in the steering wheel (so its weight applies a constant torque to the wheel).

(This based on /r/teslamotors so it could be out of date or wrong. >.> )
do you also bring a "personal item"? for me the backpack is my personal item, so my carry on needs to be something convenient to carry while already wearing a backpack.
Chrome also has CSS media rendering debug capabilities. I couldn't find these on FF.
> I'm curious what your domain is and what tech you've been using?

It’s good to see these replies as everybody’s experience is different and I learn by asking.

Perhaps NFS has improved a lot; I started using it in the 1980s after using client/server filesystems like IFS and Alpine at parc and the per-file protocols we had at mit for the pod-10s and Lispms. With NFS locking and such were painful because it tried hard to look no different from a local filesystem, but couldn’t be. Network mounted homedirs were common to me from the early 80s but under NFS were too painful.

I imagine things have improved over the last couple of decades!

The environments I’ve used more recently have used a combination of replication (e.g. Dropbox), moved the computation to the data (“cloud” though for me typically this has meant in-house someplace rather than a third party or shared machine) or hybrid (e.g. IMAP).

Datasets tend not to be super huge — < 50 TB — so other approaches are used at the back end.
I feel I could make a sufficient replica with free open source tools in a matter of days, maybe hours.
Well seeing as you can get a ticket for going at or under the speed limit in some major cities because it is a hazard that might be interesting.
Totally understand your pain :| They've recently added some very hard to find prog albums there, like Planet X, Andy West, Liquid Tension Experiment, Mahavishnu Orchestra, etc, but that obviously depends on what you like.

I dislike renting in general, especially something so important like access to music, but the only reason I do it in this case is indeed the availability of some hard to find rarities.
I've been packaging for Debian for a decade and I ran into a lot of unfriendly upstreams that would refuse to make any change to allow packaging and I've never seen other Debian Developers treating upstream developers poorly.
He/she posted that they had "a dozen kids", could just be exaggerating a bit.
Also, I don't think it's true. It is currently windy in dublin.
No, it's not difficult to do at all. Another commenter said "if you manage to somehow self-host your videos..." Somehow manage to self-host videos? They make it sound as difficult as managing to somehow write my own web browser from scratch. Self-hosting videos is relatively easy. The benefit of youtube isn't that it can somehow host my videos.
Many new lines and extensions are being built without subsidies. Also, the private JR companies had to acquire JR’s initial capital expense debt: https://pedestrianobservations.com/2011/06/06/high-speed-rai...
Says the person posting from a web browser.
Still incredibly vulnerable to physical disasters e.g. a fire
Is California ready to ban gas-powered cars?
It sort of does when they take and or restrict your content which took time and effort to create. Time and effort creating content is certainly money.
If you are running only open source software, you may want to consider this:

https://www.raptorcs.com/
We could see a resurgence in text adventures, except this time the input would be voice based and the output would be to your headphones.

Downside to this would be people on public transport saying stuff like: "Use magic spell on trolls"
Vehicle to grid isn't required for what I'm describing; as a first step you can just allow the grid to decide when to charge the cars, which will account for ~20% of total electricity consumption.

Tesla claims their latest battery packs will be good for 1 million miles; if true, they'll be more than good enough for vehicle to grid use.

Even with today's endurance levels though, there will always be some amount of vehicle to grid transfers use that would make sense, since you can use it to shave off expensive peaks in demand. I don't know about Ireland, but in Australia that gets extremely costly:

https://www.afr.com/news/policy/climate/wholesale-power-pric...
Or you could burn them to bluray if you have a device.
This was my first thought as well. What’s the biggest risk when you’re paying the ransom? That the thief will run off with the bitcoin without providing the key. The easiest way to mitigate that risk is to either collaborate with the thieves or become the thieves.
Reading this post makes me feel like I'm living in some kind of dystopian scifi novel.
One interesting side effect of the recent Extinction Rebellion protests that stopped all traffic in large parts of London is how much more aware of the sheer volume of ICE traffic I am now, and how unbelievable it now feels that we allow it.
Out of interest - what would you say those better investments are, that we could make?
Show HN: Save a web page in a HTML file which is also a ZIP file
Imagine dwarf fortress with realistic speech...
> If you're really careful with how you do things the IP address could be argued to not be personal information

Current guidance (from the legal profession, not the HN peanut gallery) is that IPs are standalone personal data.
Clickbait title... Article is just an interview with a nyt journalist who covers the music industry. Was interested in the discussion of cd vs streaming.
Be aware of the fun with numa nodes and AMD.
https://www.reddit.com/r/Amd/comments/9ngwzf/amd_epyc_on_esx...
Blogs by Women VCs
Yep, see polystream.com
I am trying to finish writing two books and I have a commercial knowledge graph project KGcreator. I have not been totally successful as indicted by my HN history, but here are my goals for digital decluttering:

Digital Declutter

Starting April 9, 2019 ending May 8, 2019. At that point I will decide what to add back.

Cold turkey, no use of:

1. Hacker News, Twitter, Reddit, Facebook.
2. Nothing on HBO or Netflix besides movies and Bill Maher. No series!
3. No use of computer except: work on a book or KGcreator (and patent calls)
4. no watching news
5. no playing Chess
6. no watching conference talks on YouTube (missing 30 days will not hurt)

Allowed digital activities:

1. Reading physical books or Kindle all I want
2. Email, Calendar
3. Writing
4. Watching movies
5. Playing Go on iPad and iPhone
6. listening to technical podcasts, and watching college lectures on YouTube

Get exercise:

1. Gym
2. Walks
“I am actually flying into a star!”
I'm not sure about ascribing desires to 'the system', but let me do so. The system does try to keep some/many people poor and uneducated in many different ways.
If you want the most egregious examples, look at how we treat(ed?) blacks and Native Americans ... the system decreed blacks could be slaves up until one generation ago; the system decreed they would get way less legal rights up until 2 generations ago; the system decreed they would not get loans for housing up until at most one generation ago; the system currently harrasses them and puts them in prison ... many features of our school system seems designed to keep poor people uneducated.

Many times it is harder to see what is currently going on; so, if you want a more blatant current example, right now, the system is keeping undocumented immigrants poor and uneducated on purpose.
> What if we had prison cities where prisoners can live "freely" and have their own economies and stuff? Let's see how they like trying to live normal lives with other people who have no qualms about stealing and killing to get what they want, just like they may have done themselves to innocent people before they were imprisoned. Will the criminals learn to get along or will they end up killing each other?

I dunno, let's ask Australia.
I believe they made this change before the official advice was contrary to it.

Also, if you download and compile Python from python.org, isn't it also just 'python' that you get as your executable? If so arch is just following upstream, and the Python devs should follow their own advice.

Arch doesn't seem to be patching this, though you can see in the PKGBUILD that arch explicitly creates 'python3' as a link to 'python' (with a comment lamenting that this isn't done by default) :

https://git.archlinux.org/svntogit/packages.git/tree/trunk?h...
human excrement

You mean like yourself, you fucking piece of shit?
Unless it's a Sony CD... In which case, watch out for rootkits!
If they had a simple sign in/sign up/dismiss prompt I wouldn't avoid it as readily.

Instead they have "pardon the interruption" and "Let's make this official". The "pardon me" politeness doesn't fly, because they recognize it as an interruption. If they are aware, then the polite thing would be to not interrupt.

And let's not make this official.

I don't want to sign up to read an article. I don't want the clap. I don't want to vote. I don't want to share my data. I just want to view the article. Maybe half way through I might even decide that the author has nothing interesting to say. 50% chance I don't want to read the full article.
I’ve read this comment about 3 times now in this post. While I find the premise interesting perhaps you could add more color or somehow differentiate your point if you want to say the same thing multiple times.