skysight-inc/HackerNews huggingface dataset:
I'm a primary contributor to c2rust and I may be the person "stolen" away from corrode. I'd like to apologize if it feels like we ripped off ideas without giving due credit - the project wasn't really supposed to "discovered" so soon. The website was a throwaway idea, a means of easily sharing our work in a limited circle while avoiding both the DARPA approval and the sub-par build process (you have to build a huge chunk of Clang).

So here is me acknowledging Jamey's work: I personally did take inspiration from Corrode, and I was expecting to work on Corrode proper when I joined Galois. I've re-read the CFG module of Corrode several times (as well as the Mozilla paper, and some older literature).

All that said, I also want to point out that Corrode hasn't had any activity at all since last April - and that's not for want of PRs piling up. I'm not criticizing here, since I understand that managing an open source can be quite time-consuming and stressful, but I feel like this also does need to be mentioned. Also, c2rust can be freely forked. Once the DARPA funding runs out, it is my hope that the Rust community will become the maintainers.

Finally, regarding the many improvements that can be automated: that is next up on our plate!
Downvoters: can you be more specific? Usually it's obvious on a reread when I've failed to contribute to the conversation and I'll take the downvotes gladly, but this one has me stumped. Do you just not agree with my opinions, or have I come off as too sanctimonious?
It's simply ignoring reality to not acknowledge Tesla's center role in popularizing EVs. It's not even a question.
If you have to deal with larger systems that interface with finance or government orgs, you'll end up needing to work with these numbers though.

I've heard that there's not a legal framework for using Common Era dates in certain contexts, which...apparently matters? I've also heard that the gov't even has regulations for enforcing usage, but can't find a reference on that. One could think that it's merely an interface problem but if the database asks for Heisei the easiest thing is to outsource the CE -> Heisei transition to the person filling out the form.
I think booking a VM via Twitter/Mastodon is pretty weird. Why not e-mail?
Well, download took longer than expected :).

Anyhow, here's a sample from the csv file:

filename,text,up_votes,down_votes,age,gender,accent,duration
cv-valid-test/sample-001224.mp3,but i felt miserable watching him wither away like a shriveled dandelion,1,0,thirties,male,england,

Not sure how some of these are being populated, but yeah; there's several additional folders including invalid mp3, a splintered train set (not sure how it was selected) and a test set folder.

Here's the README.txt. Looks cool! Have happy hacky fun! :)

https://gist.github.com/cwgreene/f7f4df4ddcd9da017b9f4694b3f...

Interestingly; many of the 'invalid' mp3's are actually (mostly) correct. Listening to them is interesting to guess as to why they were downvoted.
> for example in some cases the audio has a slight mispronunciation even though the intended word was clear

had similar issue/concern. ideally if enough people mark something as correct, the variations and slight differences will get merged together. it did still bother me a bit, as being able to add a bit more extra data would probably be helpful. but... maybe they can add some geo-ip data - respondents from various areas would probably mark more stuff 'correct' from their own region. ???

Being able to mark something 'close', or rate it (1-5, maybe) would help. Just heard an indian accent reading "It's such an unfair world, innit?" The words are... correct, but 'innit' is somewhat idiomatic (especially spelled out that way - seems more UK-oriented text). The pronunciation was "correct" but "awkward".

Also... (too lazy to check right now) - if I create an account, can I see the 'yes/no' ratings of my own submissions?
You really should place it in a metal box if you really want privacy while not using your cell phone.
Only mildly concerning thing seems to be the pay-for-privacy bullet at the end of the article. This can definitely be fixed.

Further, reference to Sorrell vs IMS seems very contrived to me (not a lawyer though), as it deals with B2B records (DR prescribing history) as opposed to purely consumer rights or privacy. https://en.m.wikipedia.org/wiki/Sorrell_v._IMS_Health_Inc.

Outcome was that the law was struck down as restricting data mining company’s first amendment rights.
There's a reason Dante reserved the worst circle of hell for betrayers. I'm glad that she took the time to apologize to her ex-wife. It's better than nothing.

That said, the woman is promoting her new book on empathy, the implied claim being that she is now an expert.

No. You don't get to profit off of your redemptive journey (which I truly hope she doesn't think is complete). It boils the blood. I initially had a lot more expletives in this part of my comment draft.
> 4. other car makers trail behind Tesla more and more in terms of technology. Remember, all these car makers had DECADES of head start developing EVs before Tesla was even born. Tesla was supposed to trail them in tech, not the other way around.

> It's easy to assume that because a company is bigger, and have more resources and manufacturing experience, that they can move fast in developing tech. It's easy to judge a book by it's cover. Incumbents move slow ALWAYS. If moving fast was so easy, they would of done it before Tesla was born.

This isn't silicon valley. There is years of design and manufacturing experience that Tesla simply does not have. This isn't a software project where someone in a garage can make it and scale it. Tesla can build luxury cars because budget constraints are significantly less. Now they're struggling with the constraints like everyone else.

Other car makers are just as competitive now. The reality is the Chevy Bolt is a great start and will only be improved upon. Elon Musk has no monopoly on technology. There are competitors in almost every sector. Many great engineers are elsewhere.

And the reality is - most people don't care about EV right now. Sedans are struggling mightily. Americans are buying SUVs and crossovers right now. General car manufacturers are able to easily switch production when the market shifts. Tesla can't even make a budget friendly car. Their model 3 will be out of most of the market's price range. Meanwhile GM can still make a Sonic and Cruze or a pickup truck.

> Right now, solar panels are considered a "toy". It's not even on any of the car makers' radar. It's like how Tesla's first Roadster cars were not on any of the car maker's radars 5 years ago. It's a "toy" until one day, it becomes a reality, and you tout your ability to "catch up" with your "vast experience" 5 years from now, folks like you will write another article, about how GM will be able to produce solar panels to "catch up to Tesla in just one or 2 years"

Gee why didn't GM buy FirstEnergy or Duke Energy! They're so behind in the energy industry...This argument isn't even worth debating. GM is not a power company. They do not want to be.
Your comment has expanded my thinking about this issue. It's one thing to learn to identify sociopaths, but the next step is even tricker: Identifying their networks in the organization. You're absolutely right that sociopaths immediately surround themselves with a web of hangers-on, toadies, enforcers, and adoring fans which make them very difficult to take out. If you're the CEO charged with healing a toxic organization, it requires not only ejecting the sociopath, but also most of his or her entire support network probably needs to be ejected at the same time.
There are tons of other country that had the chance to "steal" technology, it's only China that really puts hard work and effort to manufacture it to a product, and drop into market.
Yup. It’s not uncommon in the slightest.
> This bill would provide that a consumer shall have the right to request that a business delete any personal information about the consumer which the business has collected from the consumer. Upon such a request, the business would be required to delete the information from its records and direct any service providers to do the same. This right to delete would need to be disclosed by businesses collecting personal information

How does this work when someone requests that a company delete all invoices related to them?
I don't know what is worse; the abandonment or the enabling by the therapist.

Shitty people all around. And the entire article comes off as selfish, this guy didn't deserve the forgiveness he longed for.
The Japanese driving license expose people to the Japanese calendar years, and they are renewed every 3 or 5 years. Mine expires in 平31. So technically, it might even expire in year 1 of the new era (it expires in July).
I agree, it mostly seems great. I want this in my state. If you are in the world of your business working by getting info from website users, or from third parties who got it from who knows where and then figure out something about you, which is a lot of internet properties, then they wouldn't like this because they like copying our info around all the time.
Author here. Back in the mid 90s, search engines were a thing, and you had many companies trying to provide search results in the emerging web. In 1996-97, it was the in thing to run a search engine.

And then Google happened ...
Maybe not exactly what you are asking for:

https://dlang.org/blog/2017/08/23/d-as-a-better-c/
Can't wait to try it either.
What Is CoinText? Send Bitcoin Cash by SMS to Any Phone – The Crypto Pouch
WalMart’s free curbside pickup to launch nationwide
This is easily some of the craziest racing you're every going to see. There's zero margin for error and it generally highlights this every year.
Excuse me, but Giuseppe Luigi Lagrangia was Italian.
It never was (or at least was never intended to be).

https://www.huffingtonpost.com/jeff-schweitzer/founding-fath...

https://en.wikipedia.org/wiki/Treaty_of_Tripoli
Wouldn't that be a bit like blaming Budget Rent a Car when one of their customers driving a rented car hits a pedestrian?
Well, the statistical trouble is that if some ER treatment costs $100K and has a 50% chance of saving someone's life (and prolonging it by 15 years), or else not making a difference, the end result is that 50% of spending takes place in the last 10 minutes of people's lives.
I took a cursory look at the output of C2rust, and it seems to only output unsafe code. What's the point of translating C to (unsafe) Rust code?
The debate on cell phones and their effects is fun to watch. In another 30+ years we should have a solid body of evidence one way or another.
> cities with essentially no zoning rules also have have rising housing prices.

those cities may have laxer zoning/land-use laws than other US cities but they're still very strict compared to cities outside US.
Did you forget about the DAO?
Reciprocity of being interested, by example, FTW. Makes sense to model and ensource behavior

If I get amped up, I become a firehose of consciousness tangents ADD-I but it's usually better to chill, listen and only say what's most important than no-filter crunk-tired.
It's also worth noting this is the first era transition while computer systems are basically everywhere.
It's a she. http://www.crisbeam.com/about
You can dual license, CC non commercial attribution or something, and a regular commercial license.
I wrote a personal benchmark suite specifically to compare the Javascript port of Timsort to my own 'pet' Javascript sorting module 'Barsort.js' which was specialised to sorting Numbers, while Timsort also does strings quickly and takes custom comparators.

I tested these distributions for arrays of 100 to 1000000 elements:

descending ints
ascending ints
descending ints with maveric vals
ascending ints with maveric vals
equally distributed reals from -20 to 20
gaussian distribution -1 to 1
midspiked reals with duplicates -200 to 200
huge magnitude with gaps and duplicates and infinites
equal-dist of ints 1 or 2
equal-dist of ints 1 2 3
equal-dist of ints 1 2 3 4
equal-dist of ints 1 2 3 4 5

Timsort seemed relatively a little slow with gaussian/normal and equal distributions, but still 10x faster or more than browsers native sort at the time.

I was able to extend my pet sorting module to be quite competitive with Timsort's Javascript port. It was a captivating side project that I escaped from as soon as tests passed, its code not in a decent state, but is here - https://github.com/strainer/barsort
I found focus to be woefully unfeatured compared to just using Firefox's incognito. Last time I tried it, you couldn't install any extensions (privacy badger, ublock origin, etc.) and also couldn't disable JS.
In beta!
There's a whole list of exceptions included in both GDPR and this law. For example, a business does not need to delete information when it is required to: "Complete the transaction for which the personal information was collected, provide a good or service requested by the consumer, or reasonably anticipated within the context of a business’s ongoing business relationship with the consumer, or otherwise perform a contract between the business and the consumer"
pardon my ignorance. I though Bitcoin was (is) a cryptocurrency. Can you explain the difference please?
The idea is that this is a first step towards safe Rust. First, you convert to unsafe (but semantically preserving) Rust, then you refactor. The refactor stage probably will involve changing some semantics (read: fixing bugs), or perhaps proving some properties with an SMT solver before applying certain transformations (converting a `libc::c_int` to an `i32`, or a `*const i32` to a `&i32`).
Solve problems. Put in bugs. :-)
I have yet to hear anyone say they're impressed with the I-Pace
Overfit for Purpose: Why Crowdsourced AI May Not Work for Hedge Funds
I don't know if this is still the case but when I worked for Lycos 10 or 11 years back they owned Hotbot so including both in the list is a bit redundant.

They also -- despite being one of the first ever search engines -- didn't do their own search in 2008. They outsourced to Yahoo. Though there was an effort at the time to become a search engine again. I don't know if anything came of it.

Edit:

It's hilarious they labeled Lycos as...

> Lycos—is still around!

Because even at the time I worked their the number one response I got from people when I told them that was "They still exist?"
I'm not an expert, but I believe what you're missing is the current legal gray area of meta data like IP addresses. Pulling account numbers associated with contracted accounts sounds more like it needs a warrant.
I am surprised to see this type of argument on HN of all places. One of the primary goals of any start up is to either create a new market or to serve a market that an incumbent is failing to properly serve. You can't just assume that because a company like Toyota hasn't done any of these things yet that there is no potential to gain from them. There are countless reasons why traditional powers fail to innovate and are eventually challenged by more forward thinking companies. I have no idea if Tesla will be that company long term. But the potential is there and that potential is what is fueling the hype.
Utter layman's guess: While indexing has gotten easier, the web has expanded exponentially in the meantime - likely far outstripping any technical gains. I would be surprised if indexing the modern web is feasible without significant time and capital.

Also, I can think of a couple specialized engines that do exist: Google Scholar and Shodan. There are probably more I'm unfamiliar with.
As said elsewhere in the thread, some towns that are losing people have their house prices going up.
Thank you, edited.
What percentage of users do you think routinely check for the presence of an EV or OV certificate on the sites they're browsing?
hah, God prepared lowest level of hell for those who pretend to be believers but aren't, all Dante did was make fun of God in a book.
Also, Americium in Smoke Detectors [1]

[1] https://www3.epa.gov/radtown/americium-smoke-detectors.html
Creating a multi scale neural network
I'm not sure sugar in sauce affects acidity, I think that's a myth. Finding it hard to find some studies on it though, best I've found:

https://warmchef.com/does-sugar-reduce-acidity-in-tomato-sau...
This law sounds awesome, please implement something similar in Australia and New Zealand.
It's not the one time performance that matters, it's the rate of flow as time continues.

Also recall that band //width// can be increased for a cost while latency has hard upper bounds.

For anyone complaining about profit margins, think per unit profits rather than hitting some round base10 number.
Oh, imagine that! Keeping the paper mill far away from your house makes your house more valuable!

You can't have your cake and eat it too: either prices represent the value people give to things (a commitment held by free-marketeers) or they're "artificial". And there's no reason to believe that freedom automatically creates happy outcomes, especially because inertia can leave inequities (e.g. redlining still affecting both familial wealth and [/therefore] segregation) or undesirable externalities (e.g. formerly livable land polluted by industry dumping, or disused commercial/industrial buildings that are now rotting hulks) still in place for loooong after the capital that created the problem has left the community.
We are switching, from paper, declared by fiat to be "money" to a digital decentralized ledger, it is just that simple.

Get caught holding the last of the paper stuff just one day longer than the next greatest fool and you will be sorry. SWIFT knows this, governments know this and now the legacy financial industry (5 years too late) is starting to get it too.
Yes, this was the key fail. If he'd been careful enough not to leak his IP address, he would arguably have remained free.

I was, for example, using VPN services and Tor well before 2008. And I've never been more than a gray-hat hobbyist sort of "hacker". Anyone seriously into criminal activity who didn't reliably hide their IP address was a fool, even then.

My point isn't to dump on Rigmaiden. It's just that articles like this contribute to the FUD about privacy being impossible now. The reality is that most criminals have horrible OPSEC. Especially when they're just getting started. And then they're careless about historical connections.
The genereal idea is to let the children themselves want something with passion and they will pay attention. (not only to child in fact).
However, one of the simple way to do that is NOT autonomy as the article suggest, but to make that thing sparse, precious and difficult to get. The children does not have the right to be well educated, will pay more attention comparing to those who have plenty already.
They were pseudonymous of course, and disappeared after emailing a bunch of Bitcoiners like myself and discovering no one was interested.
>It makes Bayesian statistics seem like a matter of letting your expectations influence your results.

The smart approach is to have a set of a prior expectations, run through the data, and see what comes out the other side. Essentially, through a large amount of experimentations, you can narrow down what assumptions were indeed correct.
So far none of my kids have really cared about coding at all. We’ve got python books, js books, ruby books, scratch, Lego Mindstorms, arduinos... they aren’t interested. Definitely wouldn’t pick it up unless prompted.

We home educate, so they have access and time to explore.

Nope.

Our oldest picked it up after a 6 month stint making sandwiches when they were 17.

“Dad, can I still learn to code?”

I miss the days when “tell turtle forward 50” was amazing.
For All the Benefits of Studying Mathematics, Some Critics See a Dark Side
Patrick Stewart was mistakenly cast for Dune and had no idea who Sting was
Nobody managed to get a sample? This has to be easy to prove it's bird waste or not, right? Or that it has plane system chemicals in it.
I think about this every time I use my phone or watch tv at night. My TV doesn’t have a redshift setting and my iPhone has Night Shift, which I have turned all the way warm, but even that still feels like it’s not warm enough. It would be great if the iPhone had a setting to just go red monochrome... Like F.Lux’s darkroom mode.
> the text is locked down, so there’s no way to improve the proposed text based on comments from other stakeholders (which the legislative process allows)

Or one of those stakeholders or a chairman beholden to those stakeholders would have pulled the same move that just happened with CAs net neutrality bill and used the process to poison-pill it.
Captain Beefheart Radar Station
Haha never :)

For someone so paranoid about privacy as to not even own a "dumb" phone, I was curious what type of computer/internet setup they would be using to work around all the privacy traps such as broswer fingerprinting, traffic analysis, deep OS and hardware exploits, linguistic analysis, etc. etc.
I'd love a search engine with more querying power limited to a niche. But I doubt limiting topical scope would do much to keep computational complexity from blowing up. A while back some startup was charging per search to work around that.
Roughly, yes.

I believe that the CA/Browser Forum has extensive documents on what passes for EV (and, notably, you have to be a registered business/organization for EV), and the only rule for OV is that you have to "implement a process" that makes sure you have "verified" the information but doesn't care how stringent you are, so in theory the "extended" part actually means something.
also, f her, f NY times, this whole time I thought Cris was a dude named Chris. Calling her wife like it ain't no thing is really getting old now, and throwing in those Jewish words like she asking from them too. Yep, she's a sellout, she sold her soul long ago, now she's selling her time, but you be careful with that Dante dude too, many people sold them selves for fame and recognition.
Right. If there are any major issues, the companies can pay the government to make it how they want. They surely will anyhow. Very sad for the small businesses that will suffer, but I can’t reason to worry for them more than the all the millions mustering a life in the surveillance state without small business capital. It sounds rough but something has to change yesterday. Let the corporations work out the details for once and if you honestly want small businesses to have a voice, simply vote for candidates who don’t accept corporate campaign donations. That’s where it starts.
Reminds me of this great site: cookingforengineers; specifically the article on browning:

http://www.cookingforengineers.com/article/209/Heat-Transfer...
Or how would you troubleshoot which hop was the source of a routing problem without including a source IP to send a message back to.

These kinds of discussions seem utterly divorced from the reality of networking to me.
Exploring Science-Fun Activities to Create High Interest
Actually, back in Showa-Heisei, there were plenty of the computerized system existed already. Many of these system, where they could not be patched, is "assuming" the system is still in Showa. (So the system thinks this year's Showa 93)

They will see Y2K like problem in 2025 (Showa-100) if these systems are still active somewhere (as they may not handle >99) and to less extent, same thing may happen in 2088 (Heisei-100)

I'm thinking their tendency of ground-up development of those internal systems in Japan would make this a lot more complicated.