skysight-inc/HackerNews huggingface dataset:
I think the problem this product is trying to solve, making it easier to implement rigorous testing, is an important one. When I talk to junior developers I compare enterprise software development to painting. When you paint a room, most of your time is actually spent taping out all of the edges and boundaries. The verb painting is a misnomer. Similarly, it isn't a fast or easy for devs to see all of the boundary conditions in inherited code bases and write meaningful tests for them.

You mention in the description about testing code for all possible inputs. Are you all actually doing this behind the scenes with an SMT solver? Are you using some other proof assistant (COQ, HOL, etc) to be able to use proof-by-induction techniques and thus manage the path explosion problem?

I tried out an example comparing two multiplication algorithms (see below) and the tool said it couldn't find any issues in about a minute. Curious whether it will scale to larger problem sizes.

// implementation 1
int mult(int x, int y)
{
return x*y;
}
// implementation 2
int slow_mult(int x, int y)
{
int result=0;
if(x<0)
{
for(int i=x; i<0; i++)
{
result-=y;
}
}
else
{
for(int i=0; i<x; i++)
{
result+=y;
}
}
return result;
}
Power (not energy) density matters in comparison of fission and fusion because the rest of the power plant is very similar. It's not relevant to the comparison of PV solar and fusion because this is not true. But we don't need to make that comparison, since we CAN compare those directly with fission by looking at actual costs, and then conclude they should be cheaper than fusion (because that will be more expensive than fission).

Tritium will be handled in such large quantities in a fusion reactor that even small leaks will be problematic. As I like to point out, the tritium made and burned in a 1 GW(e) DT fusion reactor in one year would contaminate 2 months of the entire flow of the Mississippi River above legal limits for drinking. Even small leaks could cause serious harm to property values (sorry, your ground water can't be drunk for the next 50 years.)

Gen-IV reactors aren't built not for political reasons, but because nuclear has become such an economic orphan that there aren't stakeholders to drive the construction of these things. The money isn't there because the ROI isn't there.
Looks nicely done.

I'm curious why you chose to use the monte carlo approach? Other tools in familiar with use historical market data instead.

A lot of what I've read suggests that monte carlo doesn't approximate the market very well. The market is not random. It has well defined historical cycles (bull, bear, sideways). Also, issues like sequence of returns appear to have a large impact on portfolio longevity. How are you thinking about these sorts of issues?
High Court rules page owners responsible for Facebook comments
> Do you see any issues with this?

Yes, in that you're just ignoring the comment you replied to and repeating the same incorrect nonsense.

Disagreeing with a law does not require breaking that law. You're perfectly welcome to disagree with the lockdowns in Victoria and NSW, and you can do that wherever you want. You're not welcome to break them.
> Imagine how much Bitcoin we could mine with that kind of energy source...

Not much more nor less, since the amount of Bitcoin generated every 10 minutes is controlled by an algorithm independent on how many machines are mining.
Its not pure silicon. Its a silicon composite particle. The difference between other commercial silicons (like that in every Tesla) is that you not combining silicon (silicon oxide usually) with graphite.

The problem is we don't actually know what is in Sila Nanoparticles, but I am pretty sure its not 100% silicon.

Removing graphite is the claim to fame here.
The Canadian customs/border authority is somewhat famously strict about DUI convictions. IIRC, George W. Bush had to be granted a special waiver.
Are there known health impacts from EM fields generated by induction cooktops? The only plausible risk I can find is to people with pacemakers.
Is that an output problem or an input problem?

It may be that the states are terrible at gathering information rather than reporting it.
I went very deep into OpenCog and finally had to concede that there just wasn't enough rigor and coordination between the compoents. Goertzel seems easily distracted by various other subjects. I realize that he has to figure out ways to fund his work, so I am not being judgemental.

In addition to symbolic and deep learning, future AI systems will most likely have a causal learning component. Judea Pearl has been working on this subject for years. http://bayes.cs.ucla.edu/jp_home.html
Really? What exactly changed? Besides the left being more and more a substitute for GOP-style policies...
Actually you can scale magnetic field stength or size to produce more power. SPARC (and later ARC) aims for the former with modern superconductor tech and is on track to potentially produce energy at Q~=11 by 2025.
Yoda Timers 3: Speed
@numpad0 Is it the Chunxiao gas field [1] that you’re thinking of?

[1] https://en.wikipedia.org/wiki/Chunxiao_gas_field
Probably trying to pre-lowball you.
Right, but the timeline of getting a human certified flight vehicle for a mission of that duration, carrying the amount of fuel needed for the "back again" portion of the trip is probably equivalent to the (delayed and prolonged) development time of the JWT.

We're on track for a manned moon mission in approximately 10 years, and the 'best minds' view building a robotic refueling station in cis-lunar space as the ideal means of making the launch realistically happen, owing to the issues of fuel weights. The rocket to do this mission doesn't exist, the space craft to go there doesn't exist, and the designs we do have (crew dragon, soyuz) aren't easily retrofitted to the mission requirements of going out to L2.

Theoretically solvable, yes. Practically impossible, especially when building another JWT would cost less, take less time (just do it again, but better!), and most importantly, risk fewer lives (0, by my count).
16 million / 25 million is 64%.

> not quite sure where you got 65% from

I'm not the original poster, but I mean, it's kind of obvious that it came from dividing literally the only two other numbers present in the comment you're replying to.

If the issue is that you disagree with those population numbers, then maybe say that explicitly and point to where you're getting your numbers from so that the point of contention can be identified instead of everyone just yelling that their unsourced numbers are better than the other person's unsourced numbers?
Yes, I think you may have misunderstood what I said. There are people worried about the threshold lowering, e.g., taxing estates of only a few hundred thousand, or perhaps anything (I'm not saying a lowering to this degree is remotely likely.) So they complain about the estate tax at its current levels. It's an example of the tug-of-war mentality that appears in much of American politics.
Not sure what that has to do with anything. They built a plant for mostly research but its enough to sell for wearables.

As they increase scaling they will start do phones and then cars.

Its about scaling, but that is totally outside if they have a 'breakthrough' chemistry.
That is, unfortunately, age-gated by YouTube.

(Shut the Fuck Up has apparently been Shut the Fuck Upped.)
As others have pointed out, that map is from last year, and additionally only one of the six states there were in lockdown at that time (Victoria).

Right now only two states are in lockdown (NSW and Victoria), with Queensland being the only other state with active locally-acquired cases.
Perhaps we should make phone books bulletproof if we're going to idiotproof the world. https://www.nytimes.com/2017/12/19/us/youtube-shooting-minne...
Also worth noting that the a7 is a Mirrorless camera, not a DSLR. MUCH smaller and lighter. Though as a Full-Frame camera it's still quite a bit bigger than a webcam, Sony's a6000 line of APS-C cameras is a lot smaller.
Interesting theory. I haven't read of any lobbying to that end (most seems to go into favorable windows and other means of exemption) but it would certainly create a larger block of opposition.
Telegrapher's Equations
Isn't it your management who have destroyed those things?
Tech Companies Manipulate the Media
What matters is how good your batteries are compared to price and at what scale. What combination of silicon/graphite or other materials is used doesn't really matter.

I for one am more exited about Tesla mixing metallic silicon with graphite, rather then these complex composite particles. I think that will be much easier to scale.
Conversely, any Canadian who admits to smoking pot (now legal in Canada) will be barred from entering the US for life.
Make sure you calibrate your time machine offsets properly, as a day during the Cambrian Explosion is about two hours shorter than today.
Digital archives meant to be permanent seem to be lost on the web
Bafflingly, the same political forces that oppose abortion also oppose both birth control and sex education.
No option sans degree, I assume? Or at least reasonable compensation while pursuing one.
This is a little bit hilarious to me, because I've been through this exact same "reinventing the wheel" cycle about 3 times now.

The cycle goes like this:

"A mainframe takes too long to buy, it's too expensive!"
"Here, have an LPAR, you can spin one up in seconds!"
"Wooaa there! You can't just do whatever you want, fill in this paperwork to get an LPAR!"
"Getting an LPAR approved takes too much paperwork!"
"Here, have an Intel server instead! It's not a 'proper' machine, but you can have it in a week!"
"Wooaa there! You can't just do whatever you want, fill in this paperwork to get a new server provisioned properly!"
"Getting a server provisioning approved takes too much paperwork!"
"Here, have a VMware virtual server instead! It's not a 'proper' machine, but you can have it in a day!"
"Wooaa there! You can't just do whatever you want, fill in this paperwork to get a new VM provisioned properly!"
"Getting the VM provisioning approved takes too much paperwork!"
"Here, have a Cloud server instead! It's not a 'proper' machine, but you can have it in minutes!"
"Wooaa there! You can't just do whatever you want, fill in this paperwork to get a new cloud IaaS VM provisioned properly!"
"Getting cloud IaaS VM provisioning approved takes too much paperwork!"
"Here, have a Kubernetes Namespace instead! It's not a 'proper' machine, but you can have it in minutes!" <-- you are here.
Doing things with other people.

Before modern screen-ruled life, people spent more time with other people. Chatting in the pub, eating dinner together and talking.

Other than that, just talking a walk and noticing things on the walk. I've walked around the same park for years and I still notice new things when I go there.
A California climate program lets companies keep polluting
Tesla (and likely others) uses Si in their anodes but its not Si anode. Its a graphite anode with 2-10% silicon oxide.
Thank you, that makes sense of course.
‘Havana syndrome ’ and the mystery of the microwaves
Absorption of 5G Radiation in Brain Tissue
Dissecting Deno
The blog post is about magnetic fields, not EM radiation.
An infinite number of mathematicians walk into a bar. The first orders a beer. The second orders half a beer. The third orders a quarter of a beer. Before the next one can order, the bartender says, "You're all assholes," and pours two beers.

They got lucky to have a bartender who knows his customer's limits.

-----------------

An infinite number of mathematicians walk into a bar

The first mathematician orders a beer

The second orders half a beer

"I don't serve half-beers" the bartender replies

"Excuse me?" Asks mathematician #2

"What kind of bar serves half-beers?" The bartender remarks. "That's ridiculous."

"Oh c'mon" says mathematician #1 "do you know how hard it is to collect an infinite number of us? Just play along"

"There are very strict laws on how I can serve drinks. I couldn't serve you half a beer even if I wanted to."

"But that's not a problem" mathematician #3 chimes in "at the end of the joke you serve us a whole number of beers. You see, when you take the sum of a continuously halving function-"

"I know how limits work" interjects the bartender "Oh, alright then. I didn't want to assume a bartender would be familiar with such advanced mathematics"

"Are you kidding me?" The bartender replies, "you learn limits in like, 9th grade! What kind of mathematician thinks limits are advanced mathematics?"

"HE'S ON TO US" mathematician #1 screeches

Simultaneously, every mathematician opens their mouth and out pours a cloud of multicolored mosquitoes. Each mathematician is bellowing insects of a different shade. The mosquitoes form into a singular, polychromatic swarm. "FOOLS" it booms in unison, "I WILL INFECT EVERY BEING ON THIS PATHETIC PLANET WITH MALARIA"

The bartender stands fearless against the technicolor hoard. "But wait" he interrupts, thinking fast, "if you do that, politicians will use the catastrophe as an excuse to implement free healthcare. Think of how much that will hurt the taxpayers!"

The mosquitoes fall silent for a brief moment. "My God, you're right. We didn't think about the economy! Very well, we will not attack this dimension. FOR THE TAXPAYERS!" and with that, they vanish.

A nearby barfly stumbles over to the bartender. "How did you know that that would work?"

"It's simple really" the bartender says. "I saw that the vectors formed a gradient, and therefore must be conservative."
Its just like Carrie Lam says, People who break the law cannot expect to be considered part of civil society.
This happened to a friend of mine. However he was eventually able to reverse the situation through a cumbersome legal process.
what do you think the average Australian who disagrees with them should do

This is clever wording.
To make it clear: The average Australian does not disagree with the lock-downs.
I’ve happily shifted to FSNotes after tasting all flavors of alternatives- FSNotes has hit a sweet spot for me, Apple systems only maybe it’s only limit, if fully cross, I can slip back to Joplin, which is good but for some reason or other never hooked me strongly (am always looking for notational velocity replacement- thinking I’ve finally got it)
Well the first problem is that it's not legal. Lets fix that problem for fixating on the secondary issue of the American legal system exacerbating principal-agent problems
What behaviors?
Do you see where this is going?

If you want to make a point, make it explicitly. This isn't useful.
Yes but also no. How can they find senior COBOL developers if there are no Junior COBOL jobs? Sure someone might pick it up for the money but they will not have “X years of experience” required to work on incredibly sensitive money systems.
When I was in NZ's MIQ you were only allowed a certain volume of alcohol - e.g. X beers, 1 bottle of wine, or something like that each day, and to get more on later days you would have to put the consumed bottles out for collection, so you couldn't store them and then binge drink.

Seemed entirely reasonable to me.
https://archive.is/T4DX0
There isn't a great system for inter-state reporting in the USA. That may be good, or bad.. But states operate largely independently.
This might be true if police brutality and disregard for rights were new problems, but they're not. The reason these problems with the police are finally being discussed is because there are cameras everwhere now.
First Came a Quake in Mexico, Then Strange Blue Lights
In the 21st century, if you're building systems infrastructure and are able to choose a language that's not C or C++, it's a pretty big call to decline memory/type/datarace safety.
There's an implicit "in a way that was hostile to their customers/the docker community" in there.
Taking a long shower also does it for me.
> There simply isn't any good argument for why money earned off the land itself should go to a private individual. It should go to the government because it is protecting the land with its army and building infrastructure to maintain its value.

Is this not what happens, in a distributed way, via property taxes?
>News comments have long since been the most toxic pool of crap on the internet.

Looks to me like every other anti-free speech measure enacted in the last 5 years. Just remove comments so propaganda can't be countered by the people. Only the official proclamations can be allowed.

Quite often, I find comments many times more insightful than the news stories themselves. Losing them limits the value of news sites to me.

PS: You seem to hate comments and love limiting free speech yet here you are... commenting on news stories. Rules for thee, but not for me. How very hypocritical of you.
Should Epic's algorithm be open to critique or is it IP that they can keep secret? If challenged should they be forced to explain it or at least provide the inputs? It's worrisome to me that the process behind these numbers is fairly opaque and is going to get even so with ML. It's often fairly difficult even for data scientists to precisely explain their own algorithms and weights that produce an output.
Why is it so hard to write a translator from Cobol to a modern language? It seems there would be a lot of advantages.
I’ve heard: Higher levels of dissolved minerals, which might be harmful, and a low chance of being a breeding ground for brain-eating microbes, which will be harmful.
Sigh.

1. Yes, a gradient is required. If the energy of the diamagnetic material does not change, there cannot be a force, as this will violate conservation of energy. You are proposing a perpetual motion machine of the first kind.

2. The quantum nature of diamagnetism doesn't matter in the slightest to the argument being made, so why are you bringing this up?
> Those who insist that everything is working fine and as the founders intended tend to be either successful collectors of political rents or naive optimists who have never seriously experienced or imagined life under other conditions...

"If you were honest and actually thought about it, then of course you'd agree with me." So everybody who doesn't is either thoughtless or on the take. You are, at a minimum, not assuming good faith.

You can see the problems with the current system and still disagree with all the values and mechanisms that are proposed as replacements, thinking they are inadequate. That leaves you, by default, supporting the current system, not because you think it's the perfect system, but because you don't think any of the alternatives are better.
If society wants more babies, the path is easy: provide financial help for couples and single mothers. The way it currently is, abortion is very attractive.
It's pretty clear that Azure DevOps is going the way of the dodo. They haven't even finished migrating their "old" pipelines to the "new" pipelines, and I'm already seeing some things that are GitHub Actions only.
Also, you presumably have to know or be willing to contact a lawyer and starting paying their fees for what could well be a non-issue. I can understand the risks in the US, but it just seems very adversarial.

I have no qualms regarding speaking with police in Australia. I don't have fears of them planting evidence or tripping me up on something. But that might not be true of all Australians, I guess.
> It's just - what? - four time farther than the Moon?

Oh, is that all?
There's a small army of people who get paid to write op-eds about small farmers being forced of their land by the cruel gubmint etc. etc.

Didn't mean to repeat myself bthere but it's only a matter of time before we see op-eds about small content farmers being forced off their domains by the estate tax. Might have to start a satirical Twitter account to fulminate about it.
One thing I do know, is that the data sharing arrangement between the US and Canada, shares criminal records.

For both countries, pardons, commuted sentences, do not hide the transfer of information, and are meaningless. This is because each country only cares about the crime, and its own assessment of "should this person, with crime x, be allowed in".

Outside of that, a presidential commuted sentence, by its very nature, is political, not court based.

Lastly, each country puts the safety of its citizens, above the rights of foreigners to visit.

I wanted to reply with these points, before reading the article, as generic, non-case specific logic is important here.
If this is using the macOS native virtualization, then, yes, networking will be broken while a vpn is active.

This is a known issue that also was present in the Docker for Apple Silicon public preview where they eventually fixed it by dropping built-in virtualization for qemu
These American Universities Graduate the Most STEM Majors
From Canada's perspective, it pisses off our auperpower neighbor.

Doing that doesn't go well for canada
Your argument is that the stigma of nuclear meltdowns hasn’t impeded the deployment of nuclear energy?
Photography, with a camera. Just go for a walk with a camera and look for things to photograph. You'll get much better at seeing the world.
They ask you.

If you lie about it they will likely ban you for even longer.
I’m surprised anyone is surprised…
I tried podman on my MBP and didn't get very far :/ https://github.com/containers/podman/issues/11479
The simpler answer is just book for a date with no year. Someone gets Febuary 22 @ 4pm in the first year. It may happen in 2022 or 2023.
> any Canadian who admits to smoking pot (now legal in Canada)

Also completely legal, for recreational use, in 6 of the 10 US states that border Canada, and legal for medicinal use in 9 of the 10 states, Idaho being the only hold-out.

This is getting pretty silly now, no?
It needs reflect in order to translate struct field names into column names at the very least
This appears to link to all 8 parts: https://www.thedigitalcatonline.com/categories/amiga/
If reactors were ten times safer but no cheaper, they still wouldn't be being built.

If reactors were ten times cheaper but no safer, we'd be building them like hotcakes.
Feels like people take these new models way too seriously.

Yes, GTP-3 is a very significant leap. But how is this different than someone fine tuning any recent, open and free AI model over e.g. all emails and chats from a late friend or even fiancée?

If doing so gives anyone value, how is it wrong?

I'm pretty sure this is the same alarmist thinking as TV will mess up the kids, or video games causing violent tendencies. Initially, we'll all be blown away by ever improving AI models. Then, optimal models for imitating patterns over a given text set will be a commodity, if it's not already. And it'll be everywhere, and we won't think much of it.
Biden to outline plan to curb coronavirus Delta variant as cases grow
I'm prepared for the deluge of down votes.

https://www.aclu.org/news/civil-liberties/civil-liberties-an...

There is no world in which a mandate for all citizens 12 and older to have a particular medical treatment, otherwise be barred from public life, is about "civil liberties". It's such a contortion.
Are there any limits on ripe-fruit delivery? 20th-century America has a manual for this sort of situation.
I quit Facebook years ago when I finally brought myself to acknowledge that most of the people I was subjected to in my “feed” were not only not my friends, but many of them I actively disliked as they grew into their ways. I made a point not to extend any olive branches. The few real friends I had on Facebook would always just text anyway.
https://mobile.twitter.com/ashishkjha/status/143545986736444...