skysight-inc/HackerNews huggingface dataset:
Haskell was designed for theory. SML was designed to combine being pragmatic and easy to teach (not only the language, but how to implement). Other than syntax, SML's fundamental nature is much closer to Rust (with a GC and simpler syntax and without lifetimes, macros, or traits).

In any case, let's look at those haskell "hard parts" and contrast them.

Haskell treats everything as immutable. SML is NOT always immutable. It simply adds some (very sane) constraints on where mutation can occur which makes reasoning about mutation easier.

Haskell forbids side effects. This is an illusion of course (you'll find high-performance libraries often use the unsafe IO stuff). SML embraces side effects though general practice is to restrict them to specific modules to make the program easier to reason about (a good practice in pretty much all languages). You can definitely write imperative pieces of code if it improves performance.

Haskell is lazily evaluated. This can be a performance boon for some things, but is a bane to find and fixing performance bottlenecks. SML is eagerly evaluated like most other languages.

Haskell is crazy for typeclasses. They use them everywhere, but they often complicate actually using things. SML does not have type classes, but SucessorML (the next version) is looking at adding module typeclasses instead. These will have most of the same features, but because they are in the module instead, it should put a big limit on their abuse and make their use easier to track.

SML's big "ivory tower" ideas are: powerful type system, pattern matching, option types everywhere, first-class functions, and modules (essentially as a replacement for classes though that is not entirely true).

SML really is the whole package. The best parts of functional programming combined with the best parts of mainstream languages (restricted to the "good" subset) all tied up in a language definition that manages to reduce the amount of syntax compared to something like Java or Go while increasing the amount of power while at the same time not turning into an unreadable mess (it's pretty hard to write unreadable SML code).
> esp. since the OS is written in native and 120Hz screens are coming

High-refresh rate mobile displays already happened. There's more 90Hz than 120Hz on the market at the moment. Typically gamer-focused phones like the Asus ROG Phone or the Razer Phone, but non-gamer-focused flagships are also now 90Hz like the Pixel 4.

And of course on the iOS side of the ecosystem some iPad models already have 120hz displays, too.
Isn’t that them starting by declaring that mobile is really important to them so they didn’t take this choice lightly?
Why is the hacker news title is mentioning "...alternative to Algolia" instead of other open source, self hosted solutions?
Most of the bad parts that Keith Packards covers are about the pre-X11 days. But yeah, Wayland is developed more or less like X11 was developed after the mid '90s or so.

The difference is that there isn't much commercial involvement on the desktop side. SGI, DEC, HP, Sun, IBM, and later Red Hat & friends, sank quite some money into X's development, and a non-zero amount of that money ended up going into a particular implementation (XFree, later Xorg) and in developing desktop solutions on top of it.

Most of that money stream is flowing towards other things than desktops now. Desktop Wayland development is largely a hobby effort (there are some exceptions, but nowhere near as many as in the heyday of X11, and not all of these efforts apply throughout the Wayland "universe").

That may eventually change as Xorg's maintenance will eventually stop, since no one really wants to do that anymore...
Ironically something that solves all of the above and actually decrease costs: adopt GPLv3 for everything that receives or ever received federal funding. From technology to research data.

But I guess you will never see the guy who built an empire on top of GPLv2 with insignificant contributions back mention anything like that.
Expect shortages to occur during periods of high demand.
Rpi 3b has proper gigabit Ethernet though.

Edit: 3B+. My bad.
Assuming it's even possible (there are cases where it isn't), unless you're doing the entire operation in a single RUN instruction (install dependencies, compile, remove dependencies), deleting dependencies isn't enough because they'll exist in an ancestor layer before you delete them. That leads to image bloat.

This is why multi-stage builds are a thing, which the author advocates against doing.
> How is this too hard for you get?

The fact that you appear to be getting emotional and are resorting to personal jabs means it's probably time to end this discussion.

I've tried to to explain it to you, other people in threads on this page have tried to explain it to you, the msdn documents as well themselves explain it. At this point there is nothing left to do. You're going to hold onto the "it's in msdn so it's fair" line of justification. It was good chatting with you.
It's not so much laziness or lack of vision as it is different skill sets. Additionally, the big university-based research players (Brookings, Hoover, Mercatus) are all prevented from anything that looks too much like advocacy, so they stay away from things like model ordinances out of an abundance of caution.
Well, it's a lot faster for one, and I suspect it will be allowed through like OpenVPN is once traction is higher.
These low orbits won't last forever. If nobody pays for them, they'll all be gone in a few years.
"The panel voltage is pretty stable until the illuminance gets really low"

I'd like to see what panels those are, because the ones I've built while working as a PV manufacturing tech, both mono and poly (roughly 21% efficiency,) will have greatly varying voltages with even the tiniest hint of cloud cover over one cell, even with the junction box working to help separate out sections of the panel to maintain better voltages. Typical 60 cell 30-32V panel will drop to ~18-20 with just two cells on one 20-cell section of the panel covered. Sure this is still enough for the paltry voltage this specific server needs, but if they used smaller and more affordable panels like those used for cell phone chargers or similar size (within about 18"x18" form factor,) I can guarantee you those do not take to shading or even bad orientation well at all. 45 degrees off direct-exposure and you could be looking at that smaller panel producing a mere 2V or less.
Not to be TOO snarky but... I'm sure there are a whole bunch of Angular 1.0 people who said the same thing.

I'm not convinced it's a worse idea to guess lottery numbers than to guess what will be successful languages. To that point however, React isn't a language (or a framework) it's a library.

I would say Google has more to lose by dropping Dart and Flutter as a language and frame work than Facebook has/had by dropping React.
TIP 302 has been open to fix this in Tcl 8.7+, and there is atleast one implementation of the fix.

I looked at addressing TIP 302, but it was complicated since Tcl virtualizes the clock (like it does the filesystem).
In a recent task, I started journalling (using Medium). The particular task was a deep dive into how some open source tech worked (specifically, how Electron loads Chrome extensions). At each step (more or less), I'd copy over code snippets, and provide links to the source code and documentation.

I referred back to these notes all the time during the rest of the dive, and I still refer back to them in the subsequent tasks.

It's mostly about not retracing steps; having a link to this or that SO question; or about having a checklist ("here's all the places this symbol appears"). It was also handy when resuming work, or when something was a dead-end and I had to resume from a different point.
Dozens of companies have data dumped online by ransomware ring seeking leverage
> I do this mostly to save battery life, but also so it doesn't track (but of course it may save up these logs to transmit when I do turn the wifi/cell back on).

It absolutely does save up those logs. I worked on some of the code which saves up the advertisement view metrics. Admittedly that was more than 2 years ago, but knowing the team we handed that off to, I would be astonished if that's changed.
Bug in FiveThirtyEight primary election model discovered
Free Our Doctors, Engineers, Daycare Workers, Cheer Coaches, etc. from Fear
Tesla Posts $105M Profit for Quarter, Extending Rebound
MIDI 2.0 overhauls the music interface for the first time in 35 years
The Entrepreneurial Manifesto – Part One: Find the Right Partner. Or Partners
Honestly I think the future of mobile will just be... mobile websites.

That was Steve Jobs' original vision for the iPhone.

The difficulty was that once the App Store launched, people and middle managers thought that if a company didn't have an "app," it wasn't a real company.

Now that the web has matured, there are not that many things outside of games that require an app. But there are still many people (including many in my own company) that think an "app" adds credibility to a company, even if that app does less than the web site.
Chinese ‘students’ keep getting arrested at Key West Navy base
There is ProtonVPN. Proton is based on Switzerland, so no N eyes interference there. At least not via a legal route.
> it assumes that certain companies can create pools of loans that have well defined risk

No. It says a portfolio of risks can be arranged such that their first cash flows are less risky than their last. This is prima facie true.

What matters, to a point, is less the level of risk than its correlation. (And where you draw the line between privileged and unprivileged flows.)

Putting it another way, if I take a hundred loans to random industries and say “I’ll pay Bob a dollar first and Al a dollar second,” Bob has a less risky asset than Al. If you have enough uncorrelated loans, and Bob’s take is small enough and first enough, it starts to approach the point that the whole portfolio must default before Bob loses money.

In practice, CDOs largely performed through the crisis. Their market values plummeted. But their senior tranches kept paying.
I think it might have been shareware - or maybe nagware.
AMC's version of moviepass seems a lot more sustainable than Moviepass
Reflecting on My Failure to Build a Billion-Dollar Company (2019)
Thanks for the explanation!

But the article says that Sarao did this from his parent's house. Would a residential internet connection be sufficient to perform such spoofing?

The way you describe it, spoofing sounds like an easy way to make money, as long as you have enough capital and a fast internet connection, like with arbitrage. But there must be some limitation to this, right? Could anyone (like me) do spoofing and cause a flash crash?
The thing is, it’s different from, let’s say, them blocking LinkedIn. VPN won’t solve for any Russian mail service.
I believe SoftEther has its own userspace implementation of all of these protocols + NAT.
The author is drastically overestimating the lifecycle emissions and embodied energy of modern solar photovoltaic modules.

The article claims that it takes "3,514 MJ of energy to produce one m2 of solar panel."

The source for that assertion is this article from 2017:

"Energy Payback Time of a Solar Photovoltaic PoweredWaste Plastic Recyclebot System"

https://www.e-helvetica.nb.admin.ch/api/download/urn%3Anbn%3...

That article cites this article from 2006 as its source for energy intensity of solar manufacturing:

"Embodied energy analysis of photovoltaic (PV) system based on macro- and micro-level"

https://sci-hub.tw/10.1016/j.enpol.2005.06.018

That publication finds that silicon purification and processing accounts for the lion's share of embodied energy in solar PV.

But if you read section 6 of the paper, "Embodied energy of silicon purification and processing", you see that those authors are using material production energy intensity numbers from 2004 and 1998. They are also assuming the use of electronic grade silicon for solar manufacturing, and a silicon requirement of 12 grams per watt-peak of solar module. Cheaper and less energy intensive solar grade silicon has entirely replaced electronic grade silicon in PV since the early 2000s. Modern solar module silicon use is about 3 grams per watt-peak, not 12; see Table 1 in https://pubs.rsc.org/en/content/articlehtml/2020/ee/c9ee0245....

What first appears to be a reasonably recent citation for PV embodied energy is actually a chain of painfully outdated assumptions going all the way back to the 1990s.
Yes but the biggest success of the iPad lies mostly in there are no alternatives left. Almost everyone else has left the market. At this point if you’re buying a tablet that’s not an iPad, you really have to go out of your way to make that justification.
I will never enable push notifications from websites. This problem has not been solved. It also doesn't hold across devices or if the browser isn't open.
Most of the money being made on the App Store is for in app consumables from pay to win games. You’ll have to forgive me for not shedding a tear for them. I hope Apple Arcade takes a huge chunk of their revenue.

It’s not indy developers trying to make a living.

The other types of apps that use to make Apple a lot of money are streaming services. But most of those are now not allowing you to do in app purchases.

I’m looking through all of my apps, and I only have two or three that I actually paid money via in app purchases and those were to turn off ads.

All of the rest I had to buy subscriptions on the app makers websites or buy content in the case of Amazon for Kindle books.
thanks for saving my time.
Is ransom payment even considered "stolen" in the usual sense? You have willingly paid that, nobody took that from you without permission. I wouldn't be surprised if ransom has it's own different definition.

Forcing an innocent to hand over bitcoins they had no clue they were tainted will make everyone lose trust in bitcoin and cryptocurrencies in general. What's the point of anonymity when trading when you're culpable for wherever that currency came from.
Ten years ago Facebook fought this battle and lost.

That was ten years ago. Phones and web sites have changed a lot since 2010.

If the battle was re-fought today, I'm not sure the winner would be all that clear.
I'm not sure the saving is much bigger. I would expect that in most cases if the two files differ most of the blocks will be different (e.g. add a byte to a file at the beginning, now no block is the same).

I think that block-level deduplication has more predictable performance though: for example if you write some blocks to a deduplicated file, with block-level deduplication you just write the new blocks, with file-level deduplication you have to rewrite the whole file.
We need zero-emission power. Renewable+gas is a 300g/KWh CO2 affair. This isn't a solution at all. Nuclear is 12g/KWh CO2.
Great. SML compilation was noticeably slow last time I used it, but maybe that's changed.
They are in Switzerland and Swiss judges are pretty independent.
This is an interesting read and may be the full story, and a completely justified strategy.

But at the risk of sounding cynical, I'd be interested in any political motivations - if he's a new VP, it wouldn't have been unheard of for unnecessary swashbuckling Transformation Projects to be kicked off under the new regime for no obvious reason.

Complete conjecture, I have no inside knowledge, just have seen this happen time and time again.
I am satisfied with Flutter. My app is almost ready for beta testing:

https://www.cozydate.com
> Right-libertarians can be. Ideological consistency, which disregards one's own personal abstract preferences, is the name of the game within that political ideology.

Just because a person might agree with a right-libertarian on a specific point, doesn't mean they now have to adopt everything about their ideology or apply it in everything without regard to differences in the topics at hand.

> Many, or dare I say, most constituencies who hold these positions - positions with which I agree wholeheartedly, by the way - will fail to carry them over to other issues where its application is just as logical, if not more-so. A great example is the gun control debate, where these same people will fail to recognize the property rights of law-abiding, non-violent gun owners.

Are you sure they fail to recognize them? or perhaps they do to an extent, but they see there are other points to consider regarding guns specifically, points that perhaps they value more than the recognition of property rights on this specific subject.

> This is an arbitrary inconsistency, one which cannot be defended with ideas, only with emotions and fury.

It very much is arbitrary, and I think that's fine. Gun control is not exactly the same problem as the abortion controversy, though they have some similar aspects. In the case of gun control, some people will feel that unlimited recognition of property rights with regards to guns would lead to public safety issues. Different people will want to stand on different points of that scale, valuing property rights vs public safety.

I think this can be defended with ideas. The emotions and fury come from people not being able to articulate their ideas, or their not understanding the ideas of others, or perhaps having mutual understanding but seeing that they're a minority in how they're affected by proposed policies that everyone else seems to agree on. It doesn't mean there's lack of ideas. Ideas and emotions/fury are 2 different things. You can't use them for the same, and are best left mostly ignored, if not taken as an indication that something is lacking in someone's communication.

> If you are going to take the very brave position of respecting property rights, you had better be ready to defend them consistently.

Well, I think I've stated my point, but to conclude, I don't think respecting property rights necessitates holding them above all else. That a person sees the recognition of property rights on one topic as the most important aspect doesn't mean they now have recognize it as the most important aspect in every other topic.

Every topic involves different aspects whether that's public safety, the property rights of a potential mother with regards to her body, the right to life of a fetus, etc. Every person will arbitrarily value each aspect differently, see the trade-offs that the issue at hand necessitates, and choose their position accordingly.
Sibling to this thread, it was noted that HUDOC has oversight and can fine a government for human rights violations.

https://www.eff.org/deeplinks/2018/09/uk-surveillance-regime...
Not grandparent but for me:

1) only certain notifications that are important have unique sound, vibrate, etc.

2) other semi important notifications flash. Light is not that bright to notice.

3) other notifications have numbers on app so there are some despite not seeing any notifications.

Result: I stopped checking every hour. It's actually been an improvement for me to stay away from phone.

I noticed that some apps abuse you for disabling notifications and Viber is biggest example. I don't care about holiday wishes or viber news but I need app to stay in touch with some people. Sadly, I only check at most once a fortnight because of this disabled notification nagging.
Sure, and I still don't really see a problem with it. Yes, it makes the compiler more complex, but I can't think of any ways it could be abused more than the existing language features. And it would make a lot of programs written in Go simpler.
Most of the effort that goes into a large game project is not in the runtime code, but in content creation: you probably only need one renderer or one physics system, but lots of levels, lots of characters with unique behaviors. So what does every one of the top general-purpose game engines provide? An IDE geared around content creation.

It is no surprise that you can find a benchmark where a general-purpose engine is slow. If you do nothing you go fast, but if you are supporting general-purpose use cases you add a lot of feature overhead, so you become slow. Why do pros use it, then? Because - if the engine is sufficiently extensible - they can use the built-in stuff as a placeholder and replace that subsystem with a custom one later. Project ships, everyone's happy.

With microbenchmarks based around scaling simple elements like "thousands of bullets" like the one in the video this point on general-purpose elements is especially important. As soon as you want to add any additional behaviors to those bullets your performance is going to plummet. And from a game design perspective, scale becomes boring very quickly. A player cannot really appreciate seeing more than a few hundred things on-screen at any moment.

So the way scenes are actually benchmarked in industry is by building out more of the behavior, adding placeholder assets at the estimated level of detail, seeing what frametimes result, and developing a scene budget around that. It all feeds back into the content creation pipeline again, because an optimized scene will have more care given to each of its assets.
> And all this experience has taught me that in no way can you expect anything but the most basic, ugly CRUD app from a JS dev.

> I've been making apps on both platforms for >10 years. And I love react-native

Doesn't this make you a JS dev too? Or how exactly do you define JS dev?
Local governments with unsustainable pension costs are likely to choose bankruptcy instead of large tax increases. Bankruptcy judges have the authority to unilaterally cut pension benefits.

For any young attorneys just starting out, Chapter 9 bankruptcy will be a growing and lucrative practice area.
Ironically this looks considerably simpler than trying to get wireguard working on my OpenWRT router (and with much less collateral damage should I mess up).

I might give this a try!
Oh, 100%!

It is absolutely intentional that iOS Safari on iPhones does not have support for fullscreen api, for example, whereas both WatchOS (somewhat) and iPadOS do. Apple is quite anti-competitive when it comes to letting web apps utilize the full potential of modern web standards.

And they often use "industry advocates" driven psy-op tactics to manoeuvre public opinion such as the following:

[1] https://stackoverflow.com/questions/49589861/is-there-a-non-...
But what happens if Apple or Google gives web apps more of the capabilities of native apps?
https://www.midi.org/articles-old/details-about-midi-2-0-mid...

The actual spec sheet is yet to be released, but this is a really great article about it.
Collateralized Debt Obligations themselves aren't a leveraged product. The originating bank issues loans and then sells on the assets. The various tranches are sold for cash and receive varying priority of cash-flow from the original loans. All the leverage is outside of the CDO itself - either European banks buying a dollar's worth of "AAA" assets with 98 cents of borrowed money, or some company writing a credit-default swap on it and backing it with cash worth a fraction of the value at risk.
The article references Crashalytics and MixPanel as third party services where the data is sent. Aren’t those just tools for error logging and usage measurement? Not sure about the others though.
it's a mystery, especially to anyone who has ever seen JSON handling code in Go, that they would think generics are a crutch for bad design.
Microsoft Teams Satire
That's as dumb as laundering clean money “just to be safe” or covering up a crime you didn't commit “just to be safe” (hey Reiser). If your coins are clean, mixers make them dirtier and this has been known all along.
Under Swiss law, there is no "national security letter" equivalent.

Also, mailboxes are encrypted client side.
.bloomberg gTLD Registration Policies [pdf]
About $100 in gear ($30 144wh battery, $20 controller, $50 50w solar panel) to offset around $2 worth of electricity (9.53kwh * 0.17 euro/kwh) per year.

The battery should be replaced about every 5 years, the solar panels 25 years, the controller every 10 years.