skysight-inc/HackerNews huggingface dataset:
If you're looking for investment advice, news updates, expert opinion tracking, etc.

(Essentially everything that doesn't touch money directly). I built a platform: https://projectpiglet.com/

Speaking of which, if anyone from the CoinTracker team is interested - I never want to touch money, so I don't feel we are competitors. I'd be happy to work with you to provide a "news feed" feature, and a lot of additional analytics (obviously, we'd work something out).
I get your point, and I do get the OP's. But in all fairness, Google/FB/... are just lucky they don't have an 's' in their name because the '$' applies to all of them. Hmm, maybe the 'e' in Apple could be turned into the euro sign :]
VR headsets up 82% in Steam's January survey
UK Foreign Office Minister Blames Russia for #NotPetya Massive Ransomware Attack
You can cluster with postgres & mysql, but you have to implement the clustering / sharding logic yourself.

Nowadays I would just use redis & cassandra if you need something beyond a collection of postgres instances. Most projects do not.
If I understand correctly, homoiconicity isn't really about the symbols used in the source file to represent code are the same as the symbols used in the source file to represent data structures. It's really about the parse tree of the program using the same data structures that programs use for data, and therefore you can operate on the parse tree just the same as you can on regular program data.
When you work with the type system it checks a lot more than you check in Python. In Python you pass around untyped tuples and maps because defining classes won't gain you anything (and is surprisingly cumbersome and unpythonic), whereas in an ML-family language like Rust you use lightweight, fine-grained types to check that every function call is correct and you can refactor fearlessly.

(I'd recommend using a language with garbage collection unless you really need to not though; OCaml is quite Rust-like but means you won't have to worry about the borrow checker)
FWIW, the new Microsoft games are actively maintained with new content and features on a regular basis, whereas the classic Minesweeper/Solitaire EXEs (which you can easily copy onto a Windows 10 PC) weren't modified beyond bugfixes for somewhere around a decade and a half.

Microsoft Jigsaw is perhaps my grandma's favorite thing ever, and the $20 yearly cost for premium (ad-free) is well-worth it to her.
Unsplash raises $7.25M to create photography cryptocurrency
If you liked this, Ian Purkayastha is worth a read, all about sourcing exotic foods (truffles, caviar, etc) to top chefs.

Munchies episode: https://www.youtube.com/watch?v=-sJ6IJZJhUU

https://www.newyorker.com/books/page-turner/how-a-texas-teen...

The name of his business is "Regalis Foods": http://www.regalisfoods.com/welcome
An expectation of "we'll use the money for important things after we treat ourselves" is exactly why people oppose these kind of programs. You can't just hand-wave that away.
I agree. I don't think it's evident that this is a bad user experience. They identified that many people would appreciate having Facebook notifications on their desktop, so they preinstalled the app and sent a notification to make people aware of it.
This is very unprofessional. Sadly iOS suffers a similar fate with Bluetooth.
From reddit: "I thought cryptos were a decentralized and trustless payment system."
I'm getting sick of this dichotomy. It's trivial to install both. Keep windows 10 on a partition big enough for your games/Netflix/etc., and use Debian/Archlinux/NixOS/whatever for everything else.
To be honest Software Engineering looks like child play when compared to actual engineering work.

Imagine the left-pad incident in a different engineering domain.
There is a difference from risking a few hundred dollars you can maybe afford to lose, and the remainder (unspent) of your bank account being overdrawn.
Bitcoins true value, why Bitcoin will be king
You can combine the model with property-based testing of that code to essentially try your model on the code and vice versa. You might also encode some of your expectations in there as preconditions, invariants, or postconditions that are checked at runtime during the tests. Throw a fuzzer like AFL at them.

Hwayne has write-ups on both of those concepts:

learntla.com

https://hillelwayne.com/post/pbt-contracts/

Here's one on contracts that even your management might like:

https://www.win.tue.nl/~wstomv/edu/2ip30/references/design-b...
I have never used Windows 10 nor made significant use of any Windows version since Windows XP. Nonetheless my parents asked me to look at some issues they were having with their laptops. The trend of increasing clutter that has plagued Windows since XP seems to have accelerated. The user experience appears to have been designed by a hoarder. I spent a significant amount of time asking "Do you know what this is? Do you use it?" to be able to remove some of the many goo-gahs that had been helpfully installed by either Windows or one of their devices. It made me sad that my parents just accepted that this was how computers are because they were unaware that the crap-strewn-everywhere experience was a deliberate choice for the Windows ecosystem.
I have a different model than most existing spaced repetition algorithms that's more of a continuous model (I currently just sample it to get a due/"not due"). I actually worked a lot on it at the end of my PhD in signal processing (not publish research). But the idea is relatively simple to explain:

1. Let's assume: The flash card isn't new. You last review was 100 days ago.

2. It is due in 3 days but you have some extra time today! You have only 10 cards to review but but have some extra time right now and you're are gone for the weekend.

3. It shouldn't matter if you review the flash card today already even though it's only due in 3 days. If it ends up being 100 or 103 days... It doesn't matter. It's all just a probabilistic model anyways with much larger errors.

4. So in premium: After you've reviewed your most pressing/recently-learnt ones you can keep going and pre-learn your old ones.

There is a few more ideas I have but this is basically it.
Need a spaced repitition program with audio and recognition. It would be great to be able to mix those in.
Nintendo, Microsoft Xbox
I wrote a finite model checker in C#, which I used to exhaustively check reads/writes against some complicated serialization code (serializing a bunch of different types into the blob, updating existing objects, ensuring values of all objects were as expected). Used during some tricky memory footprint reduction stuff inside Microsoft, I'll see whether I can open source it.

Other than that, integrating TLA+ with your dev workflow is very straightforward if you're dealing with concurrency or distributed systems. In other domains its value is less obvious.

You might also take a look at the P language, which will model-check your code if you add the right hooks.
Most companies aren’t as desperate for free cash flow as Tesla is. They (literally) can’t afford to ignore China.
>some 3D Pain thing

Was that intentional? Made me laugh either way.
The thing I don't understand about mongodb is that it makes a tradeoff for scalability.

The secret ingredient in the horizontal scaling sauce is
giving up inter node ACID transactions.

Nothing prevents you from making the same tradeoff with mysql or postgresql.
I'm fairly financially stable but I generally only keep a few hundred dollars in my checking account at any given time. The rest goes into long term savings of one sort or another, and it's not necessarily easy to convert back to petty cash on short notice.
Thanks for the advice. I will just ask everyone who wrote the software I use to port it.
the money being lost is not their bitcoin investment but their checking account's balance. It doesn't make sense to me to keep large amounts on money in checking because you don't earn any interest and it takes time to transfer money from savings to checking. So it makes sense to me that some checking accounts are being completely emptied or overdrafted...

Here's one anecdote of $67,000 being removed: https://www.reddit.com/r/CoinBase/comments/7xsyf4/17x_charge...
It should be 16 & 21 and 58 & 45.
For some technical discussion of the order of evaluation of arguments: https://en.wikipedia.org/wiki/Evaluation_strategy#Non-strict... (Short-circuiting is specifically mentioned as having relevance)

Note that even in a language which is generally strict, laziness can be provided selectively for individual values, and vice versa. Haskell's laziness has proven to be a cause of troublesome performance problems, sometimes needing to be solved by "strictness annotations"; the newer language Idris is strict, but offers laziness as a type.

http://docs.idris-lang.org/en/latest/faq/faq.html#how-can-i-...

EDIT: phamilton beat me to it, maybe the links are still useful.
I feel I need to quote the post mortem back at you so you point out where I mis read the quote.

"Our top focus right now is to ensure service availability. Our next steps are below:
Identify and resolve the root cause of our DB performance issues. We’ve flown Mongo experts on-site to analyze our DB and usage, as well as provide real-time support during heavy load on weekends."

How does that disagree with my post?
They cannot currently. My goal right now is to avoid too much fracture and try to build a high quality central DB with lots of audio/image files and the right synonyms and (not yet impl) linked example sentences. Though, I can probably see the value in private forks flash cards (as well as courses!) but it's not a near term goal (gotta focus on more core stuff).
Trivial to install both but a real hassle to actually use both.
It depends on the AST, but most languages' ASTs are quite unwieldy to work with directly. They get marked up with all kinds of semantic information useful for a compiler or interpreter quite early in the parsing process, and are often more explicit and regularized than the syntax is. For example, you can dump a Python AST with the 'ast' module, but it's not pretty. The statement "x=5" balloons into:

Assign(targets=[Name(id='x', ctx=Store())], value=Num(n=5))

I think a comment up this thread (https://news.ycombinator.com/item?id=16386702) is right that Lisp manages to make this work because the s-expression structure of Lisp source code isn't really an AST, though it has some relationship to one.
*Gandhi
Are you really advocating that children should turn down attending to the best university they can get in to over the choice of textbooks in classes they haven't chosen that are taught by different professors on a rotating schedule? Do you really think that is reasonable or even feasible?
I'm not sure 'finite' is the right way to think about it. I'd be more inclined to think of infections acting to 'Exercise' the immune system, similar to how jogging keeps your heart healthy, rather than using up a limited number of immune cells.
Me too. I have a perfectly functional music studio computer that's dual-booting Win7 on both partitions - one for more general use and making YouTube videos, and the other for making music. I've had quite a few 'why aren't you running Win10' comments... I have nothing to gain and a lot to lose - time if nothing else. I hate the Win10 UI, bloatware and changing things without your consent, and Win7 works perfectly for me at the moment.
I actually did hit the rate-limiting on my server :)
But yeah, I then also hit your HN rate limiting for my account. Thanks for the quick fix!
It's great that people are willing to do this but it seems like kind of an absurd bar to just doing general computing.
This article makes an incredible, and false leap in logic.

Quaalude was hard/impossible to make at home. The Government prohibited it, and it has successfully been eradicated. Ergo, we can do the same thing with guns!!!

FALSE.

The only true bit in this article is that yes it is much easier to grow weed than it is to manufacture a gun at home. But even still, manufacturing a gun a home would be a lot easier than making Quaalude. Guns have successfully been 3d printed.

As long as there is a demand for something, there will be a market for it (weather legal or illegal). The reason Quaalude went away is because there were other illegal drugs that filled that void (that were cheaper and easier to make). If there weren't, if people were desperate enough for Quaalude and willing to pay enough, then someone would have supplied it.

The second major flaw with this "parallel learning" that the author is trying to do here, is that drugs (specifically Quaalude) are a consumable. You use it, then it's gone. While guns are more permanent tool that can be used over and over. So the existing supply will never just be consumed away.

Bottom line, gun prohibition will never work. There will always be demand for guns in the USA and getting rid the the vast amount of guns already out there (there more guns than people in the USA) is not remotely feasible.
From the Google announcement[1]:

> With AMP for Email, you’ll be able to quickly take actions like submit an RSVP to an event, schedule an appointment, or fill out a questionnaire right from the email message.

Form the company that prides itself on doing advanced natural language processing and machine learning. How about I just reply to the email? You know, via text.

Do some simple sentiment/content analysis and leave the rest to the senders integration between email client, calendar, crm whatever...

We tried "send people code". It was called office macro virus (viri). Running the code as js doesn't really improve things as long as all your important data lives in the same js namespace...

[1] https://www.blog.google/products/g-suite/bringing-power-amp-...
Software developers are probably one of the few professional groups with virtually no software that ties them explicitly to Windows or MacOS. Accountants, artists, video editors, modelers, engineers, car mechanics... so many others rely on software only available on Windows.

On the gaming note - I'm glad you enjoy the games available on Linux, and that you were OK giving up some games you enjoyed. Personally, I'm working my way through WoW, with some dabbling in Space Engineers and Subnautica. None of which are available on Linux, without diving into the world of Wine.

Could I give up Windows PC gaming entirely? Sure.Could I dive into the convoluted and not-always-reliable world of Wine? Sure. Could Bob Ross have given up oil painting for acrylics? Sure. But... it doesn't sound like much fun.
What I'm really curious about is how bugs/errors in the iOS typesetting algorithm result in a crash, rather than just wrong or nonsense typesetting -- and how the last time this happened, they appearently just fixed the specific case, but not the ability of bugs/errors in the typesetting algorithm to crash the system.

I am not surprised there will be errors/bugs in the typesetting algorithm, as the OP demonstrates, this stuff is extraordinarily complicated to do for every language/all of unicode. But if you have something so complicated that bugs/errors aren't surprising -- you'd think you'd want to make sure they didn't cause hard crashes.
Abraham Lincoln's Secret Visits to Slaves
Note that the biggest issue with such programs isn't so much the features as the file formats these programs use that came to become de facto standards in their industries.

I was just yesterday talking with a friend of mine who worked in architecture visualization and told me that basically the main reason he cannot use blender, even though he'd really like to learn it (and it would save him money on licensing), and he uses 3ds max instead is that 3ds max can read (he didn't care about writing) all the file formats from more specialized software (not max files) that his clients send to him and that is basically the reason every firm that does the same thing cannot use blender.

When i suggested that maybe some of those firms could pay developers to implement and/or improve support for those formats, he said that none would do such a thing as the bigger firms who can pay developers do not really care and can afford to use 3ds max while those who would benefit more by switching to blender (smaller firms and freelancers) cannot pay the developers.
Yup. And if that's the kind of thing you enjoy control over, you might like Mathematica :)
The other day I found an error in the Glucose SAT solver, but only when running with one of the options (-rcheck) changed away from its default setting. Glucose produced an alleged satisfying assignment that didn't actually work.

So it's possible for mainstream SAT solvers to have errors, but I imagine their default configurations are very thoroughly tested.
your computer is your thing, install whatever OS you like. If you want a non consumer experience and want windows, go with a server product.

People are never gonna be happy with change. Not so long ago they took paint (which they insisted on us having whether we wanted it or not) out of the base install of their "botnet / malware" and people lost their shit. Now windows dynamically asks you whether you want a program and people are again losing their shit. In both cases it's microsoft making a call on what apps are on your machine. In both cases you can uninstall them.
That all makes sense. One of the themes of my piece is how things look when you stand outside of your own perspective and ask how people like you came to behave in the ways characteristic of their culture.
This article suggests that delayed gratification can be taught ...

https://tomprof.stanford.edu/posting/1182
> An open source project ... will never be able to compete with ... pays developers ...

There are plenty of examples where they have done just that. Blender is probably the most obvious.
How does MongoDB handle schema changes? For example, let's say I want to add a mobile phone field to a customer record type. How would I go about doing that in MongoDB?
https://en.wikipedia.org/wiki/List_of_Intel_manufacturing_si...

Intel's only factory in china uses 300 or 65 nm processes. That's Pentium 4 level manufacturing, and clearly not using critical x86 IP.

They are currently building yet another US factory for 7 nm processes.
> Especially how Rust enums and structs make it easy to define new types to guide your programs are a highlight for me.

In recent versions Python got some nice improvements in this area, with the new way of creating NamedTuples, Data Classes and the typing module. I wrote a stackoverflow answer recently that sums it up, if anyone is interested:

https://stackoverflow.com/a/45426493/1612318
Ask HN: What separates a senior developer from an intermediate developer?
Yup what it says. I feel like I'm somewhere in the middle. I've led a software project before but there were just 3 developers in our team and I had the most experience. I also review their code while doing coding myself. For senior devs, how'd you get there from an intermediate level? I just want to get better.

I code primarily in Ruby/Javascript, currently learning Elixir if that helps.
> "I believe Datomic to be the game changing database"

Have you used it? If so, what was your use case?
The underlying theme is _exactly_ the same: they will chuck their users under the bus for what they see as important strategic goals. It was true 20 years ago, and everything I can see suggests it's still true today.

This is part of the reason I gave up developing for Windows and .NET after around a decade of doing it. I prefer to work on a stack with which I'm at least partially values-aligned. (Same reason I abandoned Linux for FreeBSD, actually).
how do you differentiate from Libra tax that provides this service for free and others like bitcoin.tax ?
A thus far benevolent monopoly who have indicated positive intent and applicable thought patterns (i.e. the whole piracy is service problem).
>In Canada (according to my accountant, at least), cryptocurrency gains are only taxable when "realized"

I'm not 100% sure about this point. The issue was raised to me before when I was looking into it— crypto-currencies may fall under barter tax law.

https://www.taxtips.ca/personaltax/barter.htm

https://www.canada.ca/en/revenue-agency/news/newsroom/fact-s...

https://www.canada.ca/en/financial-consumer-agency/services/...
Your last sentence doesn't make any sense.
Do you really expect the FBI, CIA, and NSA to point to a specific vulnerability? I would imagine their specific concerns are classified due to national security.

If it was just the NSA saying this I'd be a bit more skeptical. But if the FBI and CIA agree, that seems like sufficient reason to believe that their motives are honest.
To distinguish homoiconic languages from others (where you may also "operate on the parse tree just the same as you can on regular program data"), a bit more qualification is needed though.

For example, in typical cases, reasoning about such data structures (lists in Lisp, terms in Prolog, bytes in assembly code etc.) is very convenient in homoiconic languages, and in fact I think one could rightfully regard this ability to conveniently reason about a program's abstract syntax tree via built-in language mechanisms as a key advantage of homoiconic languages.
The best part is if you remain almost motionless, sometimes their curiosity overcomes their fear and they come up to check you out. I've been more struck by intelligence in an animal than with cuttlefish.
>"Your neuro-chemistry is altered in such a radical way that you're bound to see yourself and the world from a radically different perspective."

This should be pretty uncontroversial if you add “while you’re under the effects of the psychedelic”.

I suspect that long-term effects are more a result of having had intensely experienced these radically different perspectives, and your ability and approach to integrating this experience with the rest of your life.
I would not call that 'syntax tree', but something like 'token tree' or 'nested token lists'.

For the Lisp reader the form (+ 1 2) in

(first '(+ 1 2))

and

(* (+ 1 2) 3)

looks the same. It has no idea that the first is data or code represented as data. It has also no idea that the second is actual code and which syntax (here some prefix syntax) it uses.

All we represent is a bunch of tokens in nested lists.
I noticed that there are no Chinese flash cards, which seems like a pretty major omission. While looking into adding some, I was overwhelmed by the options presented: https://slack-files.com/T02TG6LJ5-F99RX9799-a147044b72

The app seems incredibly responsive, but adding a card could be easier. And are you planning on adding Chinese language flash cards in the near future?
I really love the idea of WebAssembly but am super intimidated by it. Being a junior frontend dev it seems like a really powerful piece of tech that could go in a million directions in the future.

My big hangup is understanding a low level use case for it. I've console.logged in wasm but only knowing javascript I don't know where to go from here. Is the idea that you can utilize packages in any language then rebuild it in js?
Trust Is the New Empathy
Or passive selection for not being part of an infertile and decadent culture.
On the other hand, when it comes to categories like games, video game console emulators, office productivity applications, document publishing, etc., the open-source alternatives are generally way worse.
Yes it doesn't install trash like Candy Crush and Farmville, or even Facebook. It does try to ram iCloud down your throat but that's just about acceptable given that it is an Apple product and doesn't spam you.
The reason HN does indented text that way is for code. People on HN post code snippets as a fairly regular thing, and having code snippets word wrap (or eat white space) is really confusing.

The problem isn't that HN does that with leading space. The problem is that people use leading space for quotations, which isn't what it's for.
Uploading Anki decks would be nice just to grow the corpus of cards available on the system.