skysight-inc/HackerNews huggingface dataset:
Sadly it's not the 70/80s anymore, most people don't give a damn about building stuff when they wake up in the morning, you need special sfx or something really spectacular to attract people, especially kids, who will shot selfies and videos near the giant sized robot|working jet backpack|150Km/h electric skate| etc. to climb their online social ladder. If you're smart you can slip some cool device, development system, analog electronics kits etc. under the radar and get a few of them to learn something when they get back home, but you have to provide motivation; curiosity alone works only for a small subset among us.
So, why not partnering with schools and institutes? Wouldn't be nice if they rent a lab to a school for technical lessons, then assign tasks to teams and have say every 3 months the winning project published on the magazine? That would create competition encouraging more users/schools to join while boosting sales.

The gist is: you don't sell many Van de Graaf Generators (the device, not the band:^) kits until you show what happens to the girl's hair when she touches the electrode.
Joke's on you. I have FaceTime completely disabled because it's patently obnoxious to witness random people using it in public.

Actually, all cell phone use in public is obnoxious, but FaceTime is even worse.
Buy ambien online no prescription at riteaidpharmacy.org
Except in 3d animation you use almost exclusively triangles when actually rendering anything. A quad can be subdivided in two ways to form two triangles leading to unpredictable behaviour.

That said, during modelling you almost exclusively create quads since those lend themselves well to editing with edge loops. The render engine then converts those to (unambiguous) triangles.
> a policy that prevents your local transit system from investing in the necessary equipment

What policy? Please show me an example of such a thing.
Or has the presumption of car ownership (or indifference to those who without) exacerbated zoning problems, increased prevalence of food deserts, and widened the wealth gap in communities even within cities?
Heard joke once: Man goes to doctor. Says he's depressed. Says life seems harsh and cruel. Says he feels all alone in a threatening world where what lies ahead is vague and uncertain. Doctor says, "Treatment is simple. Great clown Pagliacci is in town tonight. Go and see him. That should pick you up." Man bursts into tears. Says, "But doctor...I am Pagliacci.”
What's the distinction between WPF/UWP/WinRT/.NET?

What's the Windows' analogue of Swift+SwiftUI? i.e. telling someone new to the platform about what to focus on.
> ...the browser automatically try another IP if the request fails.

The browser tries another IP if it cannot connect to the first one.

If a server throws 500s left and right DSN RR won't help, whereas a load balancer would remove the offending server from the pool.
I found Modern Perl [0] to be an absolutely brilliant exposition of readable Perl 5 and how great Perl can be. I'll be forever grateful to chromatic for writing and revising the book!

[0] http://modernperlbooks.com/
Is it really so surprising that people continue to iterate and explore the space of possible DSLs -- literally, domain specific languages -- especially when people are solving problems from many different specific domains?
I've recently been using nipype [0] for workflows, which is fairly domain specific, but pretty nice.

0: https://nipype.readthedocs.io/en/latest/
That's fine, but that's not the point the OP was making and doesn't do anything about the last mile problem on the other end.
"Well, it doesn't matter if Cryptol is compiled down to "safe" machine code, like FaCT, right?"

It does. It gets you the correct implementation of crypto. Most failures are implementation errors. From there, before the buzz about constant-time, high-assurance security was just mitigating that stuff by using fixed-size, fixed-timing transmission of messages. As in, they couldn't tell anything about the inside of the black box because all they saw was the same behavior on the outside. Designers sacrificed some performance and plenty of bandwidth to do that. Tightly-coupled designed with no covert channel analysis or mitigation later showed up that leaked all sorts of stuff with them changing coding styles instead of bad architecture. That's when we need stuff like OP article and FaCT.

"Are SAW or CompCert able to do formal verification" (you)

"I can't remember if it addresses constant-time programming. So, I went looking arount, found the other language, and maybe someone will merge them. " (me)

I already answered that. I collected papers like FaCT specifically in case anyone wants to integrate them with Cryptol to address that gap if it exists. Also, other analysis and testing for information-flow security to make sure it is working on top of human review. This is a tiny part of my research given covert channel detection is mostly a solved problem with public, free methods such as Kemmerer's Shared Resource Matrix and Wray's for timing channels that most people just don't apply. Most of my research is on stuff that blocks code injection.
They weren't entirely unmanaged devices as they had to fulfill additional criteria.
Can anybody explain to me how British & France culture felt about colonialism post-WWII? Especially for France, I would have expected that "being invaded and exploited by a foreign nation" would suddenly take a completely different moral outlook, but no, they resist Algeria separating. Why?

Semi-relevant Wikipedia:

When Britain reached out to the US asking for help in the war, the US offered help contingent on Britain decolonizing post WW2, and that agreement was codified in the Atlantic charter. The decolonization of Britain (post war) also meant that US and other countries would possibly have access to markets to sell goods that were previously under British Empire-which was not accessible to them then[86][87] To bring about these changes, the establishment of UN following World War 2 codified sovereignty for nations, and encouraged free trade. The war also forced the British to come to an agreement with Indian leaders to grant them freedom if they helped with war efforts since India had one of largest armies.[88] Also, following WW2, it was untenable for British to raise capital on its own to keep its colonies. They needed to rely on America and did via the Marshall Plan to rebuild their country.
In one week, I can eat more than 20 kg of raw fruits (currently peaches, apricots, tomatoes; in other seasons: clementines, persimmons, ..), and another 5-6 kg of steamed vegetables (leafy onions, carrots, round eggplant, peppers). Sometimes, I add some full-grain rice or fish or honey.

The result is a lot of energy (except sometimes 1-2 hrs of digestion), no cold or other common illness, and a low BMI (body-mass index) indeed (I'm around 18), because it's not only low-calorie, but the fibers give a feeling of satiety for a long time
There is nothing in the article that suggests 'abuse' let alone rules, which is what you said. It's not entirely clear exactly what was done here but it was probably an update to the Malware Removal Tool which does what you can surmise from the name, without user interaction.
Well this is just awesome! Glad to see IOHK is putting some of that Cardano loot to use in fun ways :)
:) Feel free to use my tech and add improvements (my visuals are a bit spartan!)
Dark sounds like it would satisfy my preferences well.

- statically typed, functional language with no null pointers

- safe deploys and rollbacks

- structured editing / version control

- minimal infrastructure management

...etc. A tool that makes writing a correct program, and deploying it without catastrophe or fuss, easy. I look forward to reading more.
> Politicians don't credit their speech writers and no one seems to care about that -- so appropriating things seems fine in some circumstances?

That's typically a work for hire though. When I load up Photoshop and click on About, I don't see a list of all the developers that wrote the code. I think speech writing is the same thing.
I think the most important info is in the second chapter: Humans and mountain gorillas (say) do not have the same digestive system. We are not herbivores, and we do not have the capacity to extract nutrients only from raw vegetables and leafs. Instead, our digestive system can be classified either as omnivore or faunavore with adaptation to eating plants. Even the apes who east mostly plants will eat meat and insects if they can.

For that reason, I do not see veganism as something that fits to human nature as such. It may be, however, possible to do this in a healthy manner, and the motivation may instead be that it is better for the environment.

But I think the argument can not be, that we are somehow meant to be vegans.
A few suggestions that might help:

1) Get docks for home and work, so it's just one step to connect peripherals. It's actually a lot more convenient than having separate machines for work and home.

2) Find out if you can use a virtual desktop setup, where everything is running on your work machine, but you can use RDP to control it. A competent IT dept should be able to set that up in a way that's not less secure.

3) If you're in the US, your company can't force you to carry a heavy laptop if you have any issues with strength or mobility. If you want to exploit this, you can ask your doctor for a note saying that you shouldn't carry a laptop to/from work. This is actually probably true for the many people who have issues with back pain.
You don't-- rest up and move slower, all good things take years regardless.

Check out https://algodaily.com/lessons/how-to-have-a-slow-and-boring-... for more on this.
entering the UK under a tourist visa or waiver program, you must be able to fund your stay. The tourist visas are No Work or Recourse to Public Funds. If you are funding your stay in the UK by working remotely, you are not abiding by the terms of your visa. This isn't the same as getting an emergency call out while on holiday.

How does the border agency know? They ask you a whole bunch of questions upon entering the country. So if the plan was to work remotely you'd end up lying to them. Digital Nomads calling it a grey area is often a nice way of saying "unless you tell someone the truth, you'll be fine"

If it's something you plan on doing, I'd highly recommend knowing the regulations for each country yourself and not relying on a third-party website to tell you things. That way you decide what you say to whom and what risk you take.
Most sitcoms use the same story lines, just in different setting.
"It turned out that the teen who discovered the bug, Grant Thompson, had attempted to contact Apple about the issue but was unable to get a response."

Good they fixed this. Too often security vulnerabilities remain unaddressed, I think that was the case with Mariot hotels data leak, the staff knew for quite some there are privacy troubles. Now they're being fined for not taking action.
I added the same feature to my Java app server: http://github.com/tinspin/rupy it's a simpler design which compiles, zips and hotdeploys over HTTP to a classloader.

But it's fast enough as long as you keep each project small.
Now let's see something similar but for a private coin such as Monero! :-P
Nice, except for the first short story about medical pumps! It was quite weird. :D
Word on the Water, London's only floating bookstore was also sunk by its toilet https://www.nytimes.com/2017/11/29/world/europe/london-canal...
If done properly, it can survive quite a bit. Much of the ice that was imported into India in the early 1800's came from Boston, cut from rivers around Boston https://www.wired.com/2010/09/0913calcutta-ice-ship/
I keep all my macs. I still have my 2003 iBook. But that one had 2 stickers I remember that it took me a good afternoon to remove completely the crap of it.
For bioinformatics, take a look at Nextflow. I personally think it is miles ahead of the competition having reviewed about a dozen options out there.

This looks useful, but can it submit jobs to cloud compute clusters or HPC systems and operate locally? Maybe I’m missing the point in terms of the purpose.
And even if you do all that, you are placing an equipment that is fairly expensive into one of the worst environment of a car: next to the ground, lot's of shock and vibration, even higher thermal changes, water and other liquids in very close proximity. These were also the reasons why the Smart ended up with a classical design.

Wheels need to be somewhat expandable otherwise you increase your cost. And what happens if you have a flat, has the spare wheel got a motor as well?
Tangentially related:

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

I have a copy. It is a much-beloved source of joy.
The boat was very likely not an SA assault troop nor an SS secret police unit (both paramilitary branches of the Nazi party), but rather a normal Wehrmacht naval unit. So a "German U-boat", instead of a "Nazi U-boat".

Someone will perhaps reply with their more encompassing definition of Nazis, etc., but I don't mean to engage with whatever discussion that generates. I only point out the standard terminology that you'll see in most books, etc.

EDIT: Looks like someone has changed the title from "Nazi U-boat" -- thanks!
Unlimited PTO Works for Netflix, But Can it Work for You?
> There are plenty of horribly undemocratic countries where people don't need exit visas to leave

I have no idea what you're trying to say with this. Just because you don't need an exit visa to leave doesn't mean other countries will just take you in.... That's why you have refugee crises.

You're going off on a completely different tangent. When corporations become too powerful and monopolistic then it's the government's job to break them up and preserve competition.

We're specifically talking about Libra right now. Libra will have competition with the US Dollar. Unless you're suggesting Libra will become so powerful as to replace the US Dollar...then your point is completely invalid. Additionally, if Libra is extremely successful, you can almost certainly bet that other companies will come out with their own digital currency.
The crust is only about 1% of the Earth; most of the Earth's volume is in the mantle. A significant percentage of the mantle is made of olivine.
Indo-Germanic? Persian is very closely related to Sanskrit (and related Indic languages), much more so than Germanic is. The language family is called "Indo-Iranian".
Luckily that feature was built in on the iPhone 4 ;)

https://en.wikipedia.org/wiki/IPhone_4#Antenna
Thank you! Yes, I'm pretty sure nickel is more toxic than copper, including to marine organisms. Where can I learn more?
Don't take on Technical Debt as you'll be busy fighting Technical Inflation
I came up with an original "dad joke" a few years ago that I was incredibly proud of, posted it to Reddit and got many upvotes. Then later on I started to realize that everything on Reddit was reposts and I thought to myself: "wait...what if my joke was a repost?" so I googled it and sure enough somebody else had already invented it before me. I'm about 95% sure that I really hadn't heard the joke before and that I really did think of it on my own, but it was kind of obvious so there was plenty of opportunity for it to be discovered independently any number of times.
Humans are physically much closer to herbivores than true omnivores and, of course, carnivores. If anything we're opportunistic primates that evolved to take advantage of calories where we found them.

But I'm not sure these arguments are really that relevant to the present. We have radically reshaped nature to suit our needs and that includes everything we eat, both animal and vegetable. These appeals to nature generally ignore the fact that the things we ate over the millennia don't exist now.
Another option: If you have a Cricut or other cutting machine, you can buy the vinyl and cut your own.
Show HN: Rich URL – work with information in a format that suits you best
There is also desktop earth for non Mac users: http://www.anka.me/desktopearth.aspx
Yes! I have a static personal page, hosted via github pages, where I just want barebones information about how many people visit the page, from which country etc. I get maybe 10 visits per week. I probably won't pay 9$ for this.

Currently using ticksel.com
When Altseason? Could Bitcoin Kill Altcoins?
I've occasionally used stage-changing GET for admin-only functionality on small websites. I'd accept "reckless" but bristle somewhat at "incompetent and/or inexperienced".

;-)
Stately homes in the UK often have an ice-house in the grounds somewhere. I think they're sited to make use of underground water, as in the use of underground streams in the Yakhchal. A damp shaded spot can be surprisingly cool in Summer.

As an aside the Ancient Greeks had a type of wine cooler that worked on evaporative cooling using an exterior porous pot and an internal glazed pot, with wet sand placed in the gap.
The Mindfulness of Prescriptive Analytics
I never hand picked any computer in a job. I carry mine everywhere. I never leave my computer alone out of my section and, more over, if i leave it in my desk I don't need to identify it differently.

I can say by looking at my keyboard I can detect if it is mine by looking the most used keys, :)
It's not clear... which Zelda game is it?
I remember article that I cannot find anymore about French action of supporting artists.

They ended with useless crap projects in their storages created just to get money off of the government.

That is why you don't support every sketch. Market is bad, but bunch of predatory freeloaders will spoil every good idea. So we are stuck with what it is, namely prove your idea first heavily and then we can reimurse you.
The beaches will continue absorbing CO₂ long after you stop making them. I think this is probably a manageable problem but it's important to recognize that, as with emitting the CO₂ in the first place, the feedback can be a long time in coming, so there is a risk of the system running out of control.
Images don't access your device and check your system's configuration, extensions, plugins and more, as far as I know.
Except ngrok supports ssh.

These projects really need to consider plain TCP connections. It's a deal breaker for me.

My company installs ngrok on our embedded devices. When there is an issue, they connect it to the internet, type a keystroke, and I'm in.
> What if you update the platform and it introduces behavior changes or bugs into some of your users' applications?

They can fix it in 50ms! Don't worry!
You can't just post that without telling us the joke. C'mon! - unless it might dox you :)
I'm familiar with those, and I have considered it. I could not fit that in the bus I would use (I can barely fit my backpack). The train is a dicey proposition; the car config I am on this morning barely has enough space for people plus a small-ish bag. I'd be taking up a second seat if I had a folding bike. Other consists have better luggage space, though even they are optimized for moving the maximum number of people possible.
First, it wasn't sunk by its toilet, it was sunk by a combination of operator error and allied bombs.

Second, there's a lesson here for design. Correct operation was complicated and required special training, and the implications of failure were potentially fatal. The toilet failed because of operator error, but having a toilet that complicated and in a location where failure put seawater into the battery is a design error. The 'old' system was fine and something similar remains in use. I'm a former submariner-- I've seen myriad shitty things happen from sanitation tank operational errors, but an uncontrolled seawater leak is not one of them.
N26 launches its challenger bank in the US
Without the metadata PII, there’s no evidence adversarial utterances like that are true.

It’s hard not to feel like this outrage is trumped-up anti-Google FUD. So many more worthy fronts to assail Google et al. on!

After all, they let you upload photos and video that are, per various policies and with some non-zero frequency, reviewed by humans — and users are begging them to do it more often.
Iran gets cold sometimes. Check out "Iran accuses Israel of stealing its snow" with pictures of their ski resorts
https://www.telegraph.co.uk/travel/ski/news/iran-accuses-isr...
Sure, but freeing resources is something that I do consider a value. In this case, you still need to handle coupon codes, you need to create those coupons, you need to transmit those coupons to affiliates - the only thing you don't need to do is publish them on your own page.

It may be that some consultant talks shops into it, I just never understood what the value proposition is. "Look, just pay somebody 5% of your revenue and deal with annoyed customers instead of spending an hour on this once" doesn't sound that attractive.
Workers of the World on Getting by in an Era of Wrenching Change
I'm not locked in here with you. You're locked in here with me.
Whole credit card networks at least regionally have had downtimes. Bank networks have had downtimes (and that for more than an hour). Other payment processors have had outages for weeks: https://www.pymnts.com/news/payment-methods/2016/worldpay-pa...

I mean, I get it, but you are holding companies to a standard that isn't the norm at all. This doesn't excuse Stripe's outage, but your comolaint and armchair advice without even knowing the cause of the issue or that company's internal setup is obviously going to attract downvotes.
Complete List of ISA Bootcamps in the US
> On 28 March 1945 the submarine departed from Kiel for its first training patrol in the North Sea, returning on 30 March.

I find it amazing that at this point in the war when the end was imminent, they were still going through the motions of doing training patrols.
Wildlife Traffickers Use Facebook, Instagram to Find Black-Market Buyers
Yes that is excess sugar consumption which the article talks about.
Well, how long is a piece of string? There could be a million reasons, depending why the product failed. Maybe a competitor came in and wiped out their market. Maybe, maybe. I'm just saying spinning it off doesn't have to be a source of increased risk and can be a way to hedge risk.
> Lispy homoiconic magic

I just want to acknowledge this fabulous phrase.
A Unique Way of Finding the Right Hire for Your Startup
What is a workflow language exactly? What benefits do they bring vs using say Python?
Or my personal favourite: http://localhost.run/
It’s Not Your Fault That You Eat So Much Sugar
A decade of free online news subsidized by the dying gasp of the news industry has set us up perfectly for this.

Going forward, that subsidization will finish evaporating and the only news media that can earn ad dollars will be either sponsored content or have chum strewn across them. Buy gold, miracle cures, payday loan, t&a.

Expect the chum to be optimized, enhanced, and enriched.
but many, if not most, are not domain-specific.
Effects of Supplements and Dietary Interventions on Cardiovascular Outcomes
> You might be surprised at how hard these people are working though.

People have a distaste for people whose work is, however hard, to manipulate them. Same reason why they hate manipulative ads.
This is fascinating. Would love to read more about it.
I have the pleasure of seeing him and Larry present _years_ ago on Perl 6's evolution. Their styles were polar opposites, but the comradery was fun to watch.

I often wonder where we'd be today if Perl 6 had got "finished" 10 years before it did...