skysight-inc/HackerNews huggingface dataset:
I don't think it works that well in our industry either. Products from companies that follow that process are at best frustrating to work with because of the constant churn.
>A third of all airline traffic is handled by systems that run SICStus Prolog

But are those systems responsible for all the I.T. problems that are plaguing the industry?[1] (I've been under the impression the issues were primarily with COBOL/mainframe systems, but wasn't aware Prolog was so widely used by airlines).

[1] https://www.google.com/search?hl=en&q=airline%20computer%20f...
BP invests $20M in batteries that can charge electric cars in five minutes
Yup. But it does it at compile time for basically no work.
One nit, in addition to the +$9k long range 'option' the cheapest current 3 also requires the +$5k Premium Upgrade Package. So the cheapest current Model 3 is $49k (+ the 1k Destination + Doc Fee).

I'm curious how many of those have been sold since that does not include the autopilot package, meaning it doesn't even have traffic aware cruise control. It seems likely that people preferring Teslas would also have a strong preference for the autopilot.
For me, this bit:

> If they rate anything below 5 you don't forward them to the App store for adding a review.

This method attempts to passively hide negative reviews from the public while actively prompting users to leave positive reviews.

Storefront ratings don't matter unless the user leaves the app and enters one via the official app store. Without forwarding the user, anyone with a negative review will have to specifically leave the app to leave the review. The dev will usher the positive reviewers forward to leave a public-facing review, while anything neutral or negative is sent to /dev/null or (hopefully in the least) used internally for improvements.

Dishonest may not be the correct term. Perhaps "slightly misleading" is a better way to put it.
> If "cannot" is truly literal (and it seems so - I can't see Raptor Engineering ever using a "buy an unlock code to enable socket 2" approach)

My understanding is that the Lite board is essentially the full board, but with the second socket and related components removed from the design to reduce cost.

> I'm not aware of anywhere else you can get a POWER9 box

Raptor is the only company selling Power in a workstation form factor, and of course they've got the lowest entry price.

IBM has the AC922 (https://www.ibm.com/us-en/marketplace/power-systems-ac922) and will be rolling out more models imminently.

Several OpenPOWER members (https://openpowerfoundation.org/) are also working on their own POWER9 machines. AFAIK, none of them have GAed just yet, but some of the machines were announced at the OpenPOWER summit - https://openpowerfoundation.org/wp-content/uploads/2018/03/H.... There are quite a number of POWER8 machines already on the market.

All POWER9 machines use a primarily open source firmware stack, though it does depend on the vendor - vendors will have their own customisations in some cases, and in particular for the BMC firmware. Raptor is also stripping out/manually rebuilding some binary blobs etc.

(Disclosure: IBMer, I don't speak for IBM or Raptor.)
Honeypots and honeynets: issues of privacy
I'm guessing he knows that. It doesn't have to save him much time for that to be a bargain.
Why should you use dependency injection?
I always liked the "Radiological explanation" regarding the Cambrian explosion.

Higher-than-normal levels of radiation would provide the mutagenic effects on all life. Many things would die because of dead-end deviations.

I look at the area around Chernobyl at what radiation can do for evolution. Of course, it's pretty terrible for suffering on a whole, but we're talking about evolution. Life gets messy.
Does the modem broadcast this wifi signal, or just the router? I have just the modem at home and don't see the "xfinity" wifi network like I do when travelling. I'm not worried about "freeloaders" at the office. Our neighbors all buy their Internet (which is actually silly, we should cooperate) , and there's no "loitering" area outside.
It seems to me that taxing something based on its use is a pretty much just a way to set up exactly these kinds of loopholes that continually need plugging.

Instead of taxing gasoline to help fill in the road budget, why not tax vehicles based on actual road usage, and their size and weight? Then you don't have all of the "electric cars and bikes don't pay gas taxes" stupid debates. An electric car uses just as much (if not more, due to weight) of the road as a gasoline car, while a bicycle uses so much less (and pretty much equivalent to any use of public space like walking, using a scooter, etc) that it makes the most sense for that to just be accounted for out of the general fund.

You could do this based on odometer, or based on automatic toll collection devices, or whatever. Automatic toll collection devices are probably better, because you could also include congestion charges for places where roadway real estate is low and congestion is high, like big cities.

The main reason to have taxes on something like fossil fuels would be for emissions reasons, as there is an external cost being imposed on everyone else by their emissions, and that money could go towards paying for health care costs, providing tax breaks for HVAC systems with air purification, carbon offsetting, and the like. But such a tax should be imposed regardless of use, as any use is going to wind up with the same or similar emissions.
Policy Gradients in a Nutshell
numbeo is a measurement of perceptions of crime, not actual crime rates. Looking at Stockholm vs. Jeddah (Saudi Arabia), Stockholm comes off the worse for safely walking at night.
> Not sure what the actual target customer base is

The target customer is someone who doesn't want to be spied on by IME, PSP, or TrustZone, but totally trusts IBM not to collude with FVEY :)
> Hwang is a library for performing fast decode of frames from h.264 encoded video (most mp4s). Hwang provides both a Python and C++ API. Hwang decodes on the CPU (using ffmpeg) or on the GPU (using the NVIDIA hardware decoder).
This is so intriguing indeed.

Maybe most creatures on such planets would evolve towards unihemispheric sleep, as some Earth species did (eg. dolphins).

Unihemispheric slow-wave sleep (USWS) is sleep with one half of the brain while the other half remains alert.

https://en.wikipedia.org/wiki/Unihemispheric_slow-wave_sleep
Considering I've used that feature quite a few times, it's hard for me to complain about the, what, 2 cents a year of power we're talking here?
$10/month for the modem, $5/month for the router. You can do the math.
I hope that it's only a matter of time before people start turning their pitchforks at Apple, Microsoft, maybe Google et al who are the perpetrators of the majority of this platform fiddling that stops software from working.
Totally agree. The idea that was should all strive for some nebulous quality called "leadership" and all talented people should want to be in charge of other people, rather than doing interesting work, drives so much needless workplace suffering.

"Leadership" has to be one of the biggest scams in the history of civilization, because it is actually really hard not to buy in, even when you don't want to. Are there great leaders? Maybe, I guess? Or are we all just propagandized (by the shitty leaders we actually have) to think that they exist? I've certainly never met one, and the only examples that seem plausible are far enough in the past (Lincoln, FDR), or so tied up with other, ideological identities (Moses, Martin Luther), wealth and power (any President, CEO, etc), or traumatic/dramatic events (military leaders) that nobody alive can remember them personally or objectively.

We're a hagiography-driven species and it gives the impression that you're somehow a failure unless you're one of the lucky apes with enough "leadership" to get one written about you.
So only one with a medical background.
The free edition started with 50, then they switched it to 10, then I think they got rid of it. I'm grandfathered into the 50 even though I've only used 2.
Sun in a fixed position in the sky, impassible ice and desert barriers on all 'sides'. These planets must be full of flat 'earthers'.
Do some database systems have support for optimizing recursive queries?
In my case, my service issue was MY router. If I had unplugged my own router before the tech arrived, he would have been A) confused and B) unable to help me.
An interesting statement here:

'One answer, as outlined by VanRullen and Koch (2003), is that continuous representation “cannot satisfactorily account for a large body of psychophysical data”. For example, 1 cent does not typically have much value to most people. However, a person may decide to buy a product if priced at $1.99 – yet, refuse to buy the same product if priced 1 cent higher at $2.00. Such an abrupt (or step) change in the brain’s purchasing decision cannot be modeled using a continuous representation despite extensive attempts to do so (Basu, 1997).'

The tacit assumption made here seems to be that our concept of number is hard-coded into our brains at the physical signal level, and so that when we think of the number 2, some part of our brain generates a physical signal that has the quantity of 2 (absent that assumption, why would one think that this experiment tells us anything about how signals are physically encoded in the brain?)

AFAIK, it is generally thought that our concept of numbers is at a more abstract, symbol-manipulation level (especially when, as in this example, fractions are involved.) It seems to me that this paradox (which looks like a variant of the sorites paradox, e.g. what is the minimum size of a heap of sand?) is resolved if we consider peoples' tendency to disregard the pennies in a monetary amount.

Caveat / mea culpa: I have not read the papers referenced in the quote.
Memory usage in Firebird (webinar recording)
And their successful prison system is a factor in the relatively low level of crime.
Show HN: Get professional coaching on job interviews for less than $10
> Alas, no such competition exists is my area. I hope Comcast goes bankrupt some day.

Alas, unless your municipality is willing to bust Comcast’s local monopoly, they’re not going anywhere so long as you need internet.
Interestingly, I've was unable to attend a developer event in Japan last year due to my gender.

I find all sorts of different types of sexism in Japan, but also lots of young hardworking people who have no time for it.
I worked for a company that developed mobile apps for big corporations.

There is a lot money as an indie studio there because although you compete with other Big corporarions like Accenture, KPMG, Cap Gemini, etc... It is easy to outbid them because their costs are at least 2X your costs. Even id you pay you developers generously, you hace little structure and can beat them both in price and speed.
As someone who occasionally uses the xfinity login while out and about, you can tell it is absolutely on a separate stream because it definitely gets reduced service. I haven't run a speed test on it formally, but it definitely gets less bandwidth than the customer wifi signal, and I'd swear it has some latency added to it just to ensure that it's a nicer alternative to cell signals but not something you want to use full time.
True thing. In "Another World" it looked totally different, both in fauna and flora.
The eCommerce/fintech/small-biz-tech space generally is really heating up this year. Small timeline:

* Verifone was acquired in early April.

* Square acquires Weebly in late April (to round out itself in eCommerce, which was its weakness vs Shopify)

* PayPal acquires iZettle in May (to compete with SQ where they failed in the past with its homegrown product)

* Square just yesterday issues $750 in convertible notes (I have a lot of speculation on this one, but something big is brewing)

* Adobe acquired Magento today (SHOP stock way down on the news)

Earlier, when Amazon mulled p2p payments (Square has Cash App, PYPL has Venmo), both stocks dip on the announcement, which was otherwise pretty hollow PR. Amazon actually had a Square/iZettle competitor called Amazon Register that they shut down back in 2015, so I would not be surprised if they want to get back into transaction spaces. Also wouldn't be surprised if they made a bid for SHOP or SQ within 2 years in order to get into eCommerce and small biz tech generally.

Both SQ and SHOP and PYPL have had nice years, stock price wise. Disclosure: I'm watching this space very closely and am long SQ, AMZN.
This. I have a line of people waiting to pay me (I should stop posting here and get to that) - debugging my own hardware makes me $0. It's why I don't run my own email server, and don't host my own websites, and don't run my own media server at home.
Prolog doesn't do that automatically, but you can write the same thing in Prolog too:

xkcd_ugly(A, B, C, D) :-
P = 711,
Q = 711000000,
Max_A is 1 + P // 4,
between(1, Max_A, A),
Q mod A =:= 0,
Max_B is 1 + (P - A) // 3,
between(A, Max_B, B),
Q mod (A * B) =:= 0,
Max_C is 1 + (P - A - B) // 2,
between(B, Max_C, C),
D is P - A - B - C,
A * B * C * D =:= Q.

In SWI-Prolog, I get the following timings:

?- time(xkcd_ugly(A, B, C, D)).
% 383,992 inferences, 0.056 CPU in 0.056 seconds (100% CPU, 6825328 Lips)
A = 120,
B = 125,
C = 150,
D = 316 ;
% 3,274 inferences, 0.003 CPU in 0.003 seconds (100% CPU, 1229464 Lips)
false.

That is to say, it found the first solution in 0.056 seconds CPU time, then took an additional 0.003 seconds to prove that there are no further solutions. (This is the minimum of a handful of runs, there is quite a bit of variation.)

Quick and very dirty benchmarks on the same machine run your Python code in about 0.02 seconds. The CLP(FD) code above takes about 0.1 seconds but it's a lot clearer.
Upvoted. A lot of the security breeches we see are, in practice, extremely difficult to exploit. If I had a Comcast router, (which I don't,) I wouldn't worry one about this exploit. (As long as it's fixed in a timely manner.)
Is Opinionated Software the Future of Project Management?
Plaid in Canada
THIS planet is full of flat earthers. :)
This seems like the biggest risk to me. Charging untold amounts of batteries that have been used/abused in unknown ways in my house while my family sleeps doesn't seem like a great idea.
I mean, you’re not wrong, despite the hivemind’s disapproval. Math and CS are our fields, and that’s what these other fields are using and abusing, and many of us have significant cross-disciplinary expertise and experience that gives us good intuition about bullshit. The lack of skepticism is why the replication crisis is such an issue... your first reaction to any publication should be doubt.
Stopping a Java memory leak
Ya, it's tough. The best time to do startup stuff is when you're young, IMO. When you are older, you have many more obligations (bills) and it's hard to just take a few months off to build an idea.

I don't know about 20 though. I was busy chasing girls and drinking beer. Maybe 25 would be better. I wised up a little by then.
That is interesting... I'm asking because it seems to me like the supply of organs, which is already strained in the US (well, maybe less now, but usually), would be too low under the system you're describing.
Readdle launching Spark 2, an email experience built for teams
I've recently listened to a podcast where the guy behind Drafts (Agile Tortoise) discussed how he's finally been able to make a viable income and work on it full time because he switched to a subscription model instead of a one-off purchase model.

Drafts has been out for several years and has been relatively successful and he's only now able to work on it full time.

Podcast in question: Do By Friday, Episode 79.
I recall at college in 1989 our lecturer had brought in a chap who'd done an entire airline baggage management suite written in prolog (turbo prolog, to be more accurate). The demo we saw was absolutely gorgeous -- real time updates on-screen to changes in baggage locations elsewhere (in the system). This was on i386-equivalent machines, before anyone gets overly nonchalant. He explained that he'd been up against two competing tenders - one in COBOL, the other in C - both higher priced and longer delivery times.

Nonetheless, I still never really properly grokked prolog, as much as I tried. I feel my brain had already been wired away from declarative languages. Perhaps a poor cop-out.
E-ink real-time bus timetables in Sydney
You could try to create some sort of SQL-builder API where each fragment must be static, and each fragment contains its own placeholders.

Then you can use conditionals and loops to decide which fragments are included.
GIMP 2.10.2 Released with HEIF Image Format Support
Shoplifters meet their match as retailers deploy facial recognition cameras
Real estate takes lots of money and effort to maintain and repair. Whose going to handle that without property rights?
This makes one wonder what else might be found in these markets where this was found. This could have been so easily lost to science if the right person hadn't come along at the right time. If not done already, I assume more scientist types will start trolling the markets there.
I wonder.. it is said the ice age made them go extinct and they are feathered like birds.

You know what many species of birds do when winter comes? they fly to the south for the warmth.

Could it be related?

Quite a stretch I will admit, but it's interesting to think about. Evolution is wondrous, but is always characterized by adaptation. They likely didn't have feathers just because nature was bored.

Could it be transit for the ice age, to migrate to a warmer region by flight?

When everything is ice and snow, walking and swimming are highly inferior to flight.
>I'm going to go out on a limb and guess that you've never had to work in that space. It's really easy to insult Go's solutions

It's really easy to insult my opinion as well. I do have worked in really large codebases.

The only thing where Go helps "really large codebases" is quick compile times. But it is really easy to create a fast compiler when the language is anemic in features, this is no feat at all.

If Go wanted to be useful for "really large codebases" it would have supported good exception handling (take a look at Common Lisp for exemplary exception handling), for a start. And don't get me started on the horrible kludge of using interface{}.

And for "really large codebases" you want to keep mindless boilerplate code repetition -which is the noise that puts haze over the signal- close to zero. Go has many design choices that do exactly the opposite -- increase boilerplate to the max.
I have some serious UI nostalgia for that iPod.
That's true, but it's usually the case that the SEC and DOJ coordinate their investigations and announces charges simultaneously, or by just one of them.

I'm not saying criminal charges aren't forthcoming, but it would not fit the pattern of DOJ/SEC coordination in the past.
There is a flip side to this: wishing you hadn't partied away your youth and instead actually tried to do something meaningful or productive.
It means something fishy might be happening, but they don't have to break e2e encryption in order to achieve fishy things.
> (I find few projects are genuinely useful).

basically my thought since I found out most of these crypto projects are trying to solve problems that are already done centralized. (like logistics)

Seeing stuff like this is why I only believe Crypto is going to be used as a Currency and not for apps.
All your points are from the view of a personal behaviour in a given world. And possibly this is the better way to act.

But the alternative view, of seeing the all powerful economic system failing to provide people as something as basic as a dog, and viewing this as a big failure may also be true.
I think the main problem (don't know whether this is possible in Rust which I am not familiar with) is that untrusted input is passed around as strings at all (Java, which I am familiar with, does this). I'd prefer:

- Getting untrusted input as a separate type

- Having only a controlled way to put instances of this type into an SQL query
But why aren't gangs forming in Norway? Lack of poverty? Lack of substantial immigration?

In other words, why isn't MS13 infiltrating Norway, if there's no competition for their illegal activities?

In the United States, for instance, there's a huge market for gang formation, and gangs thrive despite constant fighting for territory.
Same here. I use the Xfinity network frequent enough that I value having it, and don't mind providing it. I use it at the kids bus stop, at people's homes, businesses - it allows me to keep my mobile data bill low.
I think the usual (and funnier) version of that joke is:

Q: How many Prolog programmers does it take to change a lightbulb?
A: no
http://uk.businessinsider.com/1980s-millennials-wealth-the-g...
Ruby 2.5 added lazy proc allocation for block parameters – BigBinary Blog
While we can all bash it, I am reading this on X right now. So the modular idea still holds to some degree. :)
Show HN: How to add FCO Travel Advice to your travel website
The hummer h1 is quite a bit of hyperbole.

25.4 mpg [1] is the average fuel economy of cars sold last year while the h1 is at 8 mpg.

[1] https://news.umich.edu/gas-mileage-hits-best-mark-in-three-y...
Totally agree we need role models from all groups and should make sure especially that the ones who are minorities get all the attention they deserve. That doesn't mean that our existing ones should be undesirable because of their gender and race.
In days of yore (and as immortalized in O'Brian's Aubrey/Maturin series) the bosun and his mates would come through and wake the sleeping watch. "Out or down! Here I come, with a sharp knife and a clear conscience!"

The meaning was that if you didn't get out of your hammock it would be cut down with you in it. An abrupt and rude awakening and potentially leaving you with a chore to fix your hammock before you could sleep again.
What about the computable reals? Our computer programs are, in a sense, capable of emitting the digits of any computable real number, and we have arithmetic (Gosper continued-fraction arithmetic) on those digits.

The fact that values might be discrete does not change that programs might be continuous over their output range; functions from computable reals to computable reals can be continuous.
Show HN: Grayscale the Web – A Chrome extension to help avoid mindless browsing
Correct. $20 appears to be the exception. The majority of charges seem to be worth $5

Source:

https://www.reddit.com/r/TrueReddit/comments/8l12oj/electric...
Deep in the Honduran Rain Forest, an Ecological SWAT Team Explores a Lost World
To some extent.. E.g even Anders Brevik has been given access to study and relatively high standards compared to elsewhere, though he's complained of isolation - only about a dozen prisoners total has been imprisoned under as strict terms as he has.

It's by no means perfect, but rehabilitation is a focus everywhere.
Even if you can't have Apac's for all prisoners, wouldn't it be a great idea to try to have it for a lot more prisoners, perhaps even for most?
Why does the entire system need to be "fixed?" Imprisoning criminals are the #1 way to reduce crime. Enabling responsible individuals to escape that Hell is a good thing that is easy to accomplish, whereas teaching large swaths of the prison population to act responsibly is impossible.
Gain in the number of syringes found in parks in the Bronx in recent years