skysight-inc/HackerNews huggingface dataset:
> could have added even more restrictions to your Ada just by setting with Spark_mode => on

Tricky, because Karatsuba requires recursion, which is forbidden in full-bore Sparkism. ( Granted the boundedness of the recursion is proven trivially. But Spark doesn't know this, and there is afaik no mechanism for forcing it to grasp even a very simple recursion.)

> No pointers, functions with no side effects

If you read the article carefully, you will notice that there are "destructive" functions, i.e. ones that modify an argument ( "in out" param . ) There is not an easy escape from this ( if you can think of one that doesn't drop performance into total uselessness, please post it in the article comments. )

> how you're going to guarantee constant-time execution

The same way one guarantees an absence of div0 : no use of the DIV instruction. Analogously, in this case -- no uses, anywhere, for any reason, of a conditional jump instruction with secret data as operand; and no use of computed jumps (no tables) , at all. The story ends with the obvious: disasming and audit of the compiled binary, to verify that the compiler did not surreptitiously insert any.

Interestingly, there are braindamaged CPU archs that will manage to leak secrets anyway. One such is PPC -- it has a nonconstanttime MUL instruction. There are two possible cures -- 1) if you have one of these, throw it out 2) replace the base case multiplication routine (appears in Chapter 4) with the much slower Knuth/Egyptian algo that does not use the CPU's iron multiplier. AFAIK there is no 3rd cure.

Braindamaged CPU (ones where MUL leaks, or which lack a barrel shifter -- e.g. Celeron and where SHR/SHL leak) have to be detected empirically, there is not a mechanical solution to this. The best thing to do is to simply not buy them. And warn others not to buy.

> Are you going for just the absence of runtime errors ?

The aim is Fits-in-Head correctness. As in, no shred of possible doubt re: correctness remains in the intelligent reader after reading. Mechanical (Spark) proof is of secondary interest -- it is to demonstrate that the somewhat performance-taxing bounds checks are not required, get some speed back.

> thanks for the article series

Stay tuned, these will be a Friday/weekly thing. And I recommend to share your future comments in the comment section on my WWW. I do not read the HN forum very often these days.
The cutoff in my opinion is that if you know or reasonably should know about the behavior of the contractor then you are responsible. If Amazon is not aware of this behavior, then it is clearly willful ignorance.
Twitter Can Reveal Our Shared Mood – Neuroscience News
Given the existing scams that loads of people fall for, I see no reason they wouldn't figure out how to dupe people into accepting this fake currency. If then everyone accepts the fake currency, it isn't fake anymore and the scammers really are just printing money.

Maybe I'm too cynical but I would expect the scammers to win.
"magnificently engineered" - except for the fact that someone walked off with 120K btc.

Coinbase service is spotty but at least it has its security going for it, for now.
Incorrect, they are not given a route by Amazon. I have had friends doing this through On-Trac, and they were either calculating routes themselves (as a driver) or via a system at the On-Trac center.
Its not a zero-sum game. Automation means folks aren't sacrificing their time; printing money is very feasible; currently various housing/welfare programs add up to approximately what a UBI would cost right now. Its much closer to reality than we imagine.
DRAM price surges 85.1 pct this year on restricted supply
That is surely true for beef. For chicken and pork, I don’t think that is completely true.
Apple deploys network sniffer
In recent Apple Mac OSX 10.13.2 system update, a new daemon called 'rapportd' has been found to do the following:

* It is an undocumented 'Rapport Connectivity Framework' (RCF),
* Port 49158/tcp
* It is not power-friendly, wakes up the entire box too often
* systemstat starts this rapportd daemon
* RCF is a multi-client chatty protocol
* iPhone and iPad makes effort to connect with iMac

It's ill-conceived and not well thought out.
https://discussions.apple.com/message/32698485?
i got Breville The Barista Express BES870XL machine that grind beans and makes super atomic strong coffee . Best coffee i ever had.
Adding to this, how long until we see bots mass-emailing people with scams like "Add this account number to your trusted UBI list and double your UBI overnight!"
Those things aren't very similar.
It could reduce confidence of retail investors, according to Deutsche Bank.

https://www.bloomberg.com/news/articles/2017-12-07/deutsche-...

#13 on the list.
Introducing the New Intel Pentium Silver and Intel Celeron Processors
1. Most of the world does not have fully renewable energy, and wasting energy just makes it harder to go full renewable.

2. Gold is used throughout the world for a variety of uses, and has been used as a store of value for years pretty much everywhere. Bitcoin is used to get a few people rich, and is actually used as a store of value pretty much nowhere. They aren't comparable.
Oh, so you do agree with me now that her songs "represented values counter to Christian morals"?

And that before Christians ruled, for centuries her works were copied and known and weren't considered as problematic as later?

And that she was so widely known not only in antiquity but even 25 centuries later as the most famous female homosexual ever, even to influence the much more modern languages?

What's the dispute then? My claim that started this all is, in full:

"it was still simple and pure religious fundamentalism that preferred her work disappearing (or at least not being saved), in charge once the Christianity started to dominate the Empire."

Do you really claim the Christians were so "tolerant" then to not preferring her work disappearing, or at least not being saved? I think you'd have to provide some extraordinary evidence, as there are even less controversial writings that haven't survived. Remember, for some work to survive, somebody had to copy every letter by hand, or to take some other very special measures, like hiding the scrolls in the cave or in the desert sand (and that it doesn't deteriorate and that it eventually is found only by us moderns and not by somebody before who'd use the old paper simply to start the fire or something).

And as I've shown, the Christian writing against lesbians is older than the Gospels writing about what Jesus did.

Moreover and once again, we also have the claim from the article about the narration which is already certainly at least 5 centuries old:

"the 16th-century scholar Pietro Alcionio" (c. 1487 – 1527, op. accq) describes "a Greek class by a Constantinople refugee, Demetrios Calkokondylas. He remembers his teacher describing how the Greek Church authorities, supported by the Byzantine emperors, burnt eminent classical Greek poetry, including Sappho’s works, and replaced the burnt poems with those of Gregory of Nazianzus."

It was obviously a long tradition, not something Calkokondylas would invent after taking refuge from Constantinople. Note, until the "Fall of Constantinople" in 1453 ( https://en.wikipedia.org/wiki/Fall_of_Constantinople ) Constantinople was the capital of the Christian Roman empire (only in the West called the Byzantine). The city was named after Constantine the Great, the Emperor who enabled Christianity becoming official religion in the Empire. So the people there had their stories about their own Emperors, and there was surely some basis for these stories.

What's "not coherent" then (as you claim in https://news.ycombinator.com/item?id=15897264 )?
Bitcoin has the potential to serve as a subsidy to green energy. A significant amount of wind energy in China, for instance, is simply burned off as waste heat. Over 30% in some cases. This waste happens when there's no demand for the excess energy and no where to store it.

With Bitcoin, such excess energy can be devoted to mining. The bitcoin generated by that mining can then be sold and serve as a subsidy to the green energy producer. This subsidy changes the numbers around green energy and makes it even more profitable, encouraging more such green energy projects to be started.

It's easy to point at proof of work and claim it's a waste. I encourage you to dig deeper, however. Proof of work enables us to radically change the financial system we have today and to potentially make it more efficient.
Elon Musk says Tesla is working on custom AI chips – The Verge
These carriers were too slow and didn’t operate on weekends. I blame the legacy carriers. A company like UPS or FedEx should be able to deliver around the clock while still treating its employees fairly. But they have not kept up.
Maybe in the distant future, but currently USD is the USD of Bitcoin
Microsoft releases quantum computing development kit preview
Great game!! can i ask you which hosting are you using ?
how many servers what are there configuration ?
We always had a few of these on the same tree where the normal size was about half as big as a bowling pin and had seeds almost as large as a whole Mexican avocado.

Never knew about "avocado hand" but were careful to avoid "avocado head" when harvesting the not-so-low-hanging specimens.

When you drop a full-size one from 2 or 3 stories high, you really need to look out below or it could hit hard enough to cause unconsciousness or worse.

Interestingly, this is one of the species that has separate male and female versions.

With only a single landscape plant (no orchard) there must have been a male somewhere nearby, that owner might not have even known their tree was an avocado to begin with.

If a hurricane or high winds came up while flowering in the early summer, there go the flowers and you got little to no fruit that year.
Chemex, Aeropress, or Cafe Bustelo + Moka Pot. Really depends on how lazy I feel and how many beans I have left.
Kanban project management: What to look for in a tool
The US has a competent military. The country is fundamentally christian - I don't see why the two need to be mutually exclusive.
Wolkenkit – A CQRS and Event-Sourcing Framework for JavaScript and Node.js
The theory seems to be that when people have a safety net they'll better themselves with long term skills and grow the economy. I'm more inclined to have a more concrete social contract. For example, pay someone to learn a trade, and as long as they hit their requirements - they can live all expenses paid for.

For the cost of a college education we could give people a valuable trade and a small business loan. I think the reality is we have a cultural stigma against physical labor and hard work. Some of us aren't against the idea of "free money", but I want a guarantee it's being used for good.
Like Reddit this place is full of shills paid to say this is ok or not a big deal.

There is a keylogger in a factory new HP notebook, but meh
I think you're right, the solution is not only technical, and we need to explore other things
Yeah, I think some people forget what "farmer" means in China - are we talking about big agribusiness farms or subsistence-farming peasants who haven't made it into China's industrial revolution yet?
1. I can think of a hundred things more useful than bitcoin that renewable energy could be used for.

2. Gold has uses other than propping up speculative markets. This is a false equivalence.
Last night in a restaurant I overheard the table next to us getting excited about Bitcoin, based on the rumors of friends of friends. At the point when one quizzically said "But you only use it on the Internet? You can't see a broker in person?" we all started recalling that line about when the taxi driver starts giving you stock tips...
At what point do you start judging people though? I absolutely do not use 100% of my potential or ambition, and I can be fairly certain most don't.

I piss away countless hours watching Netflix, drinking wine and just being.

But. With a job, or even the desire for a job, even if it's just man-made theatrics, I'm engaging in society. There's an expectation (either knowingly or unknowingly) that you contribute more value than you take when you have a job - whereas if you literally did nothing, you are just extracting value.

Don't misunderstand me, I don't argue we should be optimising solely for "value" (and it becomes tricky with different groups who can't engage with society), but I don't equate "wasting themselves in what they do" with "doing nothing".

Personally though, I do believe in the dream of UBI, for me, I think if I was unshackled by the theatrics of the workforce I'd be more creative.
One of the hardest things for an artist to realize is that most people don't give a shit about what you do and, while what you do can be important to some people, it is not objectively important.

The author of this article hasn't come to that realization yet.
You are being downvoted because this place like Reddit is 99% shills. Don't take comments here at face value.
Perhaps you should look at this implementation of UBI. While there is more or less practical redistribution through inflation, no money will be taken from you via taxes and the like. One could even conceive of writing incentives against "freeloading" into the protocol.
I use these working remotly on multiple projects:

1. JetBrains YouTrack , HUB or
2. Visual Studio Team Services
3. Telegram , Keybase & Discord

Thats it
Depends on where I am and what I feel like.

I have an Aeropress at my desk at work. I keep some freshly ground coffee there so I can make nice coffee instead of the random brew in the lunchroom.

I have a pour over and a drip machine at home. The drip machine is programmed to make me a pot of coffee that is ready when I get out of bed, it's not the best coffee I've ever had but it gets my day going.

The pour over is for when I want a single cup or if I feel like making a nicer coffee. Usually when I buy some nicer beans as a treat.
I would love to hear more about this dashboard in your write up. Would love to create something like this myself :)
Neither runit nor minit were, or are, obsolete; and systemd was around in 2010.
To play devil's advocate, people who go to work are very likely to interact with other people, which might help keep our society a little closer together. They might become bitter (since nobody respects low-end service workers), but at least they remember what people are like, and don't turn insane/radical through isolation.

I am not sure if there's data to support this claim, though.
For states that provide universal healthcare, they can push things like a meat tax as a way to save money on public costs (like they do with cigarettes already). At least they have some gain to show for it. However, European meat is already a lot more expensive than meat in America, meat consumption is probably less in hose countries already.
I agree that the proposed solution seems not enough, but I'm impatient to see what will happen when they try it out. Maybe the trust chain will work out
Coffee snob here.

At the office I keep my own stash of good beans. I use a manual burr grinder and a cheapo pour-over system with the hot water that comes out of the big BUNN coffee maker. I will say that I think an Aeropress makes some of the best coffee I've ever had, but it's just too much of a pain to do in the office.

Ever once in awhile I'll have the office BUNN coffee if I'm in it for quick caffeine rather than coffee experience. There is absolutely a time and place for bad coffee. For instance, I would be very sad if Waffle House started serving good coffee.

At home it depends. Sometimes a moka pot, sometimes a pour-over, sometimes a french press. Depends on the roast and what I'm in the mood for.
> new users with no trust connections will have to get their closest loved ones to be their initial connections

> users who are new to the system and don’t have many trusted relationships have a less valuable currency than someone who is well-established

Isn't a design like this going to screw over quite a lot of the very people UBI would be most needed for?
> Anyone who claims they know what possible outcomes we can expect from UBI is deluding themselves

What does it mean then when you proceed immediately after that statement to describe a possible outcome?
Even at it's peak apple only had 23% market share. 1 in 10 out of 23% is 2.3% and not everyone plays this game on a phone so the percentage is even lower in reality.
No, those are what I am talking about. The connection is secure but the key exchange is not. There are various flaws depending on the mode used.

There is an Out-of-Band mode which means you could implement your own actually-secure key exchange but for extremely annoying reasons it isn't implemented on iOS or Android (except via NFC on Android).
Can I ask how do you evaluate the candidates with these problems? I mean: do they have to solve similar problems on their daily job as well? Or what is the take-away in your specific case?
The major telco I work for (starts with a B in Canada), people in my group complained when they got a $300 raise and said they would rather not have got it.. so they cut the raises for the 3 years straight due to this "comment". Funny thing, that person would be ahead by ~1k a year at the base salary. Fortunately I am part of a different compensation package. I would always take any money, that 300 is ~180ish after tax, enough for 2 months of parking..
In absolute terms, it's pretty good. Relative to competing offers for similar experience levels, it isn't.
You're right, most people present the best them, as they see it, to the online world, and some just act like themselves online, "Ooh a piece of candy, ooh a piece of candy." For those who act true-to-self, the parameters (locations and actions) the internet provides for people to bounce around in, never expose that deep of an image of a person.

This also occurs during real life interactions as well. Few are completely genuine even when looking at them directly in the eyes. People omit information, some embellish, and others downright lie to make themselves appear the best possible.

Have you ever had a conversation with someone whom you connect with deeply and for a mere second you can see the true them? You can almost imagine them as a child because their truest essence comes out for a second during a laugh, or a cry. The truest external example of self.

We're a long way from software being able to grasp that level of understanding of a single person. Even if, it would be hard to categorize and sell ads to a person based on that. In other words, I hold out hope for the resurgence of appreciation of the other.
I do the following:
1) Organic beans
2) Burr grinder
3) Bonavita Coffee Maker (This will brew at a specific temp for the beans and distributes the water evenly over the grounds.)
4) Post: add coconut oil for energy boost
Read the article carefully, that's the exact consequence of the core system.

Assume a rich community and a poor community, where each of them trusts everyone else in their community and noone else. In this case, there can't be trade between the communities.

Assume that Alice from the rich community trusts Bob from the poor community. This will allow Carol from the poor community to get stuff from Dave in the rich community - if Carol spends one coin, then Dave will get 1 Alicecoin, Alice will get 1 Bobcoin, and Bob will get 1 Carolcoin. This can only happen up until Bob runs out of Bobcoins (since Alice won't accept Carolcoin) or until Alice runs out of Alicecoins (since Dave won't accept any coins from the poor community) - so the whole community will have "consumed" the generated resources of those intermediaries.

There needs to be a sustained flow of coins from the poor community to the rich community to enable the flow of goods from the rich community to the poor community. If the system can't enable (and motivate!) the rich people perpetually accumulating coins of poor people, then it's not an UBI system. The poor people got their coins, spent them for stuff, and have no coins remaining. So inevitably someone else had stuff, traded it away, and now has coins of those poor people, i.e. that someone funded the system.

If there's noone funding the system, then noone can get real stuff out of the system - you can't create food out of thin air. UBI is a mechanism where large number of people can get food and services for nothing - so, for that to be possible, someone else needs to give out food and services for nothing.
I don't see the issue? Any resume you provide is going to have the dates of tenure (and probably a graduation date for that matter). Unless you're trying to argue that employers shouldn't be able to look at experience when hiring there's not much way around it. Even without ranges number of positons and the highest title reached can give you a relative age to some degree of accuracy.

I think tech's dirty secret is that there is ageism, but not against the old. You only need to look as far as the entry level jobs requiring 10 years exp to see that the system isn't really rigged in favor of young people.
That's a good and important point. Affluent folks like us can just shrug off such a tax, but that's harder for people who are already $fewdollars above having to skip meals entirely. If you want to make the wealthy feel a tax, you have to levy it on capital gains on companies engaged in that kind of commerce. Make it less profitable to invest in that area than in some other. Even better, as others have suggested, use the proceeds from the tax to fund development of alternatives. If I could have something that tastes like meat, but that can be produced with 10% of the greenhouse gases and chemical runoff and energy cost (including fertilizers), then I'd love it. We're getting close. Just a little push might get us over that line.
> Route 53 is a so-called "child centric" DNS server, in that it considers the child zone to be fully-authoritative for its own NS records. That's why the name servers for a parent zone reply with a referral, rather than in the answer, because from their perspective, they don't really "know" the answer. The proper thing a resolver should do is follow the referral and ask the child name servers.

> I don't think that's in violation of what the DNS RFCs specify

Agreed, and in fact it's pretty easy to see that the root and .org name servers behave exactly like Route 53 in this regard.

> In any event, I think what's going in this case is more subtle but simpler, basically "ws.fdmg.org." isn't occluding "prod.ws.fdmg.org" when it should, but that takes a very convoluted edge-case set up involving two over-lapping delegations from the same parent zone.

Yes, that appears to be what is happening, and it breaks regular DNS resolution, not just QNAME minimization. If your DNS resolver has the NS records for ws.fdmg.org cached because you previously looked up a ws.fdmg.org hostname, you won't be able to resolve any prod.ws.fdmg.org hostnames, because your resolver will send the queries to the name servers for ws.fdmg.org. I don't know if this is a Route 53 bug or if the customer misconfigured their zones, but if the latter it would be nice if Route 53 could stop people from shooting themselves in the foot this way. To reiterate, this breaks regular DNS resolution, not just QNAME minimization.

That said, Route 53 improperly returns NXDOMAIN for empty non-terminals, which does break QNAME minimization (and violates RFC8020). For a proper example, see opsmate0._domainkey.sslmate.com and _domainkey.sslmate.com.
I am not an economist, and am summarizing the received wisdom on stagflation and tentatively applying it to UBI. If I could put my economist hat on, I would think that the real value of UBI allotments would be constant, as you said, in the best case.
No battery wifi devices
Agreed. However, I think that a centralized identity system could solve this if crafted properly.
Is the junk food craze over?
You should take it as a compliment. Your manager is saying that your company cannot afford an engineer of your level.