skysight-inc/HackerNews huggingface dataset:
I have tried out functional programming various times over the years. Over one span of some months I used OCaml to create something interesting. Maybe an OWL parser. That convinced me that something like ML was far superior for parsers.

And I have experimented a few other times, such as with LiveScript.

The last time I tried to stick with a functional design was maybe a year or two ago. I ended up repeatedly passing around a lot of parameters so that many functions had several parameters. For example, in order to make a decision, I had to analyze something in several ways, collect that analysis, and make a decision based on all of the variables in the end. So the parameters just started building up until the last function had like a dozen of them.

Then I grouped some of them into structures, but the functions that operated on those structures had a few names parameters which were named in the decision function. So even though I had fewer inputs to the decision, the function body was complex with numerous parameters.

This led me to use classes to encapsulate the state so that parameters did not always need to be passed at the end since they could refer to internal state.
It's just camping ... but with a lot of fancy stuff ... so also not camping.
Very neat, love it. Few things--
1) Recommend this install line (for those of us on mainline/standard who've never used a different toolchain) cargo +nightly install nu
2) Things like ls | where readonly don't work as expected-- readonly should be a bool, shouldn't it?
3) How do you paginate? ls | less doesn't work
Is it really still cool? So much of the authentic character has evaporated away, compared to the mid 90’s. I’m curious what people consider an authentic San Francisco experience in 2019.
This is almost exactly what I have dreamed with a shell. I'm building a relational language (http://tablam.org) with the plan of something alike.

Some extra ideas:

- Tables are amazing. But I think we need at least support for this "shapes" of data: List, Tables, Trees and maybe graphs

- I think will be nice to have an equivalent of Request/responses alike http. And then a way to introspect what a command do, like auto-swagger.

- Having widgets like table-browser, graphs, etc AS COMPONENTS.

In FoxPro you could say "browse" and it display a DataTable grid with full editing capabilities on the current table (or it ask for a table to open). In this case:

ls | ui_browse

The key here is that the widgets work stand-alone, so is not necesary to fully build a terminal app just to see nicely data. Look like https://goaccess.io and more like this idea: https://github.com/sqshq/sampler

This mean we could get a jupyter-like experience here!

- Some way to do curryng and maybe environment alias: You could setup an environment for the system, the user, this directory. In the environment is a .toml with vars and stuff.

The other thing where I think shells fail... is that are still old-style terminal. Having text output is cool, but having more rich widget system will unlock better the potential
I honestly would have been convinced if that hyperlink wasn't clickable
Edit: I forgot to mention the most important piece: When a site says that it won't work without JS, I accept this and close the tab. Unless it's Google Maps.

My browser has built-in URL-based filters.

I browse with JS disabled except for a handful of sites, which I enable for the session whenever I need it.

My browser makes it easy, with a three-key shortcut to toggle it.

This is about the extent of it.

I used to use uBO, which I still think is great, and enough for more Chrome and Firefox users. Many blessings to its maintainer.
I agree. The idea of Mario is to use Python objects instead of text lines. This means it's much more structured and has a familiar syntax as well.

https://github.com/python-mario/mario
Polyglot FizzBuzz in R (Plus: “Why Can’t Johnny Code?”)
Another college medium under some financial/PR pressures is student-operated college radio stations. About 10 years back, multiple stations on the air since radio began were shut down, sold to NPR affiliates or religious interests, or automated. However intentional, student voices (if not choices) have been subdued or eliminated.

Some of the survivors went online-only; some remained on the air as well but with a more ... managed sound. One site keeping on eye on this: https://www.radiosurvivor.com/learn-more/about-college-radio...
Ideally, presentation of the data would be handled by themes. Hopefully they build theming support.
The general problem is that the warmer waters are trapping the cooler waters below. Upwelling is an attempt to fix it!
Casio's g-shock watches are pretty strong but their other watches, particularly the cheaper ones, are very much not rugged in my experience. Perhaps they were in the past relative to other inexpensive watches, but they seem capable, but not particularly rugid in my experience.

Granted that's a given for the price, but I wouldn't associate all Casio watches with rugged necessarily.

The nostalgia, I get that, I bought an old f-91w out of nostalgia recently if only because I wore it 30 years ago ;)
"kids these days amirite"

My, what has this site become.
Maybe I am optimistic about the infrastructure, but my point is that according to our research hundreds of millions of families live under the coverage areas and cannot afford an internet connection. Internet affordability is still one of the toughest problems the world is facing.

Sure will check right away. Thanks!
> Where have all the IoT companies gone?

Previous discussion :
https://news.ycombinator.com/item?id=18710682
Denoising Based Sequence-to-Sequence Pre-Training for Text Generation
Perhaps you got lucky. Belltown isnt as bad as some other areas, but in my one year of daily walking commutes through Belltown I saw

1. A person OD'd (presumably dead) at a bus stop

2. Someone passed out, face down in the gutter

3. Multiple people shooting up (usually pants down, shooting into leg)

4. A guy that would regularly walk around shouting and gesturing angrily, making everyone near by visibly anxious

5. One guy literally rolling around in the middle of the street during rush hour, holding up busses and cars

6. A fight, fortunately broken up caused by a homeless guy spitting on another guy

7. People selling stolen goods in the open

8. Finally, some guy got shot in an alley in the middle of broad daylight on like, a Tuesday a couple weeks back.

Not offering suggestions, merely documenting my experiences. I am genuinely glad you had a good trip to Seattle, though
This. Java took too abstractions to absurd extremes. Contrast that with something like python which does things much better and uses a nice data model.
South of Market was cheap, starting in the early 1990s. Startups back then liked cheap.
I'd like to know how hard it is for other people starting out these days, what's worked for them. I'm not one to ask as I get hounded by Google/Alphabet recruiters every 3-6 months to co-design a role in entry-management/team-lead (SRM) or SWE/SA-SRE.

I'd suggest focusing on one of Go, Rust, Haskell, Elm or Elixir in addition to the customary C++17 or Java/Kotlin... and get some useful packages up on open repos.
Interesting, we have all gotten so worked up over vaping yet this is the first death attributed to it and it seems to be out of the ordinary. Yes, one death is one too many.

Tobacco and alcohol are responsible for thousands of deaths every year. Those are the real problems.

I'm not advocating that we should stop preventing people from getting addicted especially kids but the panic over vaping should be seen in the right perspective.
Would anyone use a similar service for skipping ads in podcasts? I've thought about creating an open database that contains the timestamps of ads in popular shows.
It's probably to avoid the situation where the same item sells for X at Amazon and X+n at Walmart, and someone sets up a shop on Walmart to forward the orders to Amazon, pocketing the n.
Equality of opportunity vs equality of outcome. The far left wants the latter, without realizing what they're getting themselves into.
Thanks! Great data in that link
I found reading your comment satisfying, in my personal experience. Why should anyone create anything if consuming it is undersatisfying?
It’s illegal in San Francisco too, just more widely tolerated.
At The Daily Cougar at the University of Houston, ad revenue was a significant part of the budget. (Don’t know about now, I was an editor there 20 years ago.)
You need to run deep q learning on your bash history
Good idea, feel free to join the Discord linked on the website so you chat with people about your idea.
The idea of Mario is to use Python objects in your native shell (bash/zsh/fish/etc)

https://github.com/python-mario/mario
Why did you put a back button? The browser's back button seems to work just fine. Kind of weird to have both next to each other.
Why isn't this considered more seriously? The pirate bay wasn't selling torrents ffs, but they were targeted to hell and back.
I'm being reforged into the family claymore. But I like this tree idea a lot too.
I have the exact same setup with OpenBSD (pcengines router) and Firefox + plug-ins but the inconvenience of using NoScript outweighs the JavaScript garbage that gets through without it.
I couldn't imagine debating politics at work.
> The biggest barrier is that people don't want to pay for content.

Tons of people paid for content before the Web. Newspapers, magazines, books, CDs, DVDs, cable TV, premium channels.

With the Web, dotcoms were focused on IPOs (and so the appearance of possibly being a player in the future), everyone was focused on adoption, there was also a lot of finance opportunism. Then most all of the the business models switched to spying/control, or just more finance scams. For which free content still makes sense.

If you end the spying/control business model, and the current growth-oriented investment schemes, and maybe breakup a few megacorps that never should've been allowed to happen... then maybe we'll get better options for low-friction content payment, and presumably some people will resume paying for content with value.

Also, the US piracy culture needs to stop. One of the reasons that's been hard to argue, starting in the MP3 days, is that some of the most directly affected content organizations (e.g., MPAA, RIAA) had awful reputations. But to the extent that piracy culture affects legitimate economic sustainability for other content (e.g., subreddits that institutionalized pasting news article full text, or rehosting webcomics on imgur), we need to fix the culture, and make it not socially-acceptable.
Ask HN: What would be in your dream OS?
I'm getting involved in hobbyist operating system development for learning purposes. I currently aim to, well, re-invent the wheel, but it would be fun to try something adventurous. Any ideas?

For things, I don't get around to doing, maybe someone more talented than myself could eventually pick them up.
Google Photos can now search for text that appears in images
New career goal, burrito sommelier.

Previously, Burrito Bomber:

https://www.youtube.com/watch?v=3lqMRHwGsRA
Cool! Very similar techniques can be used in the hardware domain. For these types of problems, at least, I have found SRI's yices solver to be much, much more performant than Armando's CEGIS solver. Do you have any tips on other solvers you've found to be faster for exists-forall problems?

Here's a raw example of a 32-bit adder super-optimized according to rough delay, gate complexity, and wire complexity models embedded in the 2QBF: https://share.riseup.net/#xg2ySn41zmhtHtmrlQWn5Q . According to post-PAR results from Innovus, it can actually (barely) beat DesignWare adders at some points in the trade-off space.
I've been programming for 20+ years now, nearly fulltime, and worked with many other programmers for the entire time. There are plenty of good programmers, and they all have a lot of experience. I've learned to tell the difference. It took a long time. Your blanket statement that developers are all bad is simply wrong, there are vast differences between them. Maybe to put it in terms you seem to prefer: some are "less bad" than others. And not everyone is bad in the same way, either.

But you're right, the programmers I'm complaining about will never go away, because there will always be new programmers, and old ones will retire or die.

My only point was that everyone's impression that FP tends to produce higher quality code is largely based on a selection bias from the code you've read, or based on your own attempt to learn the paradigm after already having had some amount of experience.

I witnessed firsthand the rise and fall of many paradigms in programming. I've witnessed it with NoSQL. And Agile. The same thing is likely to happen to Functional Programming, if it becomes too popular too quickly. When you see companies starting to post jobs with "Functional Programming experience required", that's when you're reaching peak, and a bunch of new (bad) developers will come in and ruin everyone's impression of the paradigm.
(Misc) Fixed, point size 7.

It's the smallest font I could find that was still very readable. It's a bitmap font too, so it's super-crisp.
Best books to learn about manufacturing
At work.

I have no problem with this, just like I have no problem telling some Jesus freak to shut the hell up about his imaginary friend when I'm working, I don't want someone wasting their time on something political at the job.

What's the thing about fanatics? You can't change their mind, and they won't change the subject?!?! This applies doubly for religion and politics.
This "report" is so speculative it should probably be ignored TBH.

This almost sounds like an "adulterated" batch of "vape juice" or something rather than a technology related death.

FWIW I'd trust a company like JUUL to put out a safe product over someone who makes the stuff in their back room...
Hey,I didn't know VMWare had a bad rep. Someone else also made a similar sarcastic comment.

Even if it was Oracle or IBM, big money solves some problems.
so rare, industry defining geniuses can avoid fucking up too much with unquantified effort and no real deadlines or pressure to produce. got it
AdGuard for Android works fairly well.
I may spring for the premium version.

Elsewhere I use LittleSnitch on my Mac, followed by Firefox (w/associates plugins like everyone else).
Few landlords are paying full marginal income tax on their rental income because of the numerous tax advantages of property ownership (mortgage interest, depreciation, etc) that reduce their tax liability. Variation in the tax situation of different landlords makes it a pretty misleading thing to include in the analysis. Besides, how the landlord and the government divvy up the rent money doesn't make any difference to the startup that needs to pony up $208,000 more dollars. Whether rental income is taxed at 0% or 100%, the cost to renters and startups is a large and growing problem.
I wouldn't worry about getting banned for returning too many damaged goods. If anything I'd say just go with a better seller. There are plenty of other vendors online still selling books.
That bad? I love Crowdstrike myself but will need to use CB soon.
You can judge a moral system by how society would evolve if everyone followed it.

If nobody pirated anything then we would still be buying music for 99 cents a track (or more) and music streaming would have been quashed by the labels.

On the other hand if everybody pirated everything then the music industry would have collapsed.

I conclude that the world needs all sorts of people.
> If Amazon the marketplace was solely responsible for the upkeep of the marketplace

Who else is responsible for the upkeep of the marketplace?

The "break them up" argument works if there is an inherent conflict of interest that would get resolved if they were separate entities, but that isn't true in this case.
Everything runs inside of SGX with a sysctl or something similar.

If you haven't already, check out TempleOS :)
You’re wildly ignoring the side effects. When you say “it’s commonly done” you are saying that annoying people, upsetting people, intruding on people, pressuring people is even more commonly done.

> Believe me, I used to be terrible socially (like, seriously) and I learned a lot since.

Clearly not! Your obliviousness in this very conversation, let alone how tone deaf you must sound to the many people you inevitably offend through an antiquated conversational tactic you mistakenly think remains applicable, are strong signals to the contrary.
I just like seeing the fresh hacking in the Unix Shell space. I miss my old friends sed, awk, and xargs. This is compelling and fun too.
Uh... Did you read the article you cited? It literally said the area is still empty they just stopped including it as part of the city and only included the inhabited part, though that part was already full of people before those buildings went up. It's more of a quirk in how cities are defined as administrative regions instead of distinct urban areas. The buildings are still empty though. Like most things in China it's lots of talk and flash, little real magic behind the show.
In your original comment the second sentence is obviously reading as justification for your first sentence and for safety concerns mentioned by both parent and grandparent comments.

If as you say you intended to reference different, less related parts of parent and grandparent comments, that's just poor communication. I guess I shouldn't be surprised that you don't own up to that either.
That video has been debunked as being heavily edited misinformation. Here's Jen's side on it:

https://medium.com/@gennai.jen/this-is-not-how-i-expected-mo...
I saw a Japanese TV show about the story of his discovery of the G-Shock design. It embodies everything good and bad about Japanese business culture. Great story! https://www.gshock.com/technology/story
Yep! Though, the different gauge was actually not intentional by Stalin to make things harder on the Germans but actual a decision by the tzar (debunking that old myth)
One area that's ripe and unexplored, imo, is creation of social infrastructure around playing video games, especially team games.

A family has rules, a company has rules, even HN has rules. Some rules are an unnecessary drag, but others are vital and essential to stoping a race to the bottom. Having those rules allows for much greater net freedom.
I use git commit messages for this. When I stop working, my commit messages look like these.

“Completed ABC; TODO XYZ”

“WIP ABC; TODO XYZ”

When I get back, all I have to do is check the previous commit.
Thanks - you explained it better than I :)
1. ShadowsocksR (SSR) is probably still the single most popular method for crossing the wall (翻墙), despite the fact that it is no longer maintained.

2. The original Shadowsocks (SS) is still maintained. Some users are reporting that the GFW can now detect and block SS servers that do not use some form of obfuscation. One interesting innovation is the Cloak plugin for Shadowsocks-Libev. This aims to disguise the SS server as an HTTPS server.

3. V2Ray offers more features and is less likely to be blocked than SS, though it is harder to configure. The graphical user interface (GUI) for V2Ray is provided by separate projects such as V2RayN for Windows and BifrostV for Android.

4. The trojan-gfw/trojan project on Github has been in development since October 2017. It claims to imitate HTTPS so well as to be undetectable. Configuration is slightly more complex than SS/SSR. https://github.com/trojan-gfw/trojan

5. The ValdikSS/GoodbyeDPI project on Github claims to be able to bypass deep packet inspection (DPI).
https://github.com/ValdikSS/GoodbyeDPI

6. A few netizens use Tor with the meek-azure pluggable transport, though the Tor Browser is itself difficult to obtain in China. MY PROTIP: USE SNOWFLAKE instead of meek azure

7.Wireguard may still work, though its protocol could conceivably be detected and blocked by the GFW at some later date. NOW IS BANNED

https://medium.com/@phoebecross/bypass-gfw-china-2019-9d293b...
The many Shapley values for model explanation
I bought, and still wear, a Casio F-91W out of nostalgia. G-Shock never pushed that button for me.
I've been working with Shopify for close to 10 years as an owner of multiple profitable stores and as a full stack developer. If you work on the custom development side you'll see a lot more successful businesses run on Shopify.

I don't see the churn rate as a big problem for Shopify. Their revenue is pretty tied into the customer's revenue and expenses, not the amount of unique subscriptions. On top of subscription revenue, they have credit card processing and shipping labels which would be higher than the subscription cost for shops with high revenue.

IMO I don't really see Shopify and Amazon as really being in the same space unless Amazon makes a real push into curation and I think that would require a radical change in how Amazon works with sellers. I see Amazon as more of a competitor to Walmart, Target, etc.
The west had the same mindset with democracy.

What works in one society may not be best in others. I think countries should organically grow their information infrastructure in parallel with their physical infrastructure and economy.

That being said,China's belt road initiative is also building out internet infrastructure along the belt road's route.
Jesus dude. Just the "junkies" comment shows that you aren't even open to a different approach.
I'd like to try it but to be honest I'm a bit too lazy to go through with the current install process. If they were to adopt the calamares installer though, or develop their own graphical install, I'd love to give it a try. Same with Void.
The engineer personality profile is basically allergic to organizing. Too passive and introverted, or delusionally individualistic. Silicon Valley engineers see themselves as temporarily embarrassed hotshot entrepreneurs. The funny thing is to the extent engineers do organize it’s usually leftist organization for the lower wage workers (tech workers coalition), which is noble but doesn’t advance engineer goals. Police, teachers, doctors, all have political organization and therefore voice but tech workers cede that voice to their execs. I fantasize about changing that but I’ve come to accept the personality profiles of engineers make it an impossible problem.
>> distribution of preferences and abilities of men and women differ

>> It asserts that women are not fit to work at Google,

No, it does not. It talks about well-known well-researched differences in distributions of preferences between men and women in general.

>> and implies that the women he works with are incompetent because of biology.

Absolutely does not imply that since it relates to men and women in general, not just Google employees and not even just the tech crowd.
If you want, I can help you with that some. I know more than I probably should about how uBO filters work.
module Main {
IO<Void> main() {
Integer n <- read$(getLine) // or: fmap(read)(getLine)
print(fib(n))
}

Integer fib(Integer n) {
Integer go(Integer !n, Integer !a, Integer !b) {
if (n==0) {
return 0
} else {
return go(n-1, b, a+b)
}
}
}
}

pros: it looks plausibly like Java.
cons: all the things that haskell syntax makes easy like partial application become obscure at best. omg, i'm dying in squiggly and round brackets, what is this, lisp? there's too much stuff that has to become ad hoc builtin syntax, like <$> becomes $(...). i don't know if you can program applicatively with this syntax, but i doubt you could have invented it.
> I wish they'd go back to making the kind of watch they made in the 90s.

Many of their 90s watches are still in production, including the legendary/notorious F91W.

https://www.casio.com/products/watches/classic