skysight-inc/HackerNews huggingface dataset:
Ask HN: Why your university/company still use web proxies?
For those IT managers in universities/companies around the world: Let's Encrypt [1] shown that more than 67% of web traffic from Firefox around the world are encrypted (HTTPS), and Google [2] shown that 67 of 100 top sites has already implemented HTTPS.

With this ongoing trend, why your university/company still use web proxies? Why do you think it is still relevant/not relevant anymore? Are there any legitimate web proxy use cases for your university/company? And how do you react with this trend (that more and more HTTP traffic will be encrypted in the future)?

[1]: https://letsencrypt.org/stats/

[2]: https://transparencyreport.google.com/https/top-sites
> Governments can pressure technology companies toward humane business models by including the negative externalities of attention extraction on their balance sheets

What does this mean? I'm genuinely curious. Meanwhile, easier: tax ads.
Show HN: Gitleaks – search Git history for API keys
And deciding when a fetus is mature enough to consider that a death ... is a big can of worms.
I think you have effectively come to the same conclusion, but without the abstract idea to back it up.
What Does Facebook Do Now?
I see where you're coming from, but on the other hand its almost a contradiction to say that a mind regains its flexibility yet remains stuck on fixed beliefs. If rigid beliefs are the product of a rigid mind, then a youthful mind would not suffer from the same problem.
I think it is more scary for the parent than the baby.
https://github.com/SimonDanisch/PackageCompiler.jl

This might help you out
I didn't say road deaths weren't bad. Yes, all else being equal it would be better not to have people dying on roads (or anywhere else). But all else is not equal. Everything is a trade-off, and we have to choose where on the balance we want to be. I don't think it's beneficial to sweep this fact under a platitude.
That being why I wound up going with a hybrid RAV4 in the Southwest. I really need an awd where I live, but I still want to try to lower my footprint. The local dealership had plenty of inventory and knowledge. (Granted, it’s still an ICE. They’re not losing the service model. Even Toyota’s said they don’t think the BEV will replace the ICE)
Nice article. https://ourworldindata.org is quite good as well, often indicating we've made massive improvements despite populist thought that we're living in bad times, nostalgia for the past, a la make xyz great again.

Too bad they didn't express the data as a rate every time like say traffic deaths. UK population grew from about 50m to 65m, or 30%. Even if all the absolute data showed flat graphs, as an individual you'd still be substantially better off.

This invites other questions: are we driving safer, or just doing it less. There's data for that too, surely. A quick peek seems to show total traffic in 2012 was 10x that of 1949, and that average miles per person at least grew until the 1990s [0].

In short, these graphs probably severely understate improvements to traffic safety in general, and reductions in danger from traffic to each individual in the UK.

[0] https://www.parliament.uk/documents/commons-committees/trans...
That plus a belgian beer, what else ? The guy presenting it live was very enthusiastic and you just can enjoy the whole thing. Seriously it's a thing to live.
It's a good technology if you agree with the goals of libertarians today which is that we should be able to do everything without trust. Having trust is such a huge shortcut of energy and enables you not to have to completely do everything yourself. It pretty much enabled civilization to begin with, but many people now have given up on trusting anything and don't think they have the agency to improve any sort of trusted authority.
I pointed to the laws of two states which seem to say something different than what you just wrote. (Specifically, there is no blanket ban which makes it illegal to walk onto a highway.) I could point to others if that would help.

I pointed to images and accounts of people walking on highways, including a pilgrimage which has been done for 200+ years.

I'm therefore confused about why you write that it's not legal to walk onto a highway, when I gave plenty of evidence that it is both legal and something that people do.

I'm also confused why I was downvoted. What sort of evidence is needed to disprove ronsor's statement "There are no pedestrians on highways."?

I think you are specifically talking about restrictions on a limited access highway. (lsh123 brought up "US highways", which is a broader term). Even then this, there isn't a blanket restriction across the US. For example, concerning bicycles I'll quote from https://en.wikipedia.org/wiki/Non-motorized_access_on_freewa... :

> Different states of the United States have different laws. Cycling on freeways in Arizona may be prohibited only where there is an alternative route judged equal or better for cycling.[1] Wyoming, the least populated state, allows cycling on all freeways. Oregon allows bicycles except on specific urban freeways in Portland and Medford.

I used to live on one of those states which allow bicycles on the interstate, and I've seen people cycling on it.

But you don't have to take my word for it. Here's a WA DOT poster describing how cyclists will need to detour off the interstate due to construction, http://www.wsdot.wa.gov/NR/rdonlyres/F4E32F19-5443-417D-BE5D... , with text like "Westbound bicyclists are required to leave Interstate 90 at Exit 62 - Stampede Pass near milepost 62."

Or from http://www.dot.ca.gov/hq/paffairs/faq/faq67.htm which says "Of the more than 4,000 miles of freeways in California, about 1,000 miles are open to bicyclists."

And yes, even pedestrians can be on interstates. Going again to the pilgrimage at Chimayó in New Mexico, here is news coverage describing people walking on the interstate.

> "Noah Martinez takes a short break Wednesday and changes his socks in anticipation of walking up La Bajada on Interstate 25, continuing his 90-mile pilgrimage ... " - http://www.santafenewmexican.com/news/local_news/faith-tradi... (with picture)

> "As usual, hundreds of pilgrims have already been on the roads – from Interstate 25 to the small highways leading into Chimayó" - https://www.abqjournal.com/987674/pilgrims-progress.html

Why do you believe I am incorrect in my evidence?
i believe that web markup in any useful productive sense should be usefully creatable and editable by hand, outwith a graphical interface.
That doesn't mean it didn't come from Hinduism. The concept and word were in Greek when Homer was writing, around 800 - 700 BC, and Hinduism was coalescing around 1500 - 600 BC (it says on Wikipedia). Greek and Sanskrit are related languages, and the Greek word has a root in their common ancestor. We know there was cultural interchange between the Greek and Indian worlds. Indeed, it's probably a mistake to think of them as separate worlds; Europe and India seems quite distinct now, but there was a time when it was all just the fertile crescent and its hinterlands.

Admittedly, it's probably wrong to say it came from Hinduism per se. But it doesn't seem impossible that the Greek, Hindu, and Zoroastrian ideas are from the same root.
Similar experience with R and Julia. I keep putting `function` first
Archimedes' screw
Ah, cochineal red! Often hidden away in the small print of ingredients, it's a nightmare for vegetarians. Many a time I've enjoyed a strawberry milkshake only to discover to my horror that its colourant was crushed bugs. As a vegetarian, the enjoyment doesn't last long!
I would say it's the other way round. In ReasonML, if you forget to resolve a promise, the compiler tells you the types don't match up. This is better and more reliable than the best linting rules you can get today for JavaScript.

With TS, to be honest I'm not sure how safe it can be since it must play nice with the JavaScript rules that promises can be automagically resolved.
Pandas and Rabbits: Xen Meets American Fuzzy Lop
>> You keep insisting on perfection or nothing at all. There is such a thing as incremental progress.

I think we're talking at cross-purposes here a bit. I don't really care whether GT is useful as a tool. I care about whether the translations it offers are good translations or not. I think you're basically saying that, if it's good enough for you, then it's a good translation. However, this is not a good measure of the quality of a translation! To begin with, what's good for you is a sujective measure. Further, we wouldn't accept "it's good enough for me" for any other translation than a machine translation- and it's accepted for GT only because we understand the limitations of machine translation systems.

So basically my pointing out the limitations of machine translation systems has nothing to do with whether it's useful to you. It's an attempt to explain why the results of machine translation are objectively bad.

I'll agree if you want that it's very difficult to get to such an objective measure of goodness or badness. But that's actually a reason why it's so hard to do machine translation properly: because it's next to impossible to evaluate machine translation objectively, which in turn makes for a very poorly defined task.

So you can feel justified to say that GT is OK for you, because you can understand it. Others can say that it sucks because they can't. And Google can say it's a breakthrough in AI because it scores high on their formal tests, evaluating using BLEU score (or something equally arbitrary).

But none of those tells us how good or bad GT translation really is. So we're left with what Hofstadter does (and what I did here): eyballing it. And, eyballing it, you can see that it's making elementary, egregious mistakes that are not justified by the hype surrounding GT as a product.

Btw, we can expect a child to get better at using language because most children do. So far, no machine translation system has got a lot better than GT- and I don't even agree that GT has gotten any better over the years, or that it's even any better than earlier systems. It just happens to be Google's system and they advertise it as the best ever- but they can't actually, you know, prove this.
So how does the whole lens studio thing work? I just read on the sc site that you have to scan a code, but I just clicked the link and it loaded it right in app.
Any macrofusion he's seeing is most likely from his loop machinery.
My favourite thing is when they use it to dye beverages sold in a can, which you never see the colour of anyway.
Surprised that the article doesn't have a single photo of a cochineal...

I mean the title is 'The insect that painted Europe red'. You'd think they could show it once.
Didn't he just use his status and prestige to buy his way into New Zealand citizenship? (This is a rhetorical question, the answer is "It would seem so.")
This is why the SEC won’t let us have nice things...
I didn't say that Clinton helped Mao. I said he helped China by selling them nuclear secrets. Subgenius was also founded and membered by some extremely intelligent folks so, so invoking them as just a parody religion doesn't do a whole lot for me.

There is actually a mountain of evidence if you care to look. Without even looking at specific peoples actions or associations I know what is going on because of history and because of how obvious it is. There's always a group trying to rule the world. Heck Britain almost did it with fucking medieval technology!

China was definitely not built up solely from within. There are powerful non-Chinese globalists and banksters with strangleholds over many industries at work here. I mean, do you think Chinese farmers are putting this technological tyrannical monster of a government together? The Chinese people aren't doing this to themselves. They are loving it right now though because it's like 1950's USA there and people are getting relatively rich.

ADDENDUM: Anyway, these are not fun ideas to have rattling around in your head. I suggest not looking into it at all because there is absolutely nothing that you could possibly do about it if there's any truth here. The big take away that I got from my investigation is basically this: Live like there is no tomorrow and make sure you're doing what you want to be doing every day. Enjoy as much as possible! Let go of whatever bullshit that you can, because life is short.
Interesting. I was under the impression that 'bogan' was sort of the Aussie equivalent to the classic American "hillbilly" -- and there's a slight (and depending on how it's used, sometimes not-so-slight) negative connotation to it here in the US as well.
Then yes. Although graphic loading sequences that can only be detected in slow motion seem a low-order bug -- in my book, anyway.
The claim that it's statistically unlikely to get those random numbers isn't entirely clear. When asked how unlikely it is, the response is "extremely unlikely", but it's important to quantify that. It's possible he's playing 20x more games than them, for example, and then we'd expect his best scores to contain more unlikely results. But it's hard to say if they would be as unlikely as what we see.
Above all else?
We own a 2018 Chrysler Pacifica Hybrid (PHEV)
Cost after 7500 tax credit was comparable (slightly higher) than gas only variants with dealer discounts.
Winter mpg(e) was fairly unimpressive, about 24mpg(e) combined. Chrysler programmed (?) the car to run heavy on the gas engine when temperatures drop. There are no settings or overrides like the Volt (my only other PHEV experience)

As it is warming up mpge is climbing up to 34mpge, however we havent owned it for a summer or long enough during the warm season to comment on long term warm mileage. Overall we are satisified. Our utility rates are about 11 cents per kWh. We came from an Odyssey that could barely manage 19mpg around town, so 34+ all the while utilizing cheaper electric rates as fuel makes me happy. We don't drive much highway other than roadtrips. The one we have taken resulted in about 27mpg, which was slightly better than our Odyssey could do, but nothing earth shattering.

Driving in pure electric is interesting and even though the electric motor alone produces nowhere near the horsepower as the V6 it still performs well.

I almost feel sorry for the automakers though in making PHEV vehicles. They are complicated and I assume yield alot of complicated questions at the dealer level. If Tesla made a van, I would have strongly considered it, however the model X didn't meet our needs.
Making concrete in the gut
Intel don't provide any tool to disassemble machine code into micro-code do they? I'd love to have that in my debugger.
It might not be accurate to accuse GM dealerships of not wanting to sell Bolts, and don't forget that it's a specialty, low-production vehicle, either way you slice it. Specialty cars are usually handled by one person in a dealership, or only at a bigger dealership in a region. Since everyone else is still motivated to sell cars for their own personal commission, they get greedy and try to convince you they know what's best for you since the specialty salesperson is much more likely getting the sale.

You'll experience the same run-around for custom BTO cars and low production halo models.
It's not just speed it's the distance that you keep. If everyone kept to the 3 seconds rule, which basically applies at any speed we'd all be safer. Further you simply increase that when there's ice and rain.

France has broken white stripes along side their motorway with gaps every 4 seconds travelling at 80 mph. It's beautifully simple and saves on paint too.
I tried Pipenv and loved it. I look forward to using it again. I wish I had the skills to confidently contribute.

As a 3D artist, I have to use Windows a lot and Pipenv doesn’t cooperate well with Windows shell.
Just out of Fosdem and was attending a very interesting talk on tensorflow running on microcontrollers (uTensor project) not dissimilar to this.
I have a plug-in hybrid (Toyota Prius Prime) which may not exactly count (though if the Volt does...), but here in Portland OR I see a huge number of Nissan Leaf-s. They can be bought used for a song, making them an ideal in-town car.
The implication is that a more thorough headline will tell you everything you need to know without having to read the article.

Incidentally, I don't think posting to point out logical fallacies is all that useful. Feels great, adds nothing.
According to the original call-out post, MAME 0.127 and onwards are already much closer to real hardware: http://www.twingalaxies.com/showthread.php/176004-Dispute-Je...

Billy Mitchell just happened to use older MAME versions without those improvements, even during his 1.062M run that was performed several years after MAME 0.127 shipped.
> It's possible he's playing 20x more games than them

Possible but unlikely b/c the person making this claim is the current No. 2 Donkey Kong player in the world Wes Copeland, not Joe Schmo off the street.

Even if Mitchell's disputed scores were accepted they would still be far off Copeland's scores. So when the No. 2 player speaks it carries more weight than just some random dude in his basement.
Do the uop counters he's printing out count fused uops as only 1 uop or do they do something like count the uops separate for uop dispatch and as one for retire?
Of course, the problem is that people in this position tend to assign high moral virtue to what is essentially their hobby, and then tend to make the jump to thinking that people who are not willing to work 70 hours a week are somehow unworthy of rich, comfortable lives.

Jeff Bezos and Elon Musk can work all the 70 hour weeks they want. The problem is when they begin to force their subordinates (or indirect support personnel like the poor accounting schmuck in the article) to do the same.
Nice article. I wish it also discussed the potential value of future-proofing the code (for future Intel or - more important - Intel-compatible CPUs), in which case wouldn't it make sense to use 3 simpler instructions? Even at the risk of instruction cache pressure. It's not worse here, since the problem was alignment rather than instruction selection.
4-2: The History of Super Mario Bros.' Most Infamous Level
> It is important to note that the benchmark codes are not written for absolute maximal performance (the fastest code to compute recursion_fibonacci(20) is the constant literal 6765). Instead, the benchmarks are written to test the performance of identical algorithms and code patterns implemented in each language.

This is quite interesting. So potentially the code for other languages are not the best. It would complete the argument then that the "code patterns" is more often than not the most "natural" e.g. it translates well from pseudo-code.

When I was trying Julia I keep trying to vectorize code like I do in R and it took me a while to get comfortable with writing loops again. Vectorized code in R can be quite fast, but there is big caveat - you need a lot more memory to do the same task (until ALTEREP makes into R Base) . E.g. say I wanted to find the maximum of `abs(a^2)` in R where `a` is a vector, so I would do `max(abs(a^2)` this creates a temporary vector. In Julia I can do `maximum(x->abs(x^2), a)` and achieve similar (if not better performance) using much less RAM. This is qutie important if you deal with large datasets (e.g. Fannie Mae data at 1.8 billion rows).
I've been learning ReasonML for React Native these past few weeks. I love the static typing. I can work on my editor for minutes at a time, and when things compile I see it "just work" on my phone. This is important since reloading a native app is not nearly as fast as reloading a web page.

The best part is how FAST the compiler is! It blows me away how fast the reason/ocaml compiler is, considering it spits out JavaScript AND type checks at the same time. Babel, TypeScript, Flow, etc. are all slow as dogs by comparison :)
Nurses in low paid systems are aging and complain. It happens that young women don't want that job all that much. That job does not happen to have perk that would offer low salary - hours are inflexible. But also, those who won't be nurses because of caring or some similar general idea, are even more likely to leave if you turn the job into secretary.
Which GPU are you using?
I find ReasonML a VERY HARD sell when F# is sitting there waiting. If I could get people onboard with an ML, why wouldn't I use F# with it's massive backing ecosystem and fantastic server side runtime(node has come a long way, but it's no CLR)?
America is a tough nut to crack. People like BIG cars, the roads are kinda crappy, fuel prices are lower than in Europe or Japan and travel distances are long.

I wouldn't want to drive a Nissan Leaf in rural Maine.
Huh I've always thought of the AFL mascot if there was one that it would be a flea because in Swedish fleas are named "loppor" (plural) or "loppa" (singular). I imagined AFL to be a nice and cute flea though, not a nasty ugly one.
the origin of the world daemon is a lot older than 2002
There are definitely individuals exploring the native-compilation story, for instance bsb-native[0] allows BuckleScript to use OCaml's native compilation tools. Jared Forsyth has also been publishing a lot of material[1] about creating cross-platform project using ReasonML.

The ReasonML team seem to be taking a conservative approach towards what they officially release. They want to make sure that they have a really good plan on how and where to move forward with each of these stories - async, native compilation, cross-platform project, optimizations, etc. Right now they seem to be focusing on creating a really high quality platform for building front-end web applications, but all of these things are on their mind.

I'm actually reminded of the fact that Jordan Walke (initial creator of React) is currently working on a native OCaml/Reason package manager called esy[2], which in my mind is kind of the starting point of the native compilation story: unifying the package and build system of the two ecosystems.

[0]: https://github.com/bsansouci/bsb-native

[1]: https://jaredforsyth.com/

[2]: https://github.com/esy/esy
It's not pleasant dying in a nursing home because of (or after) a stroke, or from cancer, or...

It's neither new nor shocking for people to express the opinion that the slowest death is not the best one.

I sometimes experience discomfort in response to something as innocuous as minimizing road deaths - it makes me wonder if humans are becoming paperclip maximizers even before AGI is here.

See: https://wiki.lesswrong.com/wiki/Paperclip_maximizer
Nice! Needs more figures. Minimal surfaces, Sierpinski's gasket, Klein bottle or a Möbius strip tease.
Has anyone actually done this in a real app? The last time I looked for nodejs examples, I could only find small POCs. The vast majority of ReasonML material seems focused on the front-end.
(for entirely different reasons, I just switched back to HTML version of GMail. Amazing the amount of RAM it uses & the completely unnecessary number of connections & push notifications it clutters you with. I suggest you try it for a few days.)
It's an English term for a young, obnoxious lower class person wearing tacky clothes.
The IPCC scenarios, which are already grim, also include hypothetical forms of carbon capture that do not yet exist, in addition to drastic emission reduction, to prevent the Earth from becoming a disaster in the next 50/100 years. This report has a good overview of the difficulties with current carbon capture plans. https://easac.eu/fileadmin/PDF_s/reports_statements/Negative...
Amazon fulfillment centers do not generate broad-based employment growth
You store plaintext passwords? Interesting... where do you work? What’s your tech stack? Oh and what’s your name? ...