skysight-inc/HackerNews huggingface dataset:
Anyone remember Joystiq? For a long time, I kept up with video game news through them, but I basically stopped caring about when they went down. Never found a site to scratch that same itch. Still instinctively went there as soon as I opened the browser for about a week.

From my early days, probably flash portals, like addicting games. Kongregate wasn't the same after GameStop bought them. I know Newgrounds is still alive and I still go there, but it's sad to see the traffic dwindle like it has (especially since Tom Full is one of my internet heros).
That’s interesting - I would expect CS drop out rates to not be significantly different than engineering/STEM in general if that’s the case since any of those are likely to have similar levels of math.

If CS rates are higher then I’d expect something unique to CS, if they’re not then CS isn’t really unique among more difficult degrees anyway.

If the person is comparing engineering degrees/dropout percentage to liberal arts degrees, well - there’s a reason the liberal arts stereotype exists. Those classes are way easier.
Like my favorite counter quote: "Live slow, die whenever."
I would never use Libra, and I'm not sure there are many who would. But good luck to Zuckerberg, I'm holding 190c 5/1s, so hope they make some smashing announcement come earnings!
> Ad companies collect data from apps you use to build targeting profiles.

More like a scary harbinger of what the govt could get away with rather than a counter.

The extent to which browsers and phones monitor people beyond what they intentionally share has never stopped seeming crazy to me, especially given how widely accepted it is.
git is really simple it only has like 6 atomic operations. thats what makes it so beautiful. a git rebase to reorder the commits and drop the uninteresting ones would produce the result wanted here. along with a few other approaches.
FunOrb was another great site by Jagex; Arcanists in particular was a lot of fun. Sadly, they shut FunOrb down recently. Those games are probably lost to history.
Your rebuttal stands but not your point, for the comment you were replying to didn't properly contextualize their argument in a scientific experiment. It's more like serve participants canned vegetable soup, but in the non-control group warm it up before serving. Here you'd reasonably expect the non-control to be universally more favorable.

They did have a null hypothesis and a control group. The problem was that the non-control was different from the control in a way they were careless with, that the scientific methodology does not catch (that peer review and replication ought to have caught). e.g. if the favorable results were better explained by subjects seeing soup taken out of the pot vs. from the can rather than the temperature itself.
Selling ads globally seems like it's more expensive, unless you automate it like Google etc do, so they'd rather stick to just having subscriptions and be considered premium content.
Deoxy.org - The Deoxyribonucleic Hyperdimension

It was a personal wiki of sorts about psychedelics, new age mysticism, anarchy, subversive philosophy, environmentalism, and obscure information.

It was still up until a few years ago. I haven’t found a complete archive. The archive here is fairly outdated: https://jacobsm.com/deoxy/deoxy.org/index.html (click the small links for “hi-res” or “low-res” framesets.)

Before it shut down the amount of content was huge, and everything was personally curated by the creator Dimitry Novus. Supposedly when Google Video shut down and lots of the YouTube links broke he got upset and stopped updating. After a while it disappeared.
Beginners guide to gateways and proxies
You clearly have never been to Belgium (and I’m sure other EU countries) where, who ever can afford it, only drinks filtered water, and typically water fountains in offices have cucumber or mint etc to give it a more palatable flavour. To say it’s the same water as in, ie Sweden is ludicrous.
On Android, a much bigger part of the OS gets updated through the Play store and Play services, you certainly do get access to new features 5 years into the future.
As somebody who "squandered" countless joyful hours playing both Liero and Soldat, I can say Soldat is a much more fun game with its mouse-driven controls (and right-click jetback).

I recommend playing Soldat's Capture The Flag mode with around 5 player a side. Some of the most enjoyable gaming moments. Such a great game. And free! (though later in life I registered to give back to the dev)

I haven't yet had a chance to play the recently released Soldat 2 demo yet! :)
yup. and the cases it wouldn't would need developer intervention anyways.
If the immune response occurs in constant time, and is able to neutralize up to a constant number of viri at that engagement time, then you'd expect to see bimodal outcomes.
Obligatory response:

https://www.youtube.com/watch?v=bKgf5PaBzyg
Alternatives to the WayBack Machine (what a website looked like in the past)
Yes! In fact, one at least one occasion, Kubrick proclaimed that Eraserhead was his favorite movie of all time. It blows my mind that Lynch made Eraserhead while he was still in school - imagine having your student film receive that sort of acclaim from the arguably the most respected director in the world.
> HBO demonstrates that it’s still an open question.

What do you mean? Is HBO or HBO Go adding commercials?
Cpus are designed with compiler optimizer experts in the loop. If the compiler can do it the cpu won't try. Instead the cpu does things that the optimizer can't do. Note that this goes both ways, if an optimizer won't use something the cpu won't do it, if the optimizer wants something the cpu will do it. (obviously within the limits of what is possible, and all the other trade offs)

Regiser renaming is designed assuming the optimizer
Howie Hawkins Presidential Campaign Twitter Account Suspend
Riddler.com - it was a site in 96 through 99 or so that would have different puzzles and quizzes every day. It was artificial but without offensive ads.
For a YouTube walkthrough, see agadmator at

https://youtu.be/8wCJalNkTEI
we actually split Hulu with a friend. we pay the difference between basic and no-ads. it's an auto payment from bank account to bank account every month. life on autopilot.
As a whole Russia’s entrepreneurs are leaving because they know if you get big enough, the corruption will come into play.

Their government needs to do more than just loosen up.
The amount of people who make use of the camera features in the 11 pro versus the camera in the SE is probably in the low single digits, if that.
ff0000

It was a stylised little world you could explore. Looked like kind of Victorian style and you could float around and chat to other visitors.

I discovered it when I was a kid learning about web design from magazines like .Net and Computer Arts (UK). I don’t think I’d ever seen anything so interactive in a web browser until that point.
> What's the cite for that number? I'd be very suspicious of anything claiming a 5-significant-figure result in a disease that has only (heh) 3M known cases.

You are totally right about that. I misinterpreted the following paper https://www.ncbi.nlm.nih.gov/pubmed/32150748

The actual number is more like 1/100. The 1/10000 number is the probability for someone who has a 1/100 chance of being infected to develop symptoms after 14 days.

Uhm... too late to fix my original post, sorry.
My Runescape money making adventures paid for most of my life, even to this day.
Tim Pool has talked about it regularly, how if independent Youtubers even speak the word their video will be instantly demonetized, but bigger YT channels (those with millions of subs) as well as mainstream media outlets can use the term with no ill effects. He's such a prolific content creator across three channels I can't single out an exact video from the past ~90 days of material for you though.

https://www.reddit.com/r/SamandTolki/comments/foem3m/h3h3_up...

https://youtu.be/C3j4TEUeDbw

Here's a related article:

https://onezero.medium.com/youtubes-independent-creators-are...
One thing to be careful of when using 3rd party exchange rate services: make sure they are using the right rate source for your needs.

For example, if you need the exchange rate on order to convert a quarter's sales from some non-EUR currency to EUR for quarterly VAT MOSS reporting, you are supposed to use the rate reported by the European Central Bank on the last reporting day of the VAT MOSS quarter.

The submitted service is using ECB, so should be fine for that specific use case.
The camera is outright fantastic in terms of performance, responsiveness, etc. and people do care about the CPU - they care about their phone being responsive, and being usable for more than 24 months before it starts feeling like an Amiga. The A13 is an incredible processor.
Are you saying that this isPromise package will not play well with TypeScript? One of those files (index.d.ts) solves the TypeScript problem using type predicates. TypeScript WILL know that the object is a promise if it returns true.
Thanks. Sad, especially considering they moved to zsh. Trying to write short scripts that work both on Linux and Mac is getting more difficult.
lissaexplains.com got me started on the innerwebs in the 90s. It's still around but not really the same.
A little, but not anything close to what we consider normalcy. And you get to maintain them forever, or until a vaccine arrives.

Of course, our case count is so high right now. If you get Rt down to a miraculous 0.5, it's like 180 days before you can get to the point where contact tracing is effective. And you probably don't achieve an Rt of 0.5.
The 1918 flu was notable for having a high fatality rate for young children. That does not seem to be the case for flu in general.
Rushing to maintain supply, meat processors saw plants become COVID-19 hotspots
This package has an index.d.ts file that utilizes exactly this.
Ask HN: Which research papers are on your to-read list?
Hi! I built a platform to create interactive summaries of interesting research papers and patents.

Please share the research papers on your to-read list and we can create summaries so you can go through them quickly.

Here is an example summary:

https://www.fastscience.tv/summary/new-paper-analyzes-impact-socialdistancing-efforts
That’s a cruise
I wondered when he learned that. I learned the same thing in 1996, but modern cpus were not yet (the the knowledge of the class, I'm sure they were doing it...) dining prediction in the cache to load the next required memory before it was required. This optimization changed things such that linear search often is faster than binary search (unless n is very large of course)
Unless the US losses a major war either economical or physical they are hard to upend because of globalization. Everything is very dependent on the US dollar and switching it will take a lot of persuading. Like losing a world war type persuading.
This game had such a profound impact on my life. When we were in elementary school, everybody in my town seemed to play and a lot of friendships I still have today were formed there. Private servers (moparscape.org) were the reason I got into programming, and I've been working as a software engineer for 4 years now. I didn't study it in school either, was strictly taught on runescape forums. I still check in from time to time, and can still navigate that world blindfolded.
FWIW the iPhone 5s (Fall 2013) is still receiving patches on iOS 12, last one was March 24th (iOS 12.4.6).
Not a website, and for me mostly in the era before websites became as prolific, but MUDs are what I miss about the old internet. I'm not much of a gamer anymore, but I used to be able to spend countless hours in the old terminal based games. Some of them were far more exhilarating than any video game I've ever played.
In the data sheets for your cpu. Note that this is cpu specific, even when the instruction set is shared that doesn't mean that the same optimization applies.
This program is a special case because the whole state fits in registers unless the compiler detects this a human should be able to beat the compiler. Even unrolled the code would fit in the L1 instruction cache.
"There is currently no evidence that people who have recovered from COVID-19 and have antibodies are protected from a second infection."

https://www.who.int/news-room/commentaries/detail/immunity-p...
My point was that the government already has the ability to get location data when they want it and this contract tracing proposal doesn’t make it any easier for them. (Whether or not they should be able to do what they’re already doing is a worthy debate but unrelated to contact tracing.)
I don't think my response is 100% correct. The rate of change (derivative) of an exponetial function is another exponential function. d/dx(2^x) = (2^x)*ln(2). And if the base is e, then d/dx(e^x) = e^x.
Yes that’s true, I just don’t use RSS. This was just a 2 hour task, pulling from the HTML Wikipedia rest API and putting it in an email template.

For RSS users you’re right - better to just consume the feed
Short version: Write algorithms using mathematically-sound logic whose correctness and properties can be _proven_ the way you might prove the correctness of a math formula.

Long version: Formal verification is a broad topic with a lot of different facets. But hopefully this sheds some light on some of the more useful ones:

Model-checkers like TLA+. You can specify an algorithm, say something simple like a bank account transfer where a sender's account is debited, and a receiver's account is credited. You can then set constraints, such that the sender's account must have enough to cover the transfer, etc. TLA+ will then run through all the scenarios in your algorithm to find corner-cases when the constraints aren't met. It's useful for modeling distributed systems, and you can try simulating an algorithm in parallel to see error conditions in multi-threaded code.

The downside to TLA+ is that you produce a specification, but still have to reproduce the specification in compilable/runnable code. I understand Amazon has had a lot of success using TLA+ to wring out potential bugs in systems before implementing them, and Leslie Lamport (author of TLA+ and creator of LaTeX, too) has some great (and entertaining) videos on his website explaining how they work: https://lamport.azurewebsites.net/tla/tla.html

There are formally-verifiable dialects of programming languages like the SPARK dialect of Ada, and Frama-C, which let you specify pre and post-conditions for functions, and then it will perform model-checking with flow analysis and SMT solvers to ensure those conditions are met in a way that's mathematically sound. Some conditions, like lack of buffer or integer overflows, are always checked. This way, code which has passed the proof stage can truly be said to be free of run-time errors, and whatever extra contracts you've added in your code will be met as well. Since all of this is checked at compile/proof-time, there's no run-time penalty for the extra assurance.

I came up with this simple example of SPARK code that proves if I have a function that doubles every element in an array, then the result satisfies a contract where every element in the output is even: https://pastebin.com/BtkaEDQ5

There are also proof assistants and theorem proving tools/languages like HOL, Isabelle, Coq, LEAN, and others which IMO fall under the umbrella of formal verification, but more on the computer science side than software engineering. In contrast, TLA+ and SPARK are very useful and practical for developing high-integrity software. Still, they're programming languages, and you can write executable code in them that can be said to be mathematically sound. A good resource is the Software Foundations course: https://softwarefoundations.cis.upenn.edu/

Some dependently-typed programming languages like Idris, F*, Dafny, and (I think) Liquid Haskell provide different mixes of these capabilities, but are geared towards producing usable software.
What do you think were the two biggest reasons? How do you think it could have turned out differently to still have a site today with the same spirit?
With style transfer improving a bit they can make it any brand ;P
GameSpy and the planet network, especially thier hosting / match making systems. Maybe it was just being able to know a couple servers and run into the same people over and over, but I remember liking that a lot.

The Happy Puppy games site.

Not really the web, but the original RealPlayer surfaced some amazing content for the time. I was able to watch Russian news, which while I didn't understand a single word was pretty amazing for a cold war obsessed kid
China is doing most things right according to endogenous growth theory. Exports help it grow faster but are not the most essential part of the equation. China's export is only ~20% of its 2018 GDP. https://www.theglobaleconomy.com/china/exports/

"Endogenous growth theory holds that investment in human capital, innovation, and knowledge are significant contributors to economic growth."

https://en.wikipedia.org/wiki/Endogenous_growth_theory

> Technology in China is still by and large imported / copied.

For many important technologies, it is either on par, a bit behind, or sometimes a bit ahead (5G, quantum communications) of the west. A few key areas where China still lacks are semiconductors, aviation, and global reaches of internet platforms. These are important but account for far less than half of its GDP.

China's numbers of patents and scientific publications have reached world's no.1 in recent years:

https://en.wikipedia.org/wiki/World_Intellectual_Property_In...

https://en.wikipedia.org/wiki/List_of_countries_by_number_of...

One can argue about the quality of those, but one should not assume that China is substantially behind the west as was the case even a couple decades ago.

China's number of STEM graduates, many of whom are sources of the progress above, is the highest in the world: 4.7m in 2016. The only country that comes close is India.

https://www.statista.com/chart/7913/the-countries-with-the-m...

> ...while Western demand (mostly US, really) and its technology are not.

US population: ~330 million; EU, ~450 million => Total: 780 million. China's population: ~1400 million. Domestic demand is clearly not China's disadvantage.
Not really necessary unless Bond’s current fling proclaims “This is a truly astonishing automobile, James. From which dealer is it available, and are there any current incentives?”
Planet of the humans: A reheated mess of lazy, old myths
Intellectual Alchemists
This is why I wish software in general - especially tools - was more configurable.

The more users are able to alter UI/UX, the more they can tailor it to their use case.

There has been so much focus on consistency in UI/UX that we have thrown customization right out the window.

Consistency is valuable, but I think we ought to move its focus away from UI/UX, and down one rung on the ladder of abstraction: to functionality.

We could also make an effort to move UI/UX one rung up the ladder of abstraction, and have a high-level interface for discreet functionalities. This is something that isn't tried often, but seems to work out well when it is.
Mi is their high end line
Redmi is their budget midrange line
That may be true, man-made global warming is linked to a large increase in tick populations and disease is rapidly increasing from them.

> The U.S. Centers for Disease Control and Prevention reports the number of tick-borne diseases is increasing at a record pace while the geographic range of ticks continues to expand. Lyme disease is the most commonly known tick-borne disease, but other diseases, such as ehrlichiosis and STARI, have been discovered and the list of tick-related illnesses continues to grow.

https://www.washingtonpost.com/weather/2019/05/22/tick-popul...
N. Korea Dictator Kim Jong-Un Reportedly Dead After Botched Heart Surgery
That cancer is called consumerism
Key Visualizer: Observe distributed databases to discover the unknowns
Advogato, an early social network blog site for open source developers. The site itself was implemented as an Apache module written in C.
IIRC, the licensing arrangement between Hulu and the network prohibits not showing ads on those shows, or some such nonsense.
Raymond Chen has an entire article on the use of NOP in Windows 95 code. In one case, they had to fix a bug with a 32-bit NOP, because using a 16-bit NOP would introduce a different bug!

https://devblogs.microsoft.com/oldnewthing/20110112-00/?p=11...
> US population: ~330 million; EU, ~450 million => Total: 780 million. China's population: ~1400 million. Domestic demand is clearly not China's disadvantage.

Population size doesn't paint a full picture. China's GDP per capita is still less than a third of the US. A lot of those 1.4 billion have absolutely appalling living standards.
growing up i remember sorta envying the kids who got hardship licenses at 14, allowed for teens to drive to work and contribute income to their family, completely ignoring the familial/financial situation borne of that. in that small, mostly suburban city, everyone drove, and everyone got their license by 16 (unless you failed your test a bunch of times).

imagine my shock when i went to college with a bunch of kids from “the city” (nyc) who never got a license in the first place and many didn’t even see the point of it. truly mind-blowing.

now i live in LA and haven’t owned a car for years (but still have a license). it’s great! the weather makes this the perfect city for mass biking/scootering, if only we could convert even some of our abundance of street parking into bike lanes.
Really, really worried about the above-law-and-regulatory-measures governance that Facebook is exercising nowadays
"How much of the economy is truly essential to living? Tourism is great"

That's fine, but this is the wrong way to think about it in the short run.

>>>> You can over time reorganize our economy along many different lines but you can't do it quickly, and often not even organically.

There are much deeper, more systematic issues you'd have to get at in trying to address such things, particularly with respect to property ownership, etc - and these are hugely existential questions.

You're going to be telling 100 of millions they're going to lose on all that they've worked on for their entire lives etc.

Like changing the rules mid-game.

>>>>> This is not an academic discussion - the world is burning down.

Every piece of the economy is interconnected. Large downturns in some areas radically affect others.

The economy is a dynamic equilibrium that only has so much capacity for shifting around.

'Tourism' is a huge part of the economy (a few points) and if that goes, then you see the cost of social services go up dramatically, unemployment, consumption goes down.

It's not just the 'resorts and hotels' it's all the subsidiary businesses. They all go down.

Airlines generally operate on thinner margins - if tourism goes, then airlines go down for sure. There is no alternative but government takeover / Chapter 11 / restructure - or total collapse of airlines. Sales drop for aircraft, Boeing lays off and cancels new plans. That's restaurants, hotels, construction, real estate, manufacturing, massive supply chain - all down.

And that's just the tip of the iceberg.

Central Banks around the world are printing money like it doesn't matter, balance sheets are exploding to the point wherein normal conditions we would have nations declare bankruptcy.

It's clear that people generally have no idea what's happening in our systems. This is not 'a recession' ... we're facing 'total implosion' unless we act responsibly.
I rediscovered MUDs thanks to the lockdown. My buddies and I play the same MUD we played 1995-1998. 25 years ago! So much fun.
You're talking about a different part of the comment.
There is no such list. No US state has a master list of all residents. The DMV has a fairly high percentage but even that tends to miss children, older people, undocumented immigrants, etc.
I seem to remember Liero having a setting for amount of blood.