skysight-inc/HackerNews huggingface dataset:
The deep nesting and negation of the tests made this look weird to me and harder to see how the main idea was exhaustive searching of all permutations. I think it's clearer when the constraints are separated from the searching:

People = collections.namedtuple('People', ['Englishman', 'Spaniard', 'Ukrainian', 'Norwegian', 'Japanese']) # etc.

def rule_10(people): return people.Norwegian == 0
def rule_2(people, color): return people.Englishman == color.Red
def rule_6(color): return color.Ivory - color.Green == 1
def rule_15(people, color): return abs(people.Norwegian - color.Blue) == 1
def rule_4(beverage, color): return beverage.Coffee == color.Green
# etc.

constraints = [ rule_1, rule_2, ... ] # etc.

def inject(func, vars=locals):
signature = inspect.signature(func)
args_from = operator.attrgetter(signature.parameters.keys())
return func(*args_from(vars))

houses = range(0,5)
for people in map(People._make, perms(houses)):
for color in map(Color._make, perms(houses)):
for beverage in map(Beverage._make, perms(houses)):
for cigarette in map(Cigarette._make, perms(houses)):
for pet in map(Pet._make, perms(houses)):
if all(map(inject, constraints)):
print(f'The {People._fields[beverage.Water]} drinks water')
print(f'The {People._fields[pet.Zebra]} owns the zebra')
sys.exit(0)
print(f'Sorry, no idea who drinks water or owns a zebra')
sys.exit(1)

No pruning of the solution space but `all` will exit early if it can. You could change `inject` (terrible name) to pass the list of rules & call those whose signatures are fulfilled at the beginning of each for-loop, and return a list of the uncalled rules + the results of the called rules, and test the results with `all` & keep the uncalled rules handy for the next for-loop. I didn't do it because there's already too much boilerplate in the for-loops
Well, it's the language of choice for Spark. That fills the big data niche.
To me this is possibly the biggest attraction, Scala feels solidly build and still somehow manages to resemble the fun of using a scripting languages.
"Linux" is already named after a man!
Neither Obama nor Clinton wore it as presidents. The cartoonist finds that a relevant fact.
AMD's Ryzen 9 3950X Revealed: 16-Core, 4.7GHz Coming in September for $749
In Spitalfields. It's big, and sparsely occupied. There are 6 (or more?) other WeWorks within a five minute walk and all are ultra-prime locations - not cheap. The attitude to spending is unbelievable.

It's a terrible place to work. We recently moved out of the shared, fixed desk room which was relatively quiet into a glass office. There is no sound insulation whatsoever, you can hear every recruiter on the floor speaking their patter down the phone (loudly, because they have earbuds in) on repeat all day every day.

I also think WeWork will collapse eventually, it's just so clearly unsustainable. Maybe the hope is that they become 'too big to fail' first?
> That's not harassment by any stretch of the imagination.

That's harassment, plain and simple, without stretching one's imagination at all.
Which is nice in theory, but irrelevant to the employer when they can just tell you to 'work smarter' or face a PIP. Expenditure: $0. Of course the long-term cost is higher, but that's not a line-item expense.

Honestly, I've been there; coding on a single 15" screen. Eventually most employees brought in a second monitor from home.
Yes, this approach does find every solution and it is using backtracking. See my other reply to a sibling comment.
People like me who live in the UK but work remotely for US companies benefit from a weak pound. But I don't think people like me are pulling the strings: it's just a political mess.
There's a large amount of effort going into backwards compatibility.

Except for some really well motivated very advanced language features (eg view bounds) most code should be source compatible, and Scala 3/Dotty is able to use Scala 2 libraries and there's plans for forwards compatibility with Scala 2.14 (2.14 being able to use Scala 3 dependencies)

The big exception is macro's, because they depend heavily on Scala 2 compiler internals. A lot of things you require macro's in Scala 2 will become language features in 3, but for other cases the macro system for 3 is still in active development.
Amazon doesn't seem to be seriously trying. Prime Video is a wasteland.

And Disney doesn't own all the content. Netflix need only be the streaming provider other content makers choose.
Has an agent ever told a potential buyer that a neighborhood is in decline?
It's technically a security risk, but take a look at the acs patch that's out there. It'll forcefully split up the iommu groups to the hypervisor so you can do the pass through, but it does mean that the cards that were in the same group before can technically see each other's dma and other stuff on the bus. For anything other than a shared host it's pretty much fine though.
I can't tell if the embossed effect is part of the video, or if that's actually what the app looks like. I'm really hoping the former.
AMD Zen 2 and Radeon RX 5700 Series for Linux Expectations Review
No reason to start on all zip codes at the same time.
One this is to trust a person. Absolutely another - trust whole company where this person works.
I personally really like how this release turned out. Tons of polish, cleanup, simplification, and performance work.

Basically tackling the core problems with the language, with minimal feature creep or additional complexity (I must admit to contributing to that creep in a small way)
KFC too
> Windows Phone, JavaScript, .NET (VB and C#) and C++.

An irrelevance given their complete lack of market presence.

The rest all have significant underlying C components you've identified. All I'm saying is that's a hardly a 'niche holdout' when it appears to be at the heart of the vast majority of shipping devices.
> I am not willing to introduce spyware that also scans all devices within the network to my home network.

In the EU I would seriously doubt that your employer is allowed to do this.
You don't need SBT. Gradle builds Scala projects just fine.
Only libucidata is big.

Reason — tons of data. Contrary to what other commenters said, it’s not (only) Unicode properties (they are tiny), but a lot more: from rules to spelling out the numerics, to transliteration, collation, to word/sentence segmentation (some of which are absolutely non-trivial and sometimes require dictionaries of special cases).
> and the figure quoted by the Times—without any critical assessment whatsoever—appears to be based almost entirely on questionable mathematical extrapolation from a comment made by a former Google executive more than a decade ago

They definitely have a point, without putting a tremendous effort into this, one must have to use very speculative mathematical extrapolation. Although I'm not sure whether it would ever be worth to put additional mathematical rigour into this because that would be a lot of work.

Speaking of myself, for many years Google News has been my starting point for using the internet and self-speaking for getting myself a news update. News sources have become replaceable and I was always thinking: oh nice, so I'm always reading articles from various sources/perspectives, so this must eliminate virtually all bias.

But what has happened in reality is this:

- many news companies closed down/were merged into other companies

- often agency news (Reuters, AP, ...) are copy&pasted into articles

- some online newspapers mostly put bot generated news that seems to be automatically assembled from agency news and correspondent's; the quality and readability of this is almost 0

So for me a tipping point has been reached and I switched back to going directly to news magazine/paper websites. Also I've subscribed to 2 paid subscriptions. I feel much better informed with more relevant information.
Generally the answer to the 'too many bugs' question is always 'not enough birds'. Industrial farming has destroyed most of their habitation, and bird species are in decline almost everywhere [0]. I recently read that insect populations had a brief but rapid population explosion in the post war era due to the decline in bird populations from agricultural habit destruction, until pesticides came about in a big way. So we destroyed the birds habitats, then used pesticides to kill off their main food source (to the point that insect populations have nearly collapsed) [1]. We really went and stuck the knife in as a species.

With insect populations looking to bounce back again with the longer summers and warmer temperatures that the climate crisis is causing, I certainly hope bird populations make a come back with it or we're, excuse the pun, buggered.

[0] https://www.nationalgeographic.com/magazine/2018/09/embark-d...
[1]
https://www.theguardian.com/environment/2019/feb/10/plummeti...
A Minimum Effective Dose of training and sound diet instilled into our next generation would save a bunch in the healthcare system.
That actually seems reasonable. Anti-trust laws were intended to protect consumers, not enable abuse by even bigger monopolies. An exception for colluding in negotiations with monopolies might be a good idea, and not only for media companies.

Similar to the exception that already exists for unions.
These days I tend to buy big furniture items — sofas and the like — second hand. I can't afford really high-end quality furniture new, but, if you're careful, you can find well-made furniture at low prices in charity stores. My house is furnished with a mix of crappy Ikea stuff and very nice second-hand furniture; I much prefer the latter.
AMD Unwraps Zen 2 Microarchitecture, X570 Chipset, Ryzen APUs
A lot of Java shops moved from Maven to Gradle, and Gradle builds Scala projects:
https://docs.gradle.org/current/userguide/scala_plugin.html

Bazel works well too:
https://github.com/bazelbuild/rules_scala
Except Gradle is worst ...
WeWork is better than opening a satellite office in pretty much the same way that renting a hotel room is better than buying a house in a location that you're visiting.
Once you've proven you have traction and it's going to be sustained, it makes sense to transition to your own real estate (owned or leased), but in the early days, it's better to wildly "overpay" for temporary, flexible, easy space.
The academic origins give the language a clarity that's great, at the same time macros and implicits and other language features make IDE support slow and error-prone and the compilation process as a whole rather slower than Java's or Kotlin's. On top of that, the designers introduce breaking changes in every minor release, which makes it a poor choice for software that you want to last very long.

All of these factors contributed to Scala adopters like LinkedIn subsequently retracing their steps and doing new development only in Java.

So, academic origins are fine (many good programming languages have academic or at least research-influenced origins), but an academic attitude to the development work that a language should support (predictability of breaking changes, possibility of good IDE support) harms the adoption of a language.
What rate do they charge? It looks like they provide a cash offer and then find financing so you can buy it from them. I didn't see anything about how this eliminates middle-men and egregious fees.

I'm not sure though, because I got a "Oops, something went wrong" popup when I tried to use their site.
I just read through the list of profiles that my employer installed on the device, decided they were not invasive and then started using it as my normal phone.
Current Radeon RX Vega 64 / Radeon VII Linux OpenCL Performance Against Nvidia
Monads in C# [1]

Arr<A>, Lst<A>, Seq<A>, Set<A>, HashSet<A>, Que<A>, Stck<A>, Option<A>, OptionAsync<A>, Either<A>, EitherAsync<A>, Try<A>, TryAsync<A>, TryOption<A>, TryOptionAsync<A>, Reader<Env, A>, Resource<A>, Writer<MonoidW, W, T>, State<S, A>, Task<T> (extensions), Nullable<T> (extensions), Validation<Fail, Success>, Validation<MonoidFail, Fail, Success> + Monad transformer stack

[1] https://github.com/louthy/language-ext/
Ask HN: Which proprietary SaaS can be replaced with FOSS cron jobs?
I am thinking of using `curl` for healthcheck, `lighthouse` for webpage performance analysis, `ab` for load-testing etc.

Which other open-source tools are useful to run as cron jobs?
The compiler has gotten quite a bit faster since it started being measured.

See https://scala-ci.typesafe.com/grafana/dashboard/db/scala-ben...

Also SBT has been much less of a nuisance recently. They've made quite some effort to get rid of the most obscure syntax and with the recent improvements in compiler speed it's inching to 'acceptable' territory.

I admit that I really love the language, though.
At 65 W?
Presumably it's partly questions like these that make Troy Hunt eager to find people with money and lawyers to help him host this thing.
How to build something that lasts 10k years
Europe’s Homegrown HPC Compute Begins to Take Shape
I work at a major online fashion aggregator and my team uses Scala extensively for our search API (with Twitter's Finatra) and also in several of our data pipeline systems (Akka, Spark).

When I joined a few years ago, I was honestly not most excited about working with Scala, but the more I got into it, the more I realised that Scala got a lot of things just right.

In particular, I really miss working with the collections and futures API whenever I switch to another language.

And it's overall a pretty good package: very predictable behaviour, easy to debug (IntelliJ Idea helps a lot here), fast runtime and high quality libraries available for pretty much anything you might need.
> I don't believe the "best of both worlds" selling point

Not best of both, but it's the ability to solve the task with either FP or OO depending on the task and do it seamlessly.

> Networking and political effects seem to be more powerful than the merits of a language.

That's probably more true than anything, also it's not hipster enough to convince your regular clojurescript aficionados.
This should be doable on desktop Ryzen. I currently have one GPU (x16) + NVMe SSD (x4) + 10G NIC (x4 from chipset). The 16x can be split x8/x8 for dual GPU.

https://linustechtips.com/main/topic/799836-pcie-lanes-for-r... — nice diagram of lanes
Feel free to use Bazel or Pants or Mill or Maven or Fury if Gradle isn't your cup of tea.
Mostly reading after the 9-to-5 job. Sometimes when my brain is tired of new information, I am just gaming. 1 h of gym after work, 4 times a week. In the weekends hiking, biking or jogging. Trying not to go over the 40 h of work per week. After all, personal time is the most valuable currency!
AIUI, “Project Svalbard” is the name of the project to find a new home for HIBP. The actual service isn’t being renamed (yet).
rental rates ever cheaper than a personal mortgage.

This comparison is usually apples to oranges. For example, in Austin, a 20s-30s homebuyer may have a budget of 300-400k for a property. This amount pretty much limits the options to homes on the edge of town or in suburbs. The same person may prefer renting in or near downtown, if they aren’t buying, and that could cost just as much as a mortgage on a much larger house (in a much less expensive location).

So, hard to do fair comparisons.
The cost of driving a marginal mile is probably more like $0.15-$0.20/mile. The total cost of ownership of a newish car is $0.50-0.60/mile.

If an Uber driver is driving with a car that they were already going to own anyway, they only need to cover the variable costs.
It's a good signal, these people are cheap and are going to nickel and dime you time to move on.
Show HN: Milkshake – Make Websites from a Phone
LocalBitcoins Removes Cash-for-Crypto Trading Option
For a single GPU machine, I’m not sure what the use case is for X570 over a much cheaper B450 board. Most games currently aren’t GPU-bus bandwidth limited (or rather the GPU itself is the bottleneck) so I suspect PCIe 4.0 won’t impact benchmarks much.
I agree about EFF - I'd be happy with Mozilla or EFF.
For folks that want to sniff around a little first, you can hit websdr.org and listen to receivers all around the world. Most digital mode demodulation software just listens to the audio pipeline on the PC, so you can actually decode Olivia, FT8, JT65, CW, etc from these sites as well.
<tinfoil>
What if it's not a bug, but Google testing user response
</tinfoil>

(assuming Google is not stupid so Hanlon's razor may not apply)
Very good point even if only because I was too lazy to do the math in my head.

$2000 is a lot for a sofa, and if I understand correctly is what people spend if they want a sofa for a long time and not just a cheap IKEA sofa to throw out after the dog / kids ruin it in 2 years. If someone’s spending this much on a sofa, I hope they expect to keep it 10 years and should be buying not making payments!
>Static typing is an attempt to make software more mathematical. Type correctness is deductive and provable. However, type correctness does not imply behavioral correctness. Even when fully type correct the behavior must be demonstrated empirically.

I think this is the crux of the problem and my experience agrees on this statement.

At the end of the day, its Behaviour that matters the most.
No it's not. Converting renewable energy into liquid fuels is valuable in itself.
“It's fascinating to watch comments like this get downvoted.” Honestly not anymore, there is an overriding current of well SJWism on this site currently, of course they'll never admit it to themselves. If you ever find yourself downvoting a comment because you disagree with it on an emotional level, you might be the problem.
Kinda very shallow report. No photos of actual property (houses) of Zuck.
My pythonized /etc/hosts now blocks them. Enough said.
I used Scala five-ish years ago, and I loved it, but I had two qualms:

1. The community was terribly split between FP purists who wanted to write Haskell on the JVM and pragmatists who leaned more towards the "better Java" side of things. Plus the occasional ex-Rubyists who came up with method names consisting solely of interpunction ("embedded DSL!"). Has any side won? It would be nice to have anything resembling "idiomatic Scala" out there.

2. The compilation times were horrid, really blocking a fast edit-compile-run(-tests) loop, often making my attention wander away etc. Has this improved sufficiently much that you can edit code, switch to the browser (or wherever) and pretty much immediately see the result?
Sounds interesting and I don't recall reading that before - can you point to some online article about it?
Upgrade Your Memory with a Surgically Implanted Chip
Best Open Source Accounting Software for Linux
Apparently, you buy Apple, Tesla, or Netflix, and get lucky because you chose to invest during a wild expansion like we’ve seen since the early 2010s.

I’m not sure what you do when you’re in a down market. Last time I lost a lot of money because I was dumb.
I often wonder how much work it would be to turn emacs into a hypercard system.
I am not a wealthy man but there is no way I'd sign up for using any of my employer's comms infrastructure for personal use or use any of my personal equipment for business use.

I don't live to work and there's no reason to hand over any more info about my personal life than necessary.
Our crazy crypto story these past couple years
Hey guys,

I'm Fran, CEO at Internxt. We started Internxt ~2 years ago. It's been quite some time, but here's the story of one of the few crypto projects that made it past these 2 insane years, having raised next to nothing.

Although we didn't raise much, we managed to release our product; a mass-market oriented decentralized cloud storage service, known as X Cloud. We forked Storj (we didn't have much, so that was the best shot), we improved it and changed pretty much everything radically, launched its alpha, beta and finally its stable version a couple months ago. It's been doing great, and we expect big things from it this year! You can follow our roadmap here https://trello.com/b/kjKAuUNw/internxt-2019 We've got an awesome community, and an already big & growing amount of users making use of X Cloud. You don't need $10M to start a successful company. In fact, many successful companies have grown without raising a single dime (eg MailChimp). All you need is the right team behind the project. And that's really it. Sure, money can help. But that's about it.

Crypto space. We often see crypto projects that raised anything above $1M (we raised like $300k), and which have not managed to launch their product, or which have launched it with no success. Why's that? Well, the fact that crypto has made it so easy to raise money, has given anyone the opportunity to start a crypto project. This attracted loads of morons, who spent most money on themselves or in dumb corporate investments (eg a $100k cryptopia listing, a $300k hitbitc listing, fake volume boosting, a Messi sponsorship etc). Additionally, since it was so easy to raise money, and thus there isn't a very high pool of smart individuals in the crypto space, not only the execution of the project was poor, but also the idea behind it. There are many examples. Take the SIRIN Blockchain phone. Honestly, who on Earth needs a crazy expensive blockchain phone?
Really, what reckoning?

Any antitrust movement has a play out of over ten years.

The current g20 progress towards closing tax loopholes via digital tax is also a ten year process..

The Reckoning has not occured yet...not even close...
I dont know why you're being downvoted, it's a truly fascinating concept.

One method has your input data taken bit by bit and combined with a pseudo random code, which never changes and is pre shared with all participants. Effectively each bit gets transmitted at multiple frequencies concurrently and as the receiving side knows the pseudo random code, it uses statistical inference to decide if it's seeing enough evidence of a 0 or a 1 in the various frequencies as dictated by the code.

You pull something out of the noise floor, without applying the statistical methods the received signal is indistinguishable from noise. It's certainly not possible to look at 1 frequency and decode the transmission because the transmission medium is lossy and constantly corrupts the transmission of individual bits randomly
Xbox at E3 2019: Xbox Project Scarlett Console Launching Holiday 2020
Spend a few moments within the Playstation network "site"(s) and this would be the best example of many front end independent services going horribly wrong.
This is simple corporate sycophancy.
Goggles 'give back' sight to Maisy
The Faults Beyond Our Algorithms
Why would they be a good fit?
Whenever I learn something new, I make notes in word. I keep thousands of such word Notes files on my HD. I have some dating 15+ years back. Usually your brain does the remembering, w/o even you know it, but when something I learned comes up either at work or in my personal life, and i am a bit rusty remembering, I can always find it in my files - refreshing my memory by reading my notes file.
Decimal Time: How the French Made a 10-Hour Day (2013)
I just found their quote:

> Flyhomes makes money through the commission paid by the home’s seller.

This is the same lie all realtors love to throw out. "You don't pay - the seller does!". Never mind the buyer is the only person who brings money to the transaction.

Unless that commission is much smaller than a traditional realtor, I hope they fail.