skysight-inc/HackerNews huggingface dataset:
Math is hard, and reading it is slow for even ggood mathmeticians. However, it does get easier with practice, as one learns the conventions and norms. It is not self explanatory; aliens would not glance at a notebook and immediately know that it is a proof of the cardinality of the set of prime numbers, for example.
> The fact that other countries manage to be outside the EU and do just fine.

This is the wrong way of thinking about things. Yes, other countries manage to be outside the EU, and do fine (albeit, at least in Europe, most of those doing fine have close links to the EU). But, those countries don't start from a position of being tightly integrated into the European economic system.
Exactly. There isn't a billion dollar market to tagging $5-10 on each Five Guys order for a 30-75 minute delivery. I order food delivery from these places about twice a month, and almost never pay anything, due to competitive pressure. End of the day, I'm never, ever paying $10 to get $20 of burger delivered.

Even Amazon gave up on paying me to deliver groceries to my home. They would have a guy in a deli in New Jersey (~200 miles away) slice ham and turkey cold cuts in the middle of the night, and deliver via USPS by 7:30AM. Truly a marvel of modern logistics, except they couldn't figure out how to not put big cans of olive oil on top of eggs or bread.

We probably got an average of $50/week in refunds.
>Livejournal users, did, however, care about other adults who are sexually attracted to children.

My question was if there was a large of users that cared about the fictional characters or just very few. Or maybe was some social media thing that forced the company to change the terms. I know from recent events that Patreon and Steam were pressured by this groups, I think Patreon updated some terms but Steam did not.
Usability Testing for the 1995 Sun Microsystems' Website
That's a problem with specs, the most concise and complete way to write them is by writing your program. If it wasn't, people would just compile the specs, and program using those.

Now, go tell this to people that want to offshore development based on a spec... But that's a digression.

You don't prove correctness of an entire program against the entire spec. That's only possible with toy problems, even entirely proved programs (like secL4) only prove some point of view, never the entire spec. Some times in a large program you discover a property that is very important (like how to assembly some event set into data, lack of deadlocks in a distributed system, or lack of buffers overflow), you then go and prove those properties.
For the unfamiliar:

Goodhart's law is an adage named after economist Charles Goodhart, which has been phrased by Marilyn Strathern as: "When a measure becomes a target, it ceases to be a good measure."

https://en.wikipedia.org/wiki/Goodhart's_law
Outsource/Outstaff developers from Belarus
See: https://www.khanacademy.org/science/high-school-biology/hs-h...

Search for 'What is a viral infection?', read down from there to '1. Attachment' and make sure to expand the help tip on that one.

From a 30 sec scan of the article, this is about a specific virus' preferential binding to a site that is expressed in many cancer tumors (anthrax toxin receptor 1, ANTXR1).

This would allow viral-driven targeting of those cells (and few others), one of the hardest problems in oncology. You can't hit what you can't find, or you have to soak the entire body in enough toxic chemicals (chemo) to ensure it reaches the tumor cells.

As with many things in microbiology, it seems we knew this virus could preferentially target cancerous tumors. But we didn't know precisely why (aka "the mechanism") or how. This paper is proposing an answer to that question.

Microbiology is essentially the study of how to build 3d puzzles with chemistry and physics. Doing that is hard.

I'd highly recommend learning the basics of biology at the microbiology and biochemical levels. It's a fascinating world, helps explain everyday macro-medicine (read: what a doctor tells you), and I've found a surprising number of useful parallels in computing systems design.

(Correct me if I'm off on anything, it's been a while since microbiology)
Not sure that was the best move since it's now a paper full of deeply technical terms, hard to understand what it's even saying...
Sturgeon's Law applies as much as it always has, but the personal blogs that existed before "content marketing" became a thing are mostly still around. Just ignore tech-of-the-moment.google.com/blog.
AFAICT:

+ GUI

- Cross platform support

- request inspection support

- non-http tunnel support(unclear, docs/faq is terrible)
amazon, google and facebook are the companies selling shovels during a gold rush, which is a great business. While the gold rush is still going on.
Financialization follows a cycle much like the hype cycle: something gets securitized, immense profits are made, people overextend and there's a crash, then it's reined in and becomes boring, and the next crash happens in something further out. If you read Liar's Poker, even in the '80s corporate equities were boring and all the action was in bonds. After the S&L crash, bonds were made boring (at least in the US for established companies) and the action moved to "emerging markets" and hot new IPOs. Asian crash of '97, dotcom crash of '99, these things get made boring and the action moves to mortgage securitization.

2008 crisis, mortgages get made boring, and the action now is in... well, if you can figure that out then there's a lot of money to be made. Car loans? Corporate loans? Foreign exchange? Commodities? I've seen all of those bandied about.
For someone used to work with async/await only in C#, I was not expecting the execution model to be so fundamentally different in Dart.

Something to try to wrap my head around later!
As a consumer, at first might sound a good idea and convenient to order pre-made food you don't have to cook but soon you realise it gets quite expensive compared to just get your groceries delivered and cook.

I have tried many of the meal box companies and the real problem is quality. The food quality is usually not high and the recipes are basic. I imagine that even novice, unskilled cooks will realize after a couple of months that they don't need the box.
Dismantling of a U.S. workplace safety rule
How is that supposed to help with anything? It'll just take a bit longer to forward a message to all your friends, that's all.
Aha Launches Visual Marketing Planning Software
Lutris is better than PlayoOnLinux now. It has a better syntax and has more capabilities built in.
> Mold is not a ventilation problem, but rather a moisture control problem. Keep the humidity down (especially with whole house dehumidifiers), and eliminate condensation points (by eliminating thermal bridging), and it goes away.

This sounds like one of those kinds of answers that only works with spherical cows in a vacuum.

If my shower were completely open and in the middle of the living room, perhaps. Alas, it's in a small private room that usually has the door closed while in use, and now we've circled back around to ventilation...
Neither is the UK.

I grew up in Denmark who also aren't fully members of the EU either. Every time we voted it was claimed to be the end of the world. It turned out to be just fine in fact mostly better than had we joined.

So I am pretty immune to these the sky is falling claims. The UK is an important country in the world, they will do just fine.
Nice! "Jew Killer" Bayer can add "#1 leader in Cancer" Monsanto to its list of death.
I think you're being downvoted because of: "Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something."

Having said that, it does seem like the author's posts seem to get upvoted no matter what by a contingent of readers. I also found TFA to be quite basic, and it couldn't have taken very much effort to write (I'm assuming the author is already well familiar with pipes based on her background). The article would have been more interesting with some more technical details or experimental results - or perhaps some novel information that most people aren't aware of.
Remote code execution vulnerability in apt/apt-get
That was a really interesting, insightful analysis. Very relevant to the thread. Thanks for sharing.
To quote Wikipedia, "Paradise Lost has had a profound impact on writers, artists and illustrators, and, in the twentieth century, filmmakers.

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

I'm sorry, but the idea that a single paragraph HN comment is some kind of deep philosophical point about the nature of authority is absurd. It was a glib dismissive comment, skeptical not for any well-thought out reason, but simply because they personally didn't understand it. I don't know how precisely I'd define anti-intellectualism, but that comes pretty close.
Still doesn't help in the case when you are a member of groups with a lot of people. They should limit it as one group or 5 individuals. It is restrictive but I consider most forwards as spam as it is.
Yup, but at the same time we start seeing games that are new and approaching 100 USD (some of the latest AAA games) in Digital Distribution. It's going both ways in terms of pricing, even if the median price is indeed going down.
That syntax is very unusual from anything I've seen. I am also a fan of splitting pipelines with line breaks for readability, however I put the pipe on the end of each line and omit the backslash. In Bash, a line that ends with a pipe always continues on the next line.

In any case, it's probably just a matter of personal taste.
I am intrigued now to see if I can figure out whether it's sending my data outside of the system.
Show HN: Linjat, a small puzzle game
Same thing when you search 'face' or 'you'
Why do they support forwarding anyway? Has there ever been a useful mass foward on a social media platform?
Adding a bit of friction reduces the number of people motivated enough to overcome it.
You’re right. I paid $300 plus food costs for a week of meals.
Of course it doesn't help. Just shows local governments that they are trying all they can to stop spread of fake news
Programming skill isn't a 1 dimensional space.

I used to feel like you. Having done some mediocre demos myself, I looked up to some of the best democoders a lot. Until I met them (hey, demoscene is tiny - just show up at a demoparty and meet your heros in person). I noticed that the top democoders were invariably:

- extremely nice
- better than me at graphics programming
- worse than me at X

For example, at some point long ago I wrote a tool to synchronize effects to music. A famous democoder wanted to try it, I said "here you go", he said "shit, the API is in C++. I don't know C++". Turns out all these amazing demos were written in C and this guy had never bothered to learn classes, templates, etc etc. Of course there's nothing wrong with that, but, well, it's just different skills. I mean every programmer I knew at that time knew C++. It's like working in web dev and not knowing any JavaScript at all. It was very surprising to me :-)

tl;dr I'm sure I make better scalable realtime backends than some top democoders would.
People probably won't understand this but I totally agree with you.
Red Hat JBoss Enterprise Application Platform 7.2
Linearity: you expect a circuit to e.g. always multiply an input with 2x. Turns out it doesn't, it does so close to e.g. 0, but multiplies by less or more at higher values. Somewhat generalized, for other components with other curves of behavior, they also don't stick perfectly to the mathematical model, especially when the environment changes. Which leads us to

Drift: temperature changes, behavior of component changes (e.g. resistors change slightly in resistance, circuits to generate precise voltages produce slightly different voltages, oscillators change in frequency). E.g. precision frequency sources often have a heating element to keep their core oscillator at a stable frequency, audio devices thermally couple two components of which the ratio is important, so the changes cancel out as much as possible, ...
What a delight to see this here! Charles Bliss's book, Semantography: Blissymbolics was absolutely mind-blowing when I first discovered in the 80's while browsing the 000 section of the library (where the computer stuff is). It was hand-typed and self-published because he couldn't find anyone to publish it.

Bliss's work has been adopted by international signmakers and icon designers around the world, but his purpose was much greater than that. He believed that, through clear and unambiguous writing, we could change how people think. A phrase such as "we support our troops" would, in Bliss, contain a built-in contradiction. In Bliss, that phrase contains a symbol that means "holding up" and one that means "falling down." There are hundreds of other examples in the book, which I highly recommend.

You can find and order rare books like this (or any other books US libraries) to be delivered to you free by your local library. Ask about Interlibrary Loan and use the WorldCat website (http://worldcat.org) to find them.
I have no idea what this product does.

> Instantly create a secure URL to your Mac

OK so like a URL to... what? Screenshare? Access the HDD like dropbox? Do something else?

> Make changes in real time. Get feedback immediately. Effortless live previews.

Of what? About what? Of what?

> Nice cartoon picture of dog

/closes tab

Edit: reading the rest of the page it's still unclear what it does, or even why I'd want it. I guess I'm not the target audience?
I think this article may provide some context :

https://www.buzzfeednews.com/article/pranavdixit/whatsapp-de...
Kutt.it URL Shortener Browser Extensions
Indeed. You can have computers running Linux and computers running Windows. What you can't do is just come into work one day, reformat the Active Directory server and boot into RedHat, and declare all the problems to have been solved. Which is the problem we're facing: no transition planning, because there's no realistic discussion of even what the objectives are, let alone the consequential tradeoffs.
Ok... not sure which version of Julia you're using, but I'm on 0.5 and it works there... Maybe it changed in a later version
Sherlock: Search for usernames across websites
How does a project like this deal with the bootstrap problem?
I never remember having seen such folder.

Having been doing Windows development since Windows 3.0.

I have been hit by such errors, which on my case were caused by .exe installers.
Seems like the problem was with my DNS cache, it starts working after I clean it up. Sorry.
https://outline.com/VWkneB
Yes, you right. But Redis and Aerospike are in-memory DB's. Pudge store data on disk.

Tarantool - much slower, because it's a database, but pudge - is an engine. No overhead on connection/transfer. In that case, i must compare with http://sophia.systems/ But now tarantool don't use sophia. I write https://github.com/recoilme/okdbc on top of sophia - high-level cross-platform sockets interface to sophia db. You may take a look on benchmark:
https://github.com/recoilme/okdbc#similar-benchmark-for-memc...

memcached-1.4.34:

SET 69520.84 requests per second

GET 53244.68 requests per second

okdb (based on sophia, ex-engine for tarantool)

SET 48804.88 requests per second

GET 56191.01 requests per second

pudge in-memory mode:

SET 439581 requests per second

GET 1652069 requests per second

pudge write on disk mode:

SET 43843 requests per second

GET 666067 requests per second

But speed it's not the main thing

So, pudge as fast or faster then Memcache or Redis or Aerospike or any other database, including in-memory but pudge it's not a database, it's a database engine. With connection overhead it will be probably slower than in-memory DB's if you implement it badly
I guess - I have no experience with Pacman.

Scoop doesn't even (currently) have the concept of package maintainers. Anyone can make a PR with bumped versions or other fixes (though I understand that as Scoop's popularity increases, some cracks in that model are starting to show).
Hmmm. What are the constraints on universal possibility, though? My understanding is that it's possible (albeit staggeringly unlikely) for any possible structure, including living beings, to spontaneously form via quantum fluctuation, and given infinite time and space every possible structure will spontaneously generate. If the many-worlds theory is true, then there's a universe where you were just crushed by a hippo that randomly materialized above your head. The odds of any given person tripping (possibly on a spontaneously-generated rock) and breaking his ankle on the day he would have been killed by a mortar shell seem pretty high, relative to that.
Dieter Rams' design principles can be found in his Wikipedia article at https://en.wikipedia.org/wiki/Dieter_Rams#%22Good_design%22_... by the way. He worked for the company Braun and you will most likely recognize some of the iconic designs when searching for it.
Interesting, so does that fall under the category of "mild hypoxia" or something?
Dallas Cowboys' Ezekiel Elliott Runs 21 Miles an Hour, but Who Owns That Data?
If they have no problems pirating in the first place, why would they have any problem talking about it? It's not like the FBI is going to come after them. I'd rather people be honest about their actions.
> Denmark who also aren't fully members of the EU either

False since 1973. http://um.dk/en/foreign-policy/denmark-in-the-eu/
My tinfoil hat theory is that this is being caused by the increasing concentration of wealth. Which is being enabled by increasing levels of automation and efficiency.
> IoT is now an important part of Pharo. Installing PharoThings (https://github.com/pharo-iot/PharoThings) provides an impressive amount of tools to develop applications in small devices.

On that GH repo[0] I see:

> Raspberry driven by WiringPi library

> Arduino driven by Firmata, soon

> Beaglebone, soon

Has anyone played with this?

[0] https://github.com/pharo-iot/PharoThings
Just to point out, this article is focused on the US only.
Computer science is a branch of mathematics, so proofs are of the mathematics kind.

Formal proofs will prove whatever you designed them to prove. It may be that #1 of yours, or the #2 if you actually know what you want (AKA "never"). Your #3 is mathematically ill defined, and math can not prove ill defined statements.

> When I see people getting excited that they have prooven tail has types [a] -> [a], all I can think of is that some programmer will make "a" some sort of super object at the root of an object hierarchy, and then what on earth is being gained?

I don't really understand that question. The type means that whatever list you pass that tail function, you'll get a list of the same type back. That's information you can decide to use to build your program, or just ignore. Without further context, there isn't any defined value for that information.
May help with general spam. I think regulating groups would be a much better idea:

Possible limit of messages per day/hour/minute
Possible limit to certain members as "viewers"/"spectators"-only
Possible threading (otherwise responses about a certain information are just buried / mixed)
I have Pharo installed on my laptop to try some stuff out with it, but I haven't gotten around to it yet. Maybe this is as good a time as any to start it up again.
Priority Hints: hint the `importance` of a resource to prioritize downloading
Thanks for the time saver. Incidentally I note sex robots are a thing apparently https://www.thesun.co.uk/fabulous/8204874/sex-robots-machine...
Yeah, IPFS is still waiting for FileCoin to be implemented. For now, your best bet is to run your own IPFS gateway with your data pinned to it, and perhaps ask fellow IPFS enthusiasts to do the same.
Linux user here. Great news overall, but I do have some concerns:

1) The changes seem to be designed to help shoddy Linux ports--e.g. those that haven't been updated in awhile or that have very poor performance. I worry that developers will see this as an alternative to native Linux ports, and instead of getting awesome games that work on Linux without WINE (see: Beamdog's awesome Enhanced Editions of classic Interplay/Bioware/Black Isle RPGs), we'll simply see all Linux games running in WINE containers. WINE is great, but it's not perfect. When Proton was first enabled, I tried running System Shock Enhanced Edition and it crashes immediately. System Shock Classic, on the other hand, is certified for OSX and Linux and runs properly (although for all I know SSC might just be a tweaked WINE container).

2) Not all games work with WINE. That's why there's the WINE compatibility list, along with community forums dedicated to making tweaks to get the games running. I fear that throwing everything at WINE effectively puts the onus of getting the game working onto the WINE community, rather than the game's developers. I suppose in Best Case scenario (after native Linux builds, of course), game developers could contract out the CrossWeavers guys to help get their specific game working within WINE and that might still be cheaper than the resources required to build the game natively. But whether they'll actually do that remains to be seen.
iirc its the 30% cut they take from developers, some folks are really against it and vow to boycott. I'm sure there's plenty of other reasons but thats the first that comes to mind
more shares/forwards = more "engagement"
What is the "tech space"? That's still conflating tech as just computing.
I am curious about this too.

One thing I've thought about is being able to turn on the rear view camera on my 2016 Honda Fit while I am driving forwards.

The data path is there, and you might think it is just a matter of hacking the software on the infotainment system, but it turns out that the rear camera only receives power when it is in reverse so you'd need to change the power connection to a different circuit at the very least.

What I'd really love to do is put on a camera on the driver's side mirror to match the one on the passenger side mirror.
I'd say the opposite. As long as everyone remains vigilant and looking for catastrophe in every shadow we should be less likely to have another 2008 sneak up on us.
I love pothos! They are really easy to propogate, not hard to take care of and even without modification already pretty good at filtering air:

https://en.wikipedia.org/wiki/NASA_Clean_Air_Study
https://scholar.google.co.uk/scholar?hl=en&as_sdt=0%2C5&q=sl...

Most of the claims are trivially verified true with a proper understanding of hypoxia and the effects on the brain.

Of course you want to be sleepy, but you don't want that sleepiness to be due to hypoxia because hypoxia is known to damage the brain.
I don't care about video games in the office. Offices are for work. Just pay me to work, and if I want video games I'll buy my own.

Same thing with snacks. Those of us working sedentary jobs really don't need them. If I want a snack I'll bring something I actually like from home.
The Norton Critical Edition is pretty good, well annotated, and, if I'm correct, the "go to" edition used in a number of universities [0].

[0] https://www.amazon.com/Paradise-Norton-Critical-Editions-thi...
I wrote on keybase
What do we do when rumors need to be quickly corrected?
When you mention it, parts of Serbia that were under Austria-Hungary are noticeably more urbanized and developed than the parts that were under the Ottoman Empire, despite them being in the same state for exactly one century.

Turkish slavery/occupation is perceived as much, much worse in folk memory than the Austrian. Of course, both of these are foreign empires, so neither of them is good, but one is clearly worse than the other...
Bookmarklet to send URLs to Outline:

javascript:(function()%7Bwindow.location.href %3D 'https%3A%2F%2Foutline.com%2F' %2B window.location.href%7D)()

Taken from: https://www.designernews.co/comments/257987