skysight-inc/HackerNews huggingface dataset:
I started learning SML earlier this year - it's quite a nice language and it's a shame that the ecosystem isn't better.

For fun and educational purposes, I began working on a Standard ML compiler [1] and VSCode extension in Rust as well - with the end goal being a psuedo-clone of MLton. Currently taking a short break from it to work on some other stuff, but I'm mostly done with monomorphization

[1] https://github.com/SomewhatML/sml-compiler
Users flagged it. That's usually what happened.

Please see https://news.ycombinator.com/item?id=24890813.
It now supports up to 49 people: https://gsuiteupdates.googleblog.com/2020/09/49-people-tile-...
I love Filco’s. They make mechanical Bluetooth keyboards. They’re 60% (I think), which is certainly not for everyone. But I love mine so much!
Starcity Airloft (TM) the Murphy Bed of the Future
What Taibbi is writing about in the OP goes far beyond Twitter.
Not totally sure, but it's definitely not as active as the first three I mentioned. The last commit is from over a year ago [0]. Although the SML/NJ website shows releases presumably from 2020.

[0] https://github.com/sml-nj/smlnj
I agree, but with a caveat. The _very_ top execs of large organizations (Google, Facebook, etc.) may be anxious to get to a lower-salary environment, and remote work may be a necessary part of that. If they are determined to move to a structure where they don't have to pay SV salaries, they might overrule their middle-management and extend remote work in order to facilitate that.
Eh, this entire comment thread is leading into "RMS was right" territory. Copyright and our machine intelligence future can't mix well at all.
https://news.ycombinator.com/item?id=24890813
> Not catering for Windows or iOS means it's missing out on the lion's share of the market.

Do you mean the market for free software?

I guess the GNU/Linux developers are not that keen to work for free to support commercial, nonfree platforms.....
Direct Fusion Drive That Could Get Us to Saturn in Just 2 Years
Fiiiine, I am projecting, I admit it.

I still can’t believe people are paying $600,000+ CAD for a 533 square-foot condo, and yet, condo prices are even headed up a bit.
The same effects which will drop commercial office real estate prices will drop commercial residential prices and thus their rents.

And, if it doesn't, in the absence of work they always have the option of moving somewhere with a more attractive income to cost of living ratio.

Much harder for a company to up and move than an individual or a family.
Fortunately, Proposition 8 was invalidated by Hollingsworth v. Perry[0] (I recommend reading the trial transcripts, they clearly show the ethical bankruptcy of Prop 8).

Even better, Obergfell v. Hodges[1] made marriage equality the law in the entire US in 2015. Better late than never.

While I strenuously disagree with the position you held (still hold?) around marriage equality and find such a stance to be illiberal and downright nasty, I also believe that your right to hold that position as a private citizen should be tolerated in a free society.

What's more, I don't believe that your opinions (and actions related to them) as a private citizen should be reason to hound you out of your professional position, unless you used your position to impose those opinions on the workplace you managed.

It's unfortunate that some people hold opinions about freedom of thought and the exercise of the political franchise that are as odious as your opinions about marriage equality.

And it's even worse that such people executed on their illiberal, reactionary ideas to force you from your position.

A free society must tolerate unpopular and illiberal ideas, or it's not a free society. Which is why I have decried your ouster from Mozilla in this thread.

That said, I believe your ideas about marriage equality are illiberal, anti-democratic and just plain nasty. But they are your ideas, and in a free society, you are entitled to them.

[0] https://en.wikipedia.org/wiki/Perry_v._Schwarzenegger

[1] https://en.wikipedia.org/wiki/Obergefell_v._Hodges
Just look here on this page. Lots of people who would decry censorship and cruelty on the part of some nations, are here arguing in support of the same qualities of the nation that could do the most harm to them.
Eh, we converted factories and warehouses. I'm sure we can convert office space as well. It's just a matter of cost/benefit.
Mostly it's offtopicness, especially generic tangents: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
> Personally, on ethical grounds, I could never have designed a system like that, with so little regard for others, externalising private information so that a permanent record is kept.

My bread'n'butter is patient systems. I cannot think of a way to say this that is not patronising or condescending on some level. Your suggestion will not work. At all. On any level. If we implemented a system like this people would die. Hospitals and Doctors would be sued to oblivion, and rightfully so, but only if they don't succumb to bankruptcy due to malfeasance and incompetence first.

Ethically building a patient administration system requires that you collect relevant information, that is patient-centric, and that identifies fully the patient, their needs, their location and their past episodes of care.

> At this point, if you care about your privacy, you really only have the option of not engaging with the system. Or engaging as little as possible.

The spectrum between privacy and effectiveness with patient and clinical systems is simple and stark. If you want absolute privacy you will receive care that will be truncated, untailored, unfit and unlinked.
For those that think this is the end of San Francisco, take a deep breath. The empty office space and worries about expiring leases only applies to companies that can't work remote. SF has a huge service industry, swaths of culture, and some pretty nice weather.

A bunch of chair warmers and button pushers moved to Tahoe or Mazzula, so what? It is nice to have a huge house and some land, but city living is are a tradeoff. Living around a bunch of people means food, entertainment, and social options that simply can't be had from a Zoom room.

If CRE prices drop, the offices will still get filled to the brim with new companies in a couple of years. Will there be some CRE bankruptcies? Certainly. But has anyone looked at on time payments of office REITs? Keep an eye on those for dividend cuts as a predictor.

Thinking of starting a business here? I'll beat my drum once again -- it has never been a better time to setup shop here. Take risks when others panic.
A hidden service uses 6 middle nodes, 3 for the server, 3 for the client.
I used to be a gamer. To me virtual meetings feel like a video game that simply has serious consequences. I don’t see anything weird.
I first came across Standard ML in Dan Grossman's Programming Language course on Coursera[1]. After previously trying Haskell and Scala, this is where the benefits of functional programming and static typing really clicked for me. Really wish the language had caught on outside of academia so I had an excuse to use it more. In addition to the implementations mentioned in the blog post, The University of Chicago created Manticore[2] and Tohoku University in Japan created SML#[3]

[1] https://www.coursera.org/learn/programming-languages

[2] http://manticore.cs.uchicago.edu/

[3] https://www.pllab.riec.tohoku.ac.jp/smlsharp/
What You Should Know About Non-Fungible Tokens Decentralized Finance
I think the story is a big nothing. It was a comment not by Hunter Biden, but an associate, who may have been overstating or exaggerating what Hunter Biden said he'd do.

And I plan to vote for Biden (even though I'm a registered Republican.)

But I think suppressing links to a story in the NY Post was a stupid and unethical move. And one that's likely to amplify the story, not bury it.
1-7 can be solved with a good dock. This allows you to still use your main machine as a portable machine on the go.

I do agree with the other items, especially number 10. It's the one big thing I miss from having a desktop.
Similarly, I'm really enjoying my subscription to Freeze64: https://freeze64.com/
And yet it suffices to have two GPU in your system (both driven by OSS drivers) that the option of running Wayland disappears from GDM on Fedoras up to 32 at least.

The laptop in question is from the late 2016.

So much for "the world that is". My machine must be very, very otherworldly.
The empty Walgreen's shelves can be seen at the Walgreen's on the corner of Eddy and Van Ness Streets.

People come in & take whatever they want because they know Walgreen's has a "no contact" policy (they won't stop you). They shoplift everything. And Walgreen's doesn't rush to re-stock.

There are a lot of homeless and drug addicts in that area, but I don't know firsthand if they're the shoplifters.

I spoke to a police sergeant at the Walgreen's at Broadway and Polk, and he said it's pretty bad, and that even he has a hard time getting the shoplifters to stop.
>In hindsight; that was a design mistake. The correct design is probably something like isolation by default but optional (ie, allowing sharing).

I'm not really convinced it was. Frankly, Wayland does a great job handling the tasks I want my display server to handle. I don't have to wade into config files every time I plug in a new HID, or a new monitor, and my touch pad is a joy to use.

I think how screen sharing works is actually very dependent on the system in question ( I want a different set of prompts on my desktop from my laptop from my server), and that leaving that complexity out of the display server was a rough, but correct, decision.

That said, I'm with you - I held off on Wayland for a long time because screen sharing and screen recording just weren't there. At least for me, Pipewire is now a working solution. I won't go back to X.
I'm not concerned about justification for QE, but more about where is the limit of debt you can take on to provide cash to a vast population, and is there a better way to fix things?

I see the problem as a lack of agility of the economy. The hospitality works could have another job, but those jobs can't get created fast enough. How can they get paid by other people rather than the government.

Another question is post-covid do we want to ramp up consumption again. Do we need people flying to hotels to meet up, or will Zoom do? And if Zoom will do, what of the hospitality industry (already taking a stab wound from Airbnb etc.).
I think the shift to remote work is temporary. There will almost certainly be a relatively large crash in commercial real estate, but it will recover, probably within a year or maybe two.
One more thing: the Wayland security model doesn't make much sense anyway, considering that running untrusted code over a large attack surface and without at least virtualization is probably a bad idea anyway nowadays (and even virtual machines can be escaped from).
Beard Tax
Russia has quite allot...oh
The trend in SF right now is people leaving the city - demand for apartments is in free-fall.
There is a lot of active development going on in their SVN repository

http://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php/?root=sml...
I don’t think everyone who lives in San Fran wants do life in San Fran. They’re here because that’s where the jobs are.
In my experience, even the most basic of webcams is perfectly acceptable when paired with decent lighting. I'd highly recommend something like https://www.elgato.com/en/ring-light (no affiliation, just a happy customer)
I will veer this off into the dreaded political territory even though this is mostly a technical discussion.

The Democratic Party proved it was not as progressive as they thought as Sanders lost the primary. The reality is, the country as a whole is also not as liberal either, regardless of what these pollsters are asking people. You think the party is youthful, and ready for progressive ideas, but alas, the party wholly rejected an amazingly progressive candidate in Sanders. You think everyone’s super pissed at Coronavirus handling, and police brutality, healthcare, but alas, you find out people associate BLM protests with crime, and the virus with China, and socialism with unfair wealth redistribution. We can keep learning this the hard way I guess, this is America after all.

It’s important the technical discussions are happening this time around, because there was virtually none the last time. The post mortems for these forecasts being wrong again should be a death knell for accumulating bad data. I’m certain the models are good, but I’m not certain the data is.

Anyway, if you want my hot take, the conditional forecasting is to save their ass on election night from being embarrassingly wrong again. Imagine writing a giant if-statement that looked something like ‘and if(imWrong) changeMyAnswer’.
Users flagged it. That's usually what happened. I don't think they're "big tech".

https://news.ycombinator.com/item?id=24890813
Wow, this looks amazing! Despite my knowledge of the "interregnum" years of Apple, this is the first time I've heard of SK8. This is further proof that Apple was a fountain of interesting research in desktop computing back in the 1980s and 1990s.
I’m not entirely sure that I understand your point. Here are the facts which I think we can agree on.

* X11 is a protocol

* Wayland is a protocol

* X11 and Wayland are not compatible protocols

* Wayland protocols are all public

* XOrg is an implementation of the compositor of the X11 protocol

* wl_roots is a toolkit used for creating compositors

From this, it follows that:

* Anyone can theoretically write another X11 compositor which implements a subset of the functionality

* Anyone can write a Wayland compositor which implements a subset of the functionality

I really don’t understand where this supposed extra fragmentation is coming from — unless your objection
is that we have more than one Wayland compositor? I don’t see that as a particularly bad; in the same way
I don’t see having GNOME, i3 and XFCE existing is necessarily problematic.
The cause is always different, the effect is usually the same. SF experiences boom and bust cycles, this is just the catalyst of the next bust.
The difference is that social media aren't neutral communication channels when the visibility of a communication is altered by likes and algorithms.
> And this doesn't just extend to operating systems, it also extends to language support. C++17, C++20, Rust, Go, Swift, you name it. It's not kept up.

Guix does support, for example, Rust and other languages relevant for Linux pretty well, and in a much better defined way than CMake.
> NextDoor

That place was a nice idea just like Facebook, Twitter, and LinkedIn were.

NextDoor worked out just as well as the rest of them.
Thanks for sharing Manticore! I didn't mention SML# because most of the documentation is in Japanese and it's hard to find recent info. There is an unofficial fork on Github but it explicitly states that it is unofficial so... not something I'd recommend to a general audience.

Edit: nevermind! I checked out their docs again and it seems to be decently translated. I'm still not sure where their code is actually hosted, just that you can download releases. So added it to the list of major implementations!
It's not about supporting every possible configuration under the sun. It's often about not supporting the bare minimum that would make it a good environment, based on "know better" from people who have no relevant experience.

The IBus case is classic example - There was high-handed declaration that having one single global IME state is "easier" for users. The problem is when you regularly have to use languages that are incompatible in writing systems and input methods. Whether its one of the CJK or switching between one of the cyrillic variants and latin, life is much easier when you can have separate input state between let's say an Instant Messenger and your IDE.

For me, I recall the "canary in the coal mine" was when they refused (despite earlier promises and roadmaps) to re-implement certain things related to printing, again in a way that probably didn't bother the developers.

A similar case involves all the very deep integration with systemd, where they essentially declared that there's one Operating System under the Sun and its name is Fedora.

And it might feel more polished than Windows 10 on surface, yes. But then it's much less capable and the resources in Windows go towards things like not breaking people's software and behaviours.
I somewhat agree with your comment from the perspective of using e-ink as a replacement for mobile.

However, I do think an opportunity exists for us to use e-ink device in new ways.

I ordered a Boox Note Air on the weekend to replace my kindle (12 years old now) with something I can read and write on.

The Boox runs full android OS, but I really think the only things I'll need are note-taking, drawing, kindle app.

Is there an opportunity to really do something great in replacement of notebooks?

How about a new paradigm for what kids go to school with? The size of the bags kids are using to carry all their textbooks and notebooks is ridiculous. Of course, it breaks the model of the publishing industry, but screw that. The learning hardware is destroying kids backs.

How great would it be to go into an office meeting (when we're back in offices) and rather than having everyone sitting there with a laptop open, we have these thin e-ink devices where we can comfortably share data and notes between us.

Sure, there are millions of excuses for why these sorts of things can't happen, but I don't think an OS that is targeted at black and white, somewhat limited devices should be treated as not having value.
Users flagged it. That's usually what happened.

https://news.ycombinator.com/item?id=24890813
Vespex is used here in New Zealand and has been a game changer. Wasps are the greatest pest in New Zealand if you measure pests in “kgs per hectare”.

With Vespex you don’t go looking for nests, you let the colony poison itself.

Because it is protein based and not sugar based, it’s not attractive to as many species. The downside is that the wasps only take it at a specific time of year - when they are consuming protein.

https://www.merchento.com/vespex.html
I think Zoom makes this even worse because they nearly mute[0] the audio of all but the person currently speaking. (I'm not sure if this is a real feature, or just a side-effect of something else)

[0] I think the audio still plays, but at a greatly reduced volume.
Sounds like they're half as useful to the business rather than their jobs are twice as hard
I’ve always enjoyed working in SML - usually my default choice is SML/NJ. Most recently Ocaml has been my ML of choice due to a coworker preferring it, but lately I’ve revisited SML for a new project since I like how small the language and basis library is.
https://what.thedailywtf.com/topic/15001/enlightened
I recently went back to dwm (X11) from Sway (Wayland).

As much as I love Sway, doing all sorts of weird stuff just to share my screen in zoom is too much of a hustle.

I'll probably keep using Sway on my personal device where I don't need that feature, but my work computer will be X11 for a while.
Shouldn't we already be seeing this from leases that were signed in Q3 2019?
If you're right, the support for Trump should be higher in polls where people talk through a phone menu or the internet, compared to live interviews.

Newsflash, they aren't, so your hypothesis must be they're too shy to admit their Trump support to a machine?

Everybody is just fighting the last war where Trump suddenly won for a couple of reasons. So, the Dems are scared they are missing something, and the Reps are going "Haha, who cares about modelling".

Will, the forecasts be perfect? Nope. But is the margin rather large, but not unsurmountable? Yes it is. Are the mistakes from last time repaired? Yes, they take care of uneducated whites. Is there evidence Trump has found a new source of voter support? I haven't seen it.
They, at least on a laptop, make for really unflattering angles.
> 17 years after this article was written there seems to not be a better alternative

Circle is a pretty cool alternative for C++ metaprogramming: https://www.circle-lang.org it's just a prototype though, so who knows if it will ever become standard.
Which SML implementation has the best editor tooling?

The article mentions that certain SML implementations have seen better support for parallel and concurrent programming than OCaml, but Merlin and ocamlformat for OCaml are great as far IDE tooling go. Which SML implementation has the best tooling for things like go to definition, reveal type at cursor, and format file?
My employer had planned on not renewing our lease in San Francisco this year; I'll miss working in The Presidio when I'm in town, but I won't miss it much.
Users flagged it. That's usually what happened.

It also set off the flamewar detector as as1mov described, but flags were the dominant factor.

See also https://news.ycombinator.com/item?id=24890813.
This is horrific. They're actually encouraging people to put their bank account details in public in cleartext. That's just asking for abuse.
Awareness of the story in the context of potential disinformation and twitter's attempt at stopping it is entirely different than awareness without this extra context. The downstream effects of the two scenario are likely to be very different.
Understood. Hope I didn't do anything "wrong" in this case.
Note that wheelchair quests are disabled by default, you need to go into settings to enable them.
Show HN: Built a Pert Chart File in Figma
I’m on a quest to learn Figma in and out and for me building things I need or want to use helps me learn better. So, here is an enhanced PERT chart file that you can duplicate and try out in Figma yourself. It’s a work in progress, great for visual presentation, slide decks, or plain mapping out requirements. Love feedback and I plan to continue to add more and eventually make my way to a plug-in. Enjoy.
Not to mention if you have a catastrophic hardware failure, all you have to do is replace the single part that failed and keep going.
Our understanding of the truth of things we read online is a social construct. Whether or not Hunter Biden received an email isn’t something ordinary readers like us will ever know, having no direct access to any of the evidence. At best we can read accounts written by others and decide whether they seem plausible.

Even our understanding of Hunter Biden’s existence is a social construct to most of us, since we have never met him and never will. (It’s much easier to make the call on that one, though, based on pictures and it being undisputed.)
Anyone who has done VoIP/comms for any length of time will agree with you. To feel immediacy, latency must be less than about 50ms, ideally less than 30ms. However we are capable of dealing with latency up to around 1s without wincing too much and even half duplex can work some times.

However, that is for one on one conversations. Unless everyone has reasonably decent comms (10 people, with video: roughly 10Mbs-1 each way at about 10ms to ISP router) then drop to voice only. You only need 64Kbs-1 for a high quality voice channel. Mobile quality is about 16Kbs-1. The killer is latency and the related jitter.

I spend quite a lot of time twiddling various parameters to get voice comms to work as well as I can. Latency is the biggest contributor to quality.