skysight-inc/HackerNews huggingface dataset:
The killer feature of Elm is something I discovered a year after taking a break from Elm: I revisited a production Elm application I hadn't touched in a year, approaching it almost regretfully with "why did I have to use Elm?", certain I'd have no idea what was going on after such a long absence.

What actually happened was that I was immediately productive.

Without having to credentialize in the code, I was able to stub out new features and push an update. An infrequent experience for me in other languages. I had only a figment of an idea of the code I had to write, but I got started and the compiler helped me the rest of the way.

I still don't understand how to confidently organize an Elm app. But that describes my relationship with every front-end Javascript framework as well. I regularly choose poorly between component vs upstream state in React. But what I can do is refactor Elm code at a level that would be downright expensive in Javascript.

As far as the sour graping going on in some nooks of the Elm ecosystem, I'm reminded of this post by Rich Hickey: https://www.reddit.com/r/Clojure/comments/73yznc/on_whose_au...
Netflix could buy its own cinemas: report
Last week I got scammed by some guy that came to my door asking for money so he can have a hand surgery, he showed me his hand which was severly disformed and I got sentimental and gave him some spara change (a few bucks), which considering I'm a student still hurts my tight budget a bit. Anyhow I felt good giving him the money, because I thought it might help him if even just a bit. Turns out he got arrested for being a scammer the next day, I recognized his face in the local news article. The takeaway lesson from that was that if I were ever in a position to help people out, I'd do so only through legal chanells and organizations that have proved themselves to actually give something meanigful for the people in need.
7 Exponential Scaling Tips for Large-Scale Movements
do you think most react projects are in typescript?
It is supported by asciidoctor-diagram.
FWIW - we usually don't parse scripts on the MCU because that takes time and memory. Instead, we compile on the development machine using xsc and link using xsl. This leaves more memory free for scripts to use for data, and allows scripts to start running almost instantly.
> Haskell's key innovation over ML was HKTs

In fact, ML modules have had higher-kinded types [1] since before Haskell even existed. I guess Haskell's main innovation in this domain is really its very convenient higher-kinded parametric polymorphism with type classes.

[1] MacQueen, D B (1984). Modules for Standard ML. Conference Record of the 1984 ACM Symposium on LISP and Functional Programming Languages. 198-207.
You can try a mostly Datomic-compatible Datascript: https://github.com/tonsky/datascript/
They just announced this program, so it’s unclear how #3 would apply to you. That leaves #1 as the only sensible remaining option.

If that’s not enough, you could try Apple support. They have many options short of Genius bar. Email, chat, phone, and the Support app. Maybe one of those will help.
I have that experience. Security patches take a long time. You need to ensure that mission critical operations are not impacted, that the private builds which had been supplied to customers are not impacted, that documentation gets updated, that laws and regulations are followed across the world and in specific regulated verticals, etc. Then customers need time to review the patches and follow through on their schedule of updating their devices.
Right, but a doctor is bound by the Hippocratic Oath, and because the recommendation, specifically, for cannabis has legal implications (i.e. the patient can now purchase it under the law), a cannabis rec has similar ethical considerations as a prescription.
I really like Digital Ocean. Compared to AWS, which I use for work, Digital Ocean is so much cleaner and intuitive. They offer fewer services, but the ones they do offer they really mastered.
I think you can adapt the concept of immutable data structures to any situation.

For key-value store an immutable hash array mapped trie is a good place to start.

I.e. each update creates a new "head" node and duplicates only those parts which are required to maintain unique versions of the tree. The hash array mapped trie is excellent for this purpose since each node has many children, and thus a unique version does not need to duplicate too many nodes.

Then, just store all the head nodes in a linear order in e.g. a list, and you can travel back in time by navigating the head nodes backwards.

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

https://infoscience.epfl.ch//record/64398/files/idealhashtre...

https://github.com/clojure/clojure/blob/master/src/jvm/cloju...
So they’re pissed off that Facebook does not censor its users as they'd like. Zuckerberg says the AI will. They don't agree but they don't offer any other solution in exchange either.

Wtf?!
Show HN: Gripsweat, rare vinyl auction and sales with sound clips
You weren't kidding! I've been spending all morning reading the site!
It's Record Store Day again and I thought I'd share the site that I've been running for a few years now. It collects vinyl auctions and sales daily (with sound clips), and is at >10M items and >500k sound clips.

I've killed hours just clicking through sound clips to find 45s and LPs that probably otherwise would have slipped past me. This is especially nice for "deep" genres like:

Afrobeat: https://goo.gl/UG6kZm

Reggae: https://goo.gl/tHvJyA

Garage: https://goo.gl/51cJpQ

Northern Soul: https://goo.gl/Jj88Bd

etc,etc

Or you can just watch RSD2018 get out of hand: https://goo.gl/VXN8w8
How I keep my crypto safe – locally and on public clouds
One thing though: you still have to do data modeling. No matter how much you pretend that you don't have to do it, you still need relationships, and unique references, getting and querying ranges. Hell, even data access restrictions.
> How much beef do you have to feed the average banker per transaction?

If we had more automation and fewer banking jobs, beef consumption would go down because the former bankers would vanish into thin air?
The problem with tech unlike say cardiology or law is that things change so quickly that experience doesn't easily accrue as an asset. Further, because tech is dealing with things rather than people a professional network also isn't easy to build.

Compounding these problems is that the internet has allowed organizations to relatively easily outsource a lot of tech work to low wage countries. The combined result is that tech workers have little strength in the value chain particularly as they get older.

One bright area though is tech for smaller companies typically web technology. Small companies can't easily manage foreign workers and many are not large enough to hire an IT department but they still need a web site and often and specialized database backing it up. These types of businesses often appreciate older workers as consultants and pay them well enough, almost like lawyers or accountants.
I wasn't saying the CIA was it's discoverer, but rather it is the one that pushed LSD as part of the counter-culture movement of the 60's, which included experimentation on people (often without them knowing) in mkultra/artichoke programs and more.

A quote from Timothy Leary: "I give the CIA total credit for sponsoring and initiating the entire conciousness movemenet, counter-culture events of the 1960's."

As for why synthetics are dangerous, I think there is a thesis paper waiting to happen on that. Mostly because I don't think we fully understand the effects in total of some drugs. For example, I had friends the VA was trying to put on synthetic THC... but every single one of them said it was horrible, and I came to the conclusion that THC(a/b) alone is bad and that it's the natural combination of it and the other 300+ cannabinoids, including CBD, that really show promising medical benefits.
Can they also make you a worse person?
I couldn't follow his arguments against event sourcing. Could someone elaborate on the differences?
According to [1] IPv6 adoption is slowed down significantly, so we stick to NAT for a decade at least I think.

[1] https://www.google.com/intl/ru/ipv6/statistics.html
The FAA AIP (Airport Improvement Program) grants typically cover 90% of airport improvement projects, with 10% coming from the local entities (state/county/town as appropriate).

That program is around $3.35BB of the $10BB total FAA expense.
A Feasible Approach to Human Stasis for Long-Duration Deep Space Missions
Singapore Airlines has amazing food if you use their book the cook service but even the lobster and steak, while good, is obviously not prepared from scratch in the galley.

Amtrak's food was on par with Applebees, not amazing but still restaurant quality food. I don't think there's any airline that really compares since none have a full kitchen on the plane. E.g. here's amtrak's dining cars: https://www.amtrakvacations.com/content/uploads/2016/01/supe...
Show HN: Create and sell your tokens for your bookings on the blockchain
macOS encrypts by default, but otherwise yes.
Technology is our only savior. We need better technology to get over the current limitations. That’s how we are in this amazing era of modern civilization.
Progressivism vs. Conservatism: A Game-Theoretic Approach
How the Bajau 'Sea Nomads' Evolved for a Life of Diving
Yes, YouTube videos can be considered research, because that word itself does not imply peer review. You may have misunderstood how the word research is being used in this thread.

https://www.merriam-webster.com/dictionary/research

Definitions 1 "careful or dilligent search" and 3 "the collecting of information about a particular subject" are the forms that were being used in this thread. When @acetoxy suggested doing some research on which centers are good, the idea was to get some info in advance, not to perform perform and publish double blind peer reviewed studies of their effectiveness.

I feel like adding, only because it seems funny & totally apropos to this thread & article on LSD, not to patronize you: try to open your mind to the alternative possibilities.
New Zealand’s War on Rats (2017)
Crux: “Zuckerberg isn’t a cynic; he’s a techno-fundamentalist, and that’s an equally unhealthy habit of mind. It creates the impression that technology exists outside, beyond, even above messy human decisions and relations, when the truth is that no such gap exists. Society is technological. Technology is social. Tools, as Marshall McLuhan told us more than fifty years ago, are extensions of ourselves. They amplify and distort our strengths and our flaws. That’s why we must design them with care from the start.”

Seems more than a little out of context to not mention the deep surveillance of FB.
In my experience no it can't. Only your own willpower can do that.

But it can make you see things you were not seeing, or refusing to see before.
Crypto can't even do a single transaction using beef for energy.
Zuck is worth $80b+. He doesn’t need to be “saved”. He’s going to be all right, believe me.
What does this have to do with the original assertion that "one of Odersky's motives in creating Scala was bringing the power of Haskell into the JVM world"?

AFAIK, Odersky doesn't particularly like people trying to replicate Haskell patterns in Scala. For example, he thinks using monads for most effects is inappropriate.
It is premature to assume that AI has already demonstrated that the full scope of high-level reasoning is simpler to compute than sensorimotor skills, even if the latter are proving to be harder than expected.
Money won't save him either, dude
The asanine part comes from ranting about a bug in a Github issue in which the bug had been discussed, fixed, and closed.
From Natural Projection to Partial Model Checking and Back
Ask HN: How would the web rendering platform be designed today?
If the web rendering platform (css/dom, etc.) were created from scratch today, how would it be designed differently?

Knowing it will be used for web apps and WITHOUT backwards compatibility as a goal.

Edit: which css properties would be discarded/kept?
Bit of a meta comment, but I wonder why none of the ~30 posts here seem to actually be discussing the article. Something about the subject that motivates people to state personal opinions/experiences?
The New Yorker is focused on being verbose and speaking at a more abstract level, so it makes sense there's no concrete recommendations to counter Zuckerberg's current route.

Nonetheless, this article seems to have rather minimal information per paragraph, and I'd also at least appreciate learning the opposite of techno-fundamentalism. Maybe an example of perceived benefits in an area where we haven't been 'techno-fundamentalists'? Overall, not impressed.
They should rename Facebook's address.
Show HN: Solana – A permissionless clock for blockchain
Bladdder Cancer Risk Factors
From the article:

>"But, more crucial, it’s also an expression of techno-fundamentalism, the unshakable belief that one can and must invent the next technology to fix the problem caused by the last technology. Techno-fundamentalism is what has landed us in this trouble. And it’s the wrong way to get us out."

Platforms like Facebook are just exposing these innate human biases that have existed since the birth of our species.

The congressional hearings showed that even for some really smart people it's hard to understand the annals of technology and the broader dynamics.

In my view Mr. Zuckerberg's points on AI were more about identifying bots, and bad actor campaigns and not focused on censorship of individual ideas.
There appears to be a no-cost starter edition: https://www.datomic.com/get-datomic.html
> does not correspond to what derived implicits do

I did not claim	it did.	The first example disproved ionforce's
claim that default values cannot be constructed dynamically.

> Define `a` as `y` to shadow the function parameter,

Whoops,	yes that's correct. I didn't realise this was possible.
I designed Solana! I would love some feedback, especially from anyone working on VDFs.
Over 20k bookmarks on pinboard.in half of which were migrated over from the original delicious

Started with the $11 forever plan but then actually started paying for archive option on pinboard just in case.

Link rot is a bit of problem I think about 30% are dead.

I trust pinboard more than pretty much any VC backed company.

Only problem is the bus factor of 1.
True, but I think what they are getting at here is that sensorimotor skills are not simple to compute.
Thanks, I'd love to have a bit more of your attention, foundationdb seems very interesting but I need to know a bit more :)

Let me expand the definition in Kleppmann's book then.I think it is important because it creates a difference between SSI and typical Serializable level based on 2PL.
The below is paraphrasing the definitions on p. 324-329.
The book references http://cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf.
(I must admit, I read the book, not the paper).

Basic idea - make a system appear as if there were only one copy of the data and ALL operations on it are atomic.
In this model, there may be replicas, but we don't care about them.
As soon as a client completes a write to the db, all clients reading the db must be able to see the value just written.

In SSI this is not true, because you may the snapshot may not include writes more recent than the snapshot -> reads from the snapshot are not lineraizable.

Linearizable CAS register is equivalent to consensus, and can provide total order. It is therefore what most developers would love to have (if cost was not an issue :) )
Because it’s 2018 and

while true; do wc foo; done

Doesn’t get attention from hipster developers.
Since neither the blocking functionality nor the actual blocking rules are shipped with any browser, that's somewhat hyperbolic.

Users can still decide which code and data ends up on their computer. If they trust Eyeo more than Axel Springer Verlag, that's their decision to make. Axel Springer is free to refuse serving those users.
Nice. Do I need it though that's the question....
RawTherapee has the option to use the system theme, and I'm quite grateful for that.

darktable on the other hand has basically one dark theme only which also shows stupid UI mistakes as black-overscroll-on-black-background in all lists and fixed font size. If there is ONE setting you have to keep, is the FONT SIZE in the system theme!

You're excluding many more issues from here. Click on a scollbar and drag outside: very often the scrollbar doesn't release when the mouse button is depressed, though styling and custom events play a role. QML is not immune to a lot of quirks in highdpi, most of which are completely absent in QtWidgets. In detail, font rendering (hinting) in QML in GL contextes is basically broken.

The whole UI is perceptibly laggier as a whole. I'm a programmer myself. As a programmer I feel ambivalent, but as an user, I hate it.
In the most recent case I can think of the identity management on a big bank's 16 mainframes was being changed. There were 4 technical teams including QA plus 2 outside vendors and 2 business teams representing mainframe users and identity management system support. And there were a few bad actors in the mix. About halfway through the project several of the teams started refusing to have meetings unless I was present even if the subject had nothing to do with me, "You're the only one who knows what's going on around here." None of the technical teams could understand the lingo of the other technical teams. So I had to figure that out and translate for everyone. I helped the QA team write test scripts for all the systems involved, not just mine. I helped front-end user support write up troubleshooting guides on systems that weren't mine. And I even wound up assisting one of the other dev teams debug code. While I did solve a lot of technical problems, the big thing I brought to the table for this project was helping mitigate social problems. I got major personal kudos and a bonus of about 30% of my yearly salary.
Airports are largely self-funded by user fees (or via federal funds which come from other user fees and fuel taxes), and airlines (except for bailouts in 2008-2009) are almost entirely commercially funded.

http://airportsforthefuture.org/did-you-know/

Air is the true competitor to the long-haul train in the US. It is cheaper and faster. There are separate arguments for/against transit and regional trains, but long-haul passenger rail, which is what is discussed in TFA, is essentially a novelty.
Even a nautil.us article is not spared from making this classic mistake:

> Spinning in vortices, air could travel more quickly now above the long narrow wing than below it, creating the pressure difference that would lift them into the skies.
I don't see how a population exposed to mass destruction (nuclear holocaust, biological agents, etc.) is going to have the same effect as a a couple of bad harvests, nor how a bunch of untrained civilians with semi automatic guns are going to compete against the modern military industrial complex.

The word has changed, but the cards that the common people hold remains about the same as before. Your "starving common people" may hold a full house and yesterday, that meant something, but nowadays, it doesn't compete with the straight flush of a modern military, psych-ops, and the entertainment distractions of today.
You don't become a philosopher when you are a researcher at a philosophy department. If departments do this, they are mistaken. What you do is basically history of philosophy. You can be a philosopher / thinker at the same time, but you are not necessarily a philosopher if you are a researcher in philosophy, or you don't necessarily need to participate in academia if you want to do philosophy.
The best way I've heard it described is "complex systems run in degraded mode".

https://cdn.chrisshort.net/How-Complex-Systems-Fail.pdf

Basically once a system is complex enough some part if it is always broken. The software must be designed from the assumption that the system is never running flawlessly.
Isn't that basically what he said? :)
Interesting, the first thing I ever knew about smugmug was their purchase/data save of Picturelife[1], and the story on the Reply-All podcast[2] about the problems Picurelife users were having (err, before the purchase, not after. The discussion of how things went bad for Picturelife is worth the listen).

[1]https://news.smugmug.com/smugmug-rescues-nearly-200-million-...

[2] https://www.gimletmedia.com/reply-all/71-the-picture-taker
A tad bit pedantic, but I see your point that "There is no limit" and "real constraint" are in opposition. I think the comment was just trying to say there is no fixed ceiling.
Razorpay (YC W15) Is Hiring Senior Product Managers in Bangalore
Hi

I'm a 2x Founder, serial entrepreneur and growth strategist. I founded and exited online tuxedo rental company SimpleTux before starting my second venture, Renly, an Airbnb for commercial business space, where I am currently CEO. Additionally, I've led growth at a number of startups, including alumni from such prestigious programs as Y Combinator and Techstars. My speciality is growth hacking. I'm sure I can help and would love to set aside a time for us to discuss your goals and how we can accomplish them together. See my startup resume at www.chrissheng.com

While every company's growth hack is different due to the product/service and marketing mix, the method to discovering that hack is the same. It's an incredible amount of testing, the ability to come up with a never ending source of creative content and channels, benchmarking and optimizing. It takes discipline to stay the course and set the variables. Usually a growth hacker is either really good at analytics or creative, I pride myself on being strong in both.

Look forward to connecting.

Chris Sheng
www.chrissheng.com
This seems kind of silly to me. I'm no expert but as far as I can tell, almost all the difficulties confronting electrics are known quantities that we make slow but steady progress on each year. Meanwhile this author is saying, that for hydrogen to be viable we just have to solve this one massive distribution system problem and we're good.

Isn't it kind of obvious which tech is more likely to overcome its impediments? Especially since problems that can be solved in small bitsized pieces is exactly the kind of thing big corporations are good at?
Broken link https://blog.mattbierner.com/nuke-scan/playlist
The keyboard is shameful. I'm traveling so I can't replace it, but inside of five months, two of my keys (A and T) will lift up with my finger as I type, right off the keyboard.

No physical damage either. The C-clamp holding them in just loosened a nanometer and it doesn't work anymore.

If I could go back five months, I'd replace my MBP with an old Air. I would've thought I had a particularly defective unit had my friend not had the same problem. His 2017 MBP collects dust while he went back to his 2015 MBP.
There's the small problem that air travel is environmentally unsustainable, with no fix in sight. It should be heavily taxed to account for the env. externalities.
This speech was ultimately done by specific people employed by Google.
Just saw this, thanks!
Verizon sells Flickr to SmugMug
Same here - I don't know anyone who became a worse person after psychedelics - and I know a LOT of people. It seems like the other responses you're getting are the exception and not the rule.

I always expect the exceptions to come out on HN because the denizens here are always quite contentious about whatever subject comes up.
I think most people did not read your comment :-)
distributing hydrogen requires trucks and you have to refuel them at fuel stations

The physical and mental infrastructure for both of these are already in place.
I love this paper.