skysight-inc/HackerNews huggingface dataset:
I woulde like to point out the awesome PowerPro for Windows, something like an Swiss army knife of desktop automation in Windows --that seems to be under active development: http://powerpro.cresadu.com/xfeatures.htm
That could work...

I thought it couldn't a second ago. I don't know why. Makes no sense to me now.
Thoroughly offtopic, would you recommend Steins Gate? I haven't watched any anime for a while but enjoyed Ergo Proxy and Eden of the East.
Berkeley Unix (or was that SunOS?) used to cone with btoa that used base 85, packing 4 bytes into 5 uucp/mail/Usenet safe characters.
For some reason, base 64 became the standard, and I don't think there's space for anything else these days. (Most things do just fine with binary now, anyway!)
Not sure what "Developer edition" means.

Seems more consumer then developer IMHO. Has a touchscreen but doesn't have Ethernet...
This experience basically ruined mobile Google for me and caused me to switch my entire search engine to avoid it.

It is completely wrong to optimize for viewing while breaking expectations for anything else. COPYING THE URL is very frequently the next thing I want to do, and AMP destroys this. For example, when looking up recipes, I often create a multi-device-sync note containing the URL, where I add a shopping list and whatever other notes I want to make; it makes no sense to be forced to copy a mobile-only, Google-domain link for almost every search result when next time I might be opening the page from my desktop machine!

Another major problem is that the only indication of this hijack is a little lightning-bolt and "AMP" next to certain links. I guarantee most users don’t know what that even means so problems will be blamed on “the site I clicked” and not “Google”.
> How is this going to make my code better?

This blog post is describing a research agenda that has already provided tremendous fruit to language designers. You can find the echoes of this research agenda in the design and implementation of basically every modern typed language, as well as a lot of the infrastructure for dynamic languages.

If you're a language designer and you're not aware of the research agenda described in this blog post, learning more about programming language theory will be immensely beneficial.

If you're not a language designer, then your attitude is kinda weird and off-putting. Like demanding an explanation for how fluid mechanics will make your code better. (As it turns out, understanding the theory behind the languages you're using will make you a better programmer, but that's really beside the point.)

> As far as I remember attempts to use proofs in production were counter productive

You remember incorrectly.

> For most systems knowing that print "hello"; will do that is good enough.

Isn't this attitude exactly how we end up with vulnerability-riddled, brittle, and barely maintainable code? I can't think of a single system I've designed or implemented where all I needed to know was that STDOUT worked properly. Most of my test cases capture far more interesting properties. The more of those test cases my tooling can rule out for me, the better.
VpnCloud – Peer-To-Peer VPN in Rust
>It also didn't have memory segmentation

The Z80 only has a 16-bit address space.

My favorite CISC architecture is the 68000 series.
> this... would not be time travel, but... a different time.

Hmmmmm.
QED.
I think there is a time and a place to nag people about changing their habits, and it is absolutely not when they are at their weakest and most vulnerable.
Can anybody recommend a linear algebra course based in finite fields?

A lot of theorems like SVD and eigenvectors seem like they'd carry over, but they are always proven over complex numbers.
Nope, the only reliable way to block it (that i know of) is to break reboot service by taking away permissions to run or edit it from your own OS

Possibly it will get overturned by autoupdate after a while anyway
If doing the ordinary and correct things is leading you to despair, then try something adventurous and radical: sail the ocean, climb a mountain, become a monk... use your imagination!

(Here's a secret: ten years from now, no one will know or care whether you have that master's degree or not.)
When my wife had our son over New Years it was a total nightmare.

The hospital folks messed up reading a chart and put her on a broth diet, and since it was the double whammy of a weekend plus holiday none of the food court places were open, and most vending machines had been pillaged. Our aide/tech took pity on me and swiped a hospital pancake breakfast. I was so thankful that I hugged her... then I tried to eat it. The pancake was like shredded cardboard and elmers glue with that sugar free syrup that gives you the shits. But it was better than broth.

The ironic thing is that I live about 4 blocks from the hospital, and we could see our kitchen window from the room we were in. But navigating the labyrinth of corridors and circumference of the hospital takes 30 minutes (only one door is open on the weekend, because security) and being gone for an hour wasn't ok for me!
That's why I asked because I have a Dell Inspiron and I don't have that option sadly.

Thank you for the picture!
it's basically the vi of 3d modellers (:
It's at least still going ahead in Scotland, despite the objections of the Scotch Whisky Association: http://www.bbc.co.uk/news/uk-scotland-37725251
Welp, no linux version. A visual novel that actually got me interested. Hasn't happened in quite some time!
What was "aggressive" about the position that I'm "pushing"?

The title of the article did not state "statutorily homeless", nor "facing homelessness", hence I am not impressed by this reporting.

I'm supposed to assume this is what is "actually" means, rather than "actual homeless[ness]"?
Securing your personal Android device from surveillance
Please consider changing the license to LGPL or something even more liberal. GPLv3 is too restrictive even for free software, and may result in problems when linked to GPLv2 only, MPL and similar software, such as NS-3 and many others.
Google has had a couple worldwide outages (most recently was about 2 years ago if memory serves). That's not "maintenance" per say, it's an emergency crisis outage. Downtime is definitely not always "maintenance".
How to drive a CGA screen directly with a stock Arduino UNO
...that really doesn't help with the issues I have: the instruction set is an absolutely ugly jumble of almost 40 years of religious backwards compatability, odd hacks, and various extensions.
Kickstarter -  Fontawesome 5 launch raising almost $800k
The burden of the proof is on the people asking for a line to be drawn to prove that drawing a line is necessary, at all. Until I see proof that students using racial slurs with malice causes significant harm, and this specifically because of the racial slurs, I do want universities to allow it.
> I never felt more like stabbing myself than when trying to cipher out exactly which immediate values are possible on ARM, and which are not.

It depends if you're compiling for ARM or Thumb. The main rules are:

ARM and 32-bit Thumb instructions: 12 bits for arithmetic data processing instructions and load/store, 8bits with even rotate right for bitwise data processing instructions + MOV and MVN

16-bit Thumb: 3 bits for arithmetic instructions with Rd != Rn, 5 bits for shifts (so the whole range is covered) and load / store (but shifted left by the size of the data, i.e. the maximum offset for this version of LDR is (0x1F << 2) = 124), 8 bits for arithmetic instructions with Rd == Rn, SP-relative loads / stores and literal loads.

I doubt x86's popularity has much to do with its instruction set at this point. In particular, the variable length instructions are a pain for decoders (both hardware and software).
The Illusion of the Illusion of Control
I agree 16gb is not low.

But remember, when you buy apple, you have to buy all the memory you want for the next 5 years now, since it can't be upgraded.
When trying to learn programming for the first time, find a book that has lots of exercises. I used an earlier edition of http://openbookproject.net/thinkcs/python/english3e/, but I've heard that people like "learn python/java/ruby/... the hard way".
Isn't the fundamental problem here the `?` wildcard type? It allows expressing impossible types like "a super-integer that extends string", and the compiler just trusts you such type exists if you say so.

Of course the whole generics system in Java is basically just "syntactic sugar" to save your from writing a ton casts, so it will just break at run-time.
hmmm... really makes you think.
I don't pay into the union - will I still be able to access them?
Yes. But you could install an MMU.

The 68k (and it's 8-bit semi-cousin, the 6809) were very nice. However, unlike the Z80, the 6502, and x86, they're no longer being made, and are increasingly rare.
What does Zcash mean for Ethereum?
I'd recommend learning 68k instead. Or MIPS.

But definitely Z80 over x86. x86 is pain.
Aye. I found its interface to be simpler but it quickly became clear that it was fundamentally useless since I lost the performance gains of partial mutations that left unmutated parts of the structure with the same reference.
I love dogmatists.
I've been listening to Dave Arnold's Cooking Issues podcast a lot recently. He's just announced the Spinzall centrifuge. It is a bargain for what it is, but still too much for the use I'd get out of it. And once you've got a centrifuge, you of course have to get a rotovap, a Vitaprep, and a chamber sealer. Not that you need all this stuff to get good use out of the centrifuge, but just because.

And as I noted in another comment, the "until recently" bit is partly because this article is from 2014.
> Isn't google drawing it's own line around the open web with AMP?

Yes, I mean, AMP isn't the solution I might build independently. But, it is built on standard, open web platform features. You can render an AMP article from any source in a manner of your choosing, using the features available in a web browser.

> If google really cared that much about speed they would just punish slow sites.

They have started doing this as well, I believe, by rewarding sites that are optimized for mobile devices.

> I see amp as a land grab in cute packaging.

There is a land grab taking place, whether AMP exists or not. The territory at stake is the growing mindshare of users who browse published content (sometimes exclusively) on mobile devices. I would personally love to see a more open movement than AMP or Facebook Instant Articles participating, but I would take AMP over Instant Articles without much consideration.
Show HN: Find jobs in your favorite emerging programming languages
So what is actually outside the Overton window?

My preliminary list would be

- human neurological uniformity

- anti-Semitism

- Islamophobia

- ethnonationalism

- conspiracy theories

- libertarianism and Objectivism

Also there is a kind of inverse-Overton, subjects that can be safely debated because they are unlikely to lead off the reservation. For instance abortion and gun control. Everything's already been said.
I've been running a postfix for years (since 2008ish) and never once checked or worried about blacklists. My 3 users haven't reported any problems at all.
Related to existing post and discussion - https://news.ycombinator.com/item?id=13050262
"Hackers"?

From an online tech rag too.
> Here's a handy heuristic: if somebody claims to know every x86-64 instruction (or even every x86-32 instruction), you can be at least 90% sure they're lying.

I very much prefer ARM myself, but you can probably apply the same rule of thumb to it. There are upwards of 400 instructions both in AArch32 and AArch64, with a fair number of differences between the two.

Edit: I've also posted a breakdown of the immediate limitations for ARM in this thread. It's not that complicated when sticking to the standard instructions.
Please don't come here to diss this community while participating in it. That's like littering in a city park while complaining what a mess it is.

We detached this comment from https://news.ycombinator.com/item?id=13050127 and marked it off-topic.
It's not about being outside your 'comfort zone'. I've been running complex setups for years and am perfectly comfortable getting my hands dirty.

It's about the time and effort it takes to constantly fight the blacklists and the downtime for my business.
I wish 68k, but it's out of production (as is the 6809, its equally awsome 8-bit cousin).

MIPS and ARM are fun, though, AFAICT. As is 6502.
If you already have/want an InstantPot (or other electric pressure cooker), adding ability to do sous-vide in the same machine would be a plus (they already market them as "7-in-1!"--it's a crockpot; it's a yogurt maker).

Also, the pressure vessel means you can go to water temps above 100C. Not sure if that's a useful/interesting range for most ingredients, but some creative souls might find a use for it.
IIRC, one of Patrick O'Brian's Aubrey-Maturin novels (a.k.a the Master and Commander series) sees a former sin-eater among the crew: ostracised by his crew-mates, he is taken on as a surgeon's mate by Dr Maturin.
Refactoring Notes
The empirical point of view is definitely worth mentioning.
There's still a middle ground available. You can move your emails to a smaller but serious commercial email provider you actually pay for. I moved to Zoho for example (I pay them directly and use own domain), but there's still loads of others available.

I don't get the complaint about the promotion tab though. I had the emails auto-labelled before more or less as private / adverts / notifications / mailing lists. This maps pretty well to Primary / Promotions / Updates / Forums. Anything that ends up in Social I just unsubscribe from. I'm pretty happy with their autoclassifiers. They don't make me not see emails.
Amen.

I learned to program on the 6502 based VIC-20 using Lance Leventhal's "6502 Assembly Language Subroutines" as a guide by manually assembling and poking into memory. What a fun time.
> an absolutely ugly jumble of [...] religious backwards compatability, odd hacks, and various extensions

Like POSIX, MS-Windows, X11, WinAPI, C++, HTML5, ... ;-)
Are you sure you still have a job?
Yes. You choose the charity yourself, send the money to it directly, and, most importantly, you leave the CAH completely out of it, because they don't care.
Fear of Staxit: What next for ASF's Cassandra as biggest donor cuts back
...But how many of those instructions are just variants of other instructions, but with a different addressing mode?
And -- incidentally -- any other computer on your network.

But hey, security schemurity.
I hope one day I'm so wealthy that I can use my source of livelihood to make a sociopolitical statement.

Until that day, I'd much rather ensure that my children are safe and happy than to stand up against my employer's wrongdoings.

(I don't work for Facebook. But I thought about how practically impossible it would be for me to do the "right thing" if it were my company)
He probably should have said 'not time travel but a different world'
I think the time pressure played a significant role. Building a significant colony with tens of thousands of settlers is going to take decades. So the cost would be spread out. Reusability will also reduce cost by more than two orders of magnitude.
Meat eating diets(especially red meat) show increased risk of heart disease in so many studies it's a definite fact. Should we tax that as well?

The reality is that obesity is the cause of all of these food related diseases. Playing politics with which foods get taxed and which do not doesn't strike me as a winning game and will likely evolve into a battleground of special interest groups attempting to get their competition taxed.
Sous vide is usually at a lower temperature than boiling. I did some research and felt pretty safe about using ziploc bags with mine for meats up to 160 F. People have done testing on this stuff.
> Actually I think it will be cheaper than today's system.

The best education ever possible is going to be cheaper than today's educational system? What gives you this idea?

> Also it will be paid for by everybody and since all school are equally good it is much easier to get good teachers.

Why would everybody pay for good education? I don't have children. And good teachers are rare no matter what. I certainly have no inclination to discipline 30 kids for 8 hours a day. Why is it easier to get good teachers?

> reading and writing is important, very important but so is math, biology, physics, geography, history, and more.

Yes, would it be better to learn reading and writing and miss out on some math, biology, physics, etc etc? You said there's no point in education unless it's "the best".

What color is the sky in your world? None of your statements make logical sense or form a consistent view of reality. It says you've been a member of HackerNews for 5 years, it seems like a long time to finally unleash your inner troll.
Currently on the front page: https://news.ycombinator.com/item?id=13051241
I think this is a good idea, but there isn't much in the way of API access or documentation for SFMTA systems. Beyond Nextbus, there is no API to poll for data. Nearly everything requires a request for information or Sunshine request, where a staff member stops what they are doing, goes to an internal system (Trapeze, for example), does a C&P, removes HR info, and passes it along.

That being said, some of the newer SFMTA projects do have a data stream to at least scrape, like road construction schedules, Muni Forward, and Vision Zero collision data. There is a whole lot more data available, most of it released quarterly, I could help get access too as well.
New HIV Vaccine Trial to Start in South Africa
> > As far as I remember attempts to use proofs in production were counter productive

Wait, does that mean in development? Otherwise, as I understood production so far it would be dependent typing. Supposedly that infers and automates a lot of otherwise handwritten safety checks.

> You remember incorrectly.

Indeed, Test Driven Development is huge and it's not even really formal. Formalisms should facilitate it a lot.
It is a very practical field of math, especially for computer scientists (Graphics, some variants of machine learning, pretty much any large scale computation with chunks that can be processed in parallel), which is probably where people derive importance from. Another huge benefit is that linear algebra (For matrices with certain properties, not generally) often allow for iterative and approximate solutions, which can make linear algebra a more tractable computational route. Some of your engineering classes may have used numerical solvers that rely on linear algebra to iteratively obtain relatively precise solutions to difficult equations.

You are correct that the fundamentals (Vectorized computation, aka matrices) are often introduced early on. The level at which you interface with linear algebra often scales with the level of math you are at. You can add them [1], integrate them [2], and use them to solve some PDEs [3]. You can see how all these "levels" of linear algebra would be accompanied by another math class pushing you to utilize linear algebra at a higher level than before. It appears that you're at the first level. I've actually never done [2] in the classroom, but [3] was introduced to me in a class on differential equations that utilized matrices as a possible solution route.

If you are interested in learning more, Khan academy has good linear algebra videos.

[1] http://www.purplemath.com/modules/mtrxadd.htm
[2] https://www.youtube.com/watch?v=z73ed-bd9ek
[3] http://www.maths.manchester.ac.uk/our-research/research-grou...
Gmail and other really big providers are in a unique position for spam filtering. They have so many users that they get a continuously trained filter pretty much for free. They can instantly classify never-seen-before kind of spam in minutes because someone gets push notification on their phone and clicks "this is spam".

Nobody with purely-technical solution to this problem can be better in practice. (although we're pretty close) This means you're more likely to get actual spam in your custom deployment.
a) You aren't boiling the water, not even close most of the time. Most meats are cooked around 135F - 150F. You might take veggies up to maybe 185F, but I don't think most people SV vegetables anyway.

b) Dave Arnold on his Cooking Issues podcast got the SC Johnson folks to confirm that their ZipLoc bags are safe for this application. In fact, I checked one box of mine and it says "BPA free".

c) FoodSaver bags are safe as well, but I don't have a reference handy.
There are many reasons to leave facebook (as a user, at least, but arguably for employees too), but these have to be among the dumbest I've ever read. Ooh, let's boycott eachother for political opinions. Get a grip.
> "You can't call it an education that Bridge is offering," Croso said.
> "You have technology -- like tablets -- often standing in place of teachers and you have very scripted classes that tell the teachers exactly what to do and when -- so you don't have any sort of autonomy and you can't improvise."

Sounds kind of like the American education system to me... and honestly I'm not completely sure you could call the American system of education really an education anymore. More just studying for the tests.
One day, I hope to live in a world where people can disagree politically and not think the other side is the evil incarnate.
What is an example of something you would use that feature for?
Not a click, but in default keymap, hit the spacebar while in the viewport, and start typing in whatever you want to add (ie Cube, Sphere, etc...)
The better part of 20 years ago, Kaylon sold their shareware / try-it-and-buy-it bookmark manager Powermarks.

I've yet to come across anything as useful as it was. Cross-browser, automated keyword extraction and indexing that could be supplemented by the user, lightning fast search against spaced plain text and fragment entries.

Other features, as well, to aid in link management and maintenance.

By contrast, browsers' built-in bookmark management still sucks.
Diane Ravitch writes about it here:

https://www.amazon.com/Death-Great-American-School-System/dp...

The school was called Manual High School. If you just search for "Manual" within the book on Amazon you can see at least parts of the story, around page 207.
To be honest, your suggestions would actually make the article worse. Anecdotal evidence is worse than no evidence at all. Anecdotal evidence is extremely prone to bias and gives one the illusion of knowing what's happening, when in reality, they don't.

If you really want to know what's happening, you would have to

A) Poll a large distributed sample of students/parents

B) construct objective and meaningful metrics by which the private/public schools can be compared

Both A and B are extremely expensive, and do you really think western news readers like you and me would pay back CNN for such a major investment?
Hey, I didn't say it was the only one.

Although POSIX and HTML5 hold up a bit better than Win32 and C++, IMHO. Especially POSIX (it's not great, but it works pretty well).

But I've heard X11 is absolutely miserable, so the windows folks don't have a monopoly on satanically evil APIs with religious backwards-compatability.
Listening on 127.0.0.1 will not make it available it in the network.
Blaming Facebook for the election result is like blaming the ocean for drownings.