skysight-inc/HackerNews huggingface dataset:
Why is it that 35 years after the Futamura projections were first described, when we want to produce a new compiler, we don't write an interpreter and pass it through a high quality, general partial evaluator?

Whenever the Futamura projections are described, it's always at a conceptual level, in general terms. Reading a blog post like this one, I'm always left to wonder (a) why does this not end with a link to a github implementation of a general partial evaluator and (b) why is it the case that none of the compilers I use were produced with these techniques?

There must be some set of tradeoffs preventing this approach from living up to the "compilers for free" promise, but I haven't found anyone with a real explanation. Either there must be hard challenges which make implementing a general partial evaluator very difficult, or the results that we'd get from using such a partial evaluator are poorer than what we get through other means right?

Perhaps the greatest success in this direction is PyPy. At some level the RPython toolchain is general enough that people have used it to produce JITted versions of ruby, php and a few other languages. But these are a handful of alternative implementations to existing languages, where the predominant implementation doesn't use this toolset. And PyPy's own docs note that the JIT compiler needs some amount of hinting from the interpreter; you can't just throw any interpreter (written in RPython) at it.
> Alternatively, if you dig in, and refuse to deal with that bullshit, quitting, or being dismissed for not being a team player, half-way through crunch on a shitty project is a great way to burn bridges in that industry.

I don't doubt it, and your comment supports my original point: that there is a surplus of devs willing to tolerate such conditions. If that were not so, quitting would not be near as much of a problem for one's future employment prospects, because employers would not have as many candidates to choose from in the first place.
This is exactly how our integration works, as well.
Dumb question...How does one build a network and become connected?
from what I understand, arbitration is a way to come up with a resolution if possible before taking case to court. If arbitrator decision doesn't seem just to employee then why don't they appeal for court? Who own the cost of court proceedings in such scenario, company or employee? But given the exorbitant legal fees its not is favor of employee to take this route.
Hello...article had good advice.
How does one build a network from scratch and become well connected?
Thanks!
There are advantages to controlling a dominant platform. Even if Oracle doesn't get much direct revenue from Java they can use it to block strategic moves by competitors.

While I think this lawsuit is terrible and I hope Google wins the legal case, from a moral standpoint they kind of acted like assholes back in 2005 when they decided to fragment the Java ecosystem rather than negotiating a licensing deal with Sun. So now we have real Java in multiple JDK / JRE implementations plus this weird pseudo-Java offshoot in Android. The language used by Android looks a lot like Java but it hasn't kept up with improvements in the core language and standard library, so now developers can't reliably reuse code across those platforms. That harms the software industry as a whole.
The APM of AlphaStar was about half of the professional player in this match.

Check out: https://youtu.be/cUTMhmVh1qs?t=3189
Their first-customer discounts and incentives are pretty enticing.

I live in Taiwan, where Deliveroo gives you about $3.50 off your first order, and delivery is factored into the price. A friend of mine ordered a $6 pizza that she ate half of and brought the rest of to work the next day. All told, she paid $2.50 for two lunches, and didn't even have to leave the office.

That doesn't sound better than the alternative to you?
NYT is notoriously bad and often omits and slants things.
This is deeply intellectually disingenuous and a bit masturbatory even. News isn't only events you can or cannot effect, it is context setting, value creating and signal driving.

The idea that your local culture is superior to foreign also is problematic, not in a normative way, but in that it almost certainly limits new ideas and general diversity.

The solution is more likely that information is hard to parse and more information is harder. The thing not mentioned in this that I think is the most critical part of the "change" is that historically fringe and minority ideas were kept in check because of basic principals of attention economy. If 10 people believed things, there was most often a limit as to how many those 10 would reach. Now fringe ideas can speak to MANY people, and can be dynamiclly adjusted to catch.

Previously the only real organization that had huge reach was the government and we built a Rube Goldberg machine to insure that one voice didnt dominate. Facebook, Twitter and Google are all bigger than all governments and there is no checks and balances other than one dudes whims in each case. Im all for free market, but this information delivering system is too large, too unregulated and probably for better and worse is going to deliver a deeply different world than we all grew up in. That new world seems more reactive.
Stavros' original discussion that lead him to start this:

https://www.stavros.io/posts/towards-more-collaborative-oss-...
The saying is actually "The proof of the pudding is in the eating". I don't quite understand what "the proof is in the pudding" is supposed to mean and how that relates to making a lot of pudding ^^.
When people speak of "fake news" they're generally not talking about news with factual mistakes, but often times where the fact picking mechanism is biased. You can produce a piece that is 100% factual that still omits important facts that are relevant to the story and would paint a completely different picture. Most of the sites you mentioned do that very consistently.
You are seriously underestimating the amount of money involved, and what it means to the folks that do it. My neighbor recycles trash bags full of cans at a time and nets 20-40 bucks a bag. He does this a couple of times a month. For very little effort he's making an extra hour or two worth of wages just for taking a bag into recycling. It's extremely minimal work since he does it on his way to/from work, and absolutely a non-trivial gain for him.
I recommend the song Lazuli by the band Beach House very much.

https://m.youtube.com/watch?v=Uvwl7INZykc
True, it's probably typical for a good proportion of S.Hem summer maxes to be in Australia.

The actual values aren't typical though - many temperature records being broken, bushfires in places that haven't experienced them in the past, etc.
Physical access: game over
Because you signed a contract to abide by the outcome of the arbitration proceedings (i.e., it's "binding"). If you appeal, the judge will toss it out and you'll have wasted your money.
The lack of sales tax doesn't really affect whether or not they buy considerable number of cans/bottles in OR - I just meant to say that it is _very common_ for Vancouver folks to shop for general goods after work in Portland, or drive into Portland area on the weekends. If they are saving bottles/cans it's very likely not an extra trip for them.
Is OpenVPN a safer attack surface compared to OpenSSH?
I don't disagree that most bootcamps are lower quality.

What I am instead saying is that I strongly oppose barriers to entry, that a union would implement, to keep out the highly qualified people from the top places like hack reactor.

It would not be possible for people like that to succeed if unions started throwing up barriers to entry, regardless of how good the bootcampers are.

And this applies to top tier self taught programmers too.
It seems this past week we learned that the NYT and WaPo both have pre-existing narratives they want to tell — and they are always on the lookout for facts to back up those narratives. Facts outside of the narrative are simply passed over.

I wouldn’t call this fake news, but it’s also not good journalism.

And yes, Fox News and MSNBC have been doing this for years. But this form of bias now seems to permeate everything, including formerly trusted titans like NPR and the NYT.
Like the repo mentions - this is just one switch away in systemd. But even without it, you can achieve this with namespaces and mounts.
But structured compilations of facts (taxonomies) are copyrightable. You can’t just expect cases to go as if the black letter law and case law were written as you wish they were. The courts apply the law as it has been written and interpreted previously.
> and discovered that others in his neighborhood also reported having their recycling bins rummaged through in pursuit of bottles and cans.

Yea, I'm in Oregon, and this happens to me too. Honestly, who cares? What they are "stealing" (lol) is being recycled. If this senator cared enough, he would take his bottles/cans to the store and get credit for it. The point is, he doesn't care that much, but somehow feels entitled to something he doesn't care about.
These suggested fixes look worse to me. In the first one, the "wrong" function was quite clear (special case 0, special case 1, general case) while the second one allocated memory. I'd call that a code smell!
Can Blockchain smart contracts be powered by machine learning?
I too stay away from mainstream reporting that's always filled with propaganda. Are there any alternative source of genuine news? So far I haven't found any.
Dunno about the parent, but I have the same issue and none of these things have fixed it.
I mean 'your repos' typically are a superset of what's available in your distro's repos so it's fairly rare for someone to complain that software isn't available.
We (Northern Rivers) haven't had the extremes, but weeks of above-average temps on top of drought have made it dryer here than I've ever seen. The paddocks look more like Vic than the subtropics. My local creek has dried up for the first time anyone here knows of. Potable water tanks are near empty.
"And who’s moving in right now to pick through the scraps? Hedge funds. They’ve destroyed several papers, and are working their way through some biggies like the Denver Post."

Uh, wat? Am I mistaken, or does that not make sense? Since when are hedge funds involved in corporate plundering? I think he's getting "hedge fund" confused with private equity and venture capital, no?

That being said, is it that the venture capital firms are picking through the scraps or that these web media companies are not grown organically, which is why we're seeing massive layoffs. They operate mostly on venture capital and haven't been making a profit ... at least not directly; who knows what stories have been generated for the sake of some other business dealings elsewhere; a sort of accounting trick where losses are incurred in one area for the sake of profit in another area.

Conspiratorial? Yeah, but not unlikely.

EDIT: To add on to this, lately these brands have been tarnished, so perhaps one could speculate that those wielding the venture capital are downsizing to work on new brands going into the 2020 election season; brands not tainted by a loss of trust.
Google, proving they are evil daily.
Chip Variation Issues Widen and Deepen
You have to subscribe and then unsubscribe manually. Apparently the Mac App Store version only offers yearly subscriptions, but the iOS version still offers monthly options so you can use your phone if you personally don’t want to pay through Microsoft’s store
A saw a woman from Microsoft’s MAC Business Unit give a presentation where she stated that most new Office features appear in the Mac version first as a test bed before they’re rolled out to Athens Windows side.
Book links are affiliate links (tag=inspiredalgor-20)
There was a Canadian sentenced to death in China recently

It took me ALL DAY before it clicked in my head that this wasnt either of the Canadian diplomats recently arrested

I looked around and nobody seemed to notice this

All the outlets and discussions were fixed around an escalation in the trade war, and this convicted drug dealer had nothing to do with that.

It was like how can I point that out while still disagreeing with a Chinese municipal level capital punishment. Damn, people are going to think I’m making excuses for The China. This whole thing is built to ostracize thought.
It doesn't if users are working around it.
That first case is hideous (hope Linus agreed with me!) but does remind me of my favorite computer scientist joke:

===

The physicist is showing his friend the programmer a thermos.

"You see, you can put a hot drink inside, and then take it with you. It doesn't matter how cold it gets outside; when you pour the drink out it's still hot!"

The programmer is quite impressed.

The physicist continues, "Or you can put a cold drink inside, and then take it with you. It doesn't matter how hot it gets outside; when you pour the drink out it's still cold!"

Now the programmer is really dumbfounded.

He asks, "But how does it know?"

===

Unfortunately though I like the joke, I still see waaay too much code written by the programmer in the joke.
Arguably the most famous just intonation piece is La Monte Young's 5-hour The Well-Tuned Piano

Other just intonation or microtonal works:

Terry Riley - The Harp of New Albion

Glenn Branca's Symphonies #3 and #4

Lou Harrison - Piano Concerto

Karlheinz Stockhausen - Studie II (81-step microtonal scale)
I could not agree more. In fact I said the same thing to a post on HN not a month ago: why are people aiming to be the 1% in their careers or markets when just being great at what you do, and for enough people, will bring happiness and joy for all involved.
Would this make the WINE project in violation of copyright for MS Windows?
People expose IPMI to the internet?
The macro seemed fine -- AlphaStar usually had more workers than the human opponent, in every game, and was producing more army. The suboptimality seemed to be in army composition (blink stalkers) and strategic decision making (pulling all of a superior army back home to defend a single warp prism drop).
In case this sounds bad for security reasons (using self-signed certs) keep in mind that the VPC network does not allow clients to spoof IP addresses or receive traffic destined for any other MAC/IP pair. So, there is no need to validate the authenticity of a host on the network because it has already been validated by the VPC software defined network, and spoofing MAC/IP, or ARP poisoning, or any of the other traditional physical network layer attacks just don't work.
What, are you trying to say security theatre doesn't make everything safe???

Surely if we grope everybody's balls/boobs on their way in, and have a secret list of "people with names that are vaguely similar to middle eastern sounding names" that we won't let in, that'd make up for the walls that you can just crawl under of climb over? Right?
49.5c (121f) is damnably hot. wow
Show HN: Queueing theory intro for software developers
See, I treat LinkedIn as a unicorn.
The temperature scale on windy.com doesn't really go high enough to depict how hot it is in Australia today: https://www.windy.com/-Temperature-temp?temp,-27.917,137.109...
I don't think there are any left. No Limit Hold-em would be my next choice after SC2 but the bots are doing fine there too.
I’m trying to talk my kid into doing FX instead of games, so I get to see him in his twenties. It’s not working so far but he has figured out that EA and Activision are both bad actors.
and the southern hemisphere has a summer slightly closer to the sun than the north.
There is a great mini-thread by a principal engineer at AWS describing why this is so amazing: https://twitter.com/colmmacc/status/1088510453767000064
It may be your point, but it isn't the point under debate. We are talking about whether or not the courts provide a check/balance for the decisions of the arbitration system.

They do not.
I paid $400+ a year for personal accounts since GSuite went premium. I just switched over to another provider because I reached a tipping point of not being able to tolerate GSuite support - it is horrible. horrible. horrible. horrible. Took 1+ and 3+ weeks to resolve the only two minor issues we've ever had.

Support replies were a series of unrelated prefilled replies, it seems whoever is on the other end is just keen to reply with whatever asap (phone is no better)

I don't think i've ever given Microsoft a dollar in my life but i'm strongly considering purchasing their email hosting based on feedback from companies I know using it. I don't mind paying for things, I hate paying for things and then not getting what was advertised.
How can the lawyer of one party cause legal fees to the other party?

I genuinely do not understand, as each party is responsible for its own costs
Or you could use a hosted solution like Duo which has a PAM module which is dead simple to use.

Or pam_google_authenticator.
And are expected to participate in voting and walkouts.
How do they ensure the target machines see the original IP address and port?
If Oracle wins what would that mean for a project such as WINE? My understanding is that Microsoft could cite precedent and request WINE pay royalties as a standard install of windows.
Please see this tweet from an AWS principal engineer:

https://twitter.com/colmmacc/status/1088516445145784320

"... well, NLB runs on Amazon VPC. On VPC we encapsulate, authenticate and secure traffic at the packet level. Packets can't be spoofed or MITMd on VPC. Traffic only goes where you send it. That makes it possible to use a self-signed, or even expired, certificate on your end."
You can't make water 100% pure, either. That doesn't mean you're not drinking water.

Your claim that it must be perfect to be considered a free market is argumentative, not substantive.
> Why is it that 35 years after the Futamura projections were first described, when we want to produce a new compiler, we don't write an interpreter and pass it through a high quality, general partial evaluator?

I think the rationale for abandoning partial evaluation for PyPy [1] explains most complications with it. Or put in different words, PE-based compilers don't have all necessary knobs that real compilers need.

[1] https://morepypy.blogspot.com/2018/09/the-first-15-years-of-...
Wars would often not interrupt trade routes. It’s a revenue source, so each side would want trade to continue such that they could get revenue from it.
My vague recollection is that from 16 to 19 workers the 17/18/19 worker is still harvesting >50% of a <16 worker, from 20-24 it's more like <25%, and the 25th worker onwards contributes 0.
You can get started on the compiler/interpreter specific learning as long as you already know a programming language and basic data structures. You do not need any math skills.

1) Lexical Analysis (Tokeniser)

The first step of your compiler takes in free form text and turns it into a set of tokens that make the rest of the process much easier. To understand this you should learn about Regular Expressions and Finite State Machines.

2) Syntax Analysis (Parsing)

Processing the above tokens and ensuring the input has the valid syntax of a program is your next step. You need to learn about Context Free Grammers, Backus Naur Form and Abstract Syntax Trees.

3) Semantic Analysis

Just because the input has valid syntax does not mean it makes actual sense. Here you need to learn about Symbol Tables and Type Checking. The specifics are very dependant on the actual language you are dealing with.

4) Code Generation

A compiler will be generating code but an interpreter will perform actual execution of the Abstract Syntax Tree operations. Again, the specifics are very dependant on the actual language you are dealing with and the target. Start by looking into Code Generation, Code Optimizations and Assembly Code.

I recommend an online, free course, like the following from Stanford that is self-paced and results in a compiler that generates assembly level instructions for test running in an emulator.

https://lagunita.stanford.edu/courses/Engineering/Compilers/...
If the fee is per phone it adjusts the supply schedule by moving it towards a lower quantity as a higher consumer price is required to compensate the producers at the same amount.
I've read about D's compile time evaluation but have no personal experience. I know both Rust and C++ are pushing in the same direction.

From what I can see, it's simply an embedded interpreter for the same language; which means that it probably runs about as fast as interpreters in general (that is, significantly slower than D). I would love to be wrong and learn something new, though.

Starting from an interpreter means it's already there, the only difference is when code is evaluated. And embedding it simply means linking the interpreter library. Snigl and D are sort of approaching Lisp from different angles.
but still, if you want to measure that then play a turn based game. if i could micro as good as the pros i'd be pretty damn good too.

hooking it up to a camera looking at a screen and a robot arm with a mouse would be more fair though.

edit: ok they did have a camera version, but i still want a robot arm.
WSJ and other publications clearly welcome readers bypassing their paywall when they land via Facebook and other referrers. Are you saying it's OK to give people a hard time for reading the content for free when they enter via Facebook, but not via a different channel? It seems a fine point to make a big deal out of.
It costs about $3.5k/month to rent a two bed in the Bay Area, $1.2k/month per kid for the day care. Add in $1.2k for grocery, utlities, insurance, gas, car maintenance ..etc, and you are looking at around $7k a month with two kids. It would be closer to $9k with entertainment/vacation/car payments.

You are right that someone with 450k gross should be able to comfortably handle this. It is different story for the majority that make 250k or less.
How to install Linux at your home
The only hardcoded numbers in code should be 0 or 1. Anything else, like 5, is a smell.
Request for comments about queueing theory.

This is a one-page GitHub README that introduces queueing theory and does it in context of software development, such as product management, message queues, and devops.

I'm the author and glad to answer questions here or in the repo.

Examples from the page that are the most relevant to Hacker News readers are relevant for devops continuous delivery:

* Dτ = Delivery lead time. Some product teams know this as "from concept to customer" or "from spec complete to code complete".

* Dμ = Delivery service rate. Some devops teams know this as "continuous deployment frequency" or "shipping X times per day".

* Dε = Delivery error ratio. Some quality assurance teams call this "change fail rate" or "percentage of deployment rollbacks".

* Rτ = Restore lead time. Some site reliability engineers call this "time to restore service" or "mean time to restore (MTTR)".
I suppose a side benefit of eliminating special cases is that you also eliminate branches, which may make things faster. If your preprocessing step is quick and branches are very expensive it might make a real difference.

It reminds me of programming assignments where you're tasked to solve a maze. Exploring the maze is really annoying if you have to special case the edges; much easier if you just build an edge-of-the-world wall first.
My favorite is when autoupdate is done updating, it runs a check to see if anything needs to be updated, and then it reports to me that there's nothing to update.
Extensive discussion: https://news.ycombinator.com/item?id=18973477
Unless you also press the right pedal
Well, to be fair, suing has a long and storied Americas Cup tradition.

New Zealand sued to challenge Dennis Conner off cycle, and when Conner pitted a cat against a mono hull, New Zealand sued again.
When I went to jump in the shower this morning (Melbourne) at around 7AM, it was 32deg or so, the taps in the shower were actually too hot for me to touch, I had to use a facecloth over them.