skysight-inc/HackerNews huggingface dataset:
Standard ML is pretty simple and easy to pick up, but a weak point is the lack of { record with updatedValue } syntax to create a new record which is the same as an existing one but with some value changed. You have to specify every field in the record which can be a pain depending on how large your record is.

Standard ML has some nice features though and I think what I mentioned is the only serious shortcoming (except for ecosystem if that's important to you).

Standard ML is also structurally (but strongly) typed, unlike F# and the vast majority of nominally typed languages, which is rare but nice.

type person = { age : int, name : string }

is the same as the type

type animal = { age : int, name = string }

but this hasn't been an issue foe me, and structural typing means you can avoid defining the type at all which is convenient for small records.

For example, a function to increment age has no need for you to define the type.

fun grow { name, age } = { name = name, age = age + 1 }

I think Standard ML helps you understand the origin of some common FP idioms. Like tuples are really just records and SML treats them as such. The empty record {} is the same as the empty tuple (): both are the unit type. And a record like { 1 : "a", 2 : "b" } is exactly the same as the tuple ("a", "b").
I have an anecdotal theory that most people who came prepared to a STEM programme in the States last century did so despite, not due to, the modal 7-12 teaching. (if true, I hope it no longer is?)
Wouldn't it be even more frustrating if your opponent was constantly picking up pieces when thinking?
Good luck. I have tried multiple times. The network effects are too strong.

I contribute far less, but I still browse.
Is there a good app for note taking like on remarkable?
Or Miele if you're in Europe
Can you do this with the =WEBSERVICE() function? https://support.microsoft.com/en-us/office/webservice-functi...
Sony Teases Futuristic Phones and Playstation Controllers for the Coming Years
For those who receive their copies and who also ordered the iPad Nano Textured glass; how do they compare/contrast. I know the stark difference in everything from the material to the entire concept but one has to stick to one, what kind of compromises and limitations will someone be deciding on.
definitely a very very very professional platform automation dev

Not!

HTTPS-Only Mode Alert
Secure Site Not Available

cant even sort out his website

send me Fiver instead
Why are there still new CSS frameworks being made? Why isn’t this stuff a solved problem?
Digital flappers!

https://www.gradesaver.com/gullivers-travels/q-and-a/what-do...
Private keys vulnerable to Debian OpenSSL bug (CVE-2008-0166)
Guys I need names of cities and cinemas
The problem with any mailbox storage standard that is explicitly labelled “do not use this for delivery”, in this case because the author explicitly rejects (and in 2023 openly mocked) the concurrency and crash-resilience demands that Maildir seeks to offer, is that someone will inevitably use it for delivery.
I won't go out of my way to find out if you don't want it known. If you decide you want to know what's going on in the hotel, there's probably lots of video on YouTube from whichever convention it is.
Very sad to see this company greedy move. From an excellent unique B2C app which could have got an excellent future, to a B2B API. Worst thing is that they ignored the loyal users and they didn’t say anything about the future of the app or cared about the people who already paid
Define "civilized".

Japan and South Korea have the death penalty.
P.S. I want to add ancillary rant here about the MODERN concept of PROFESSIONAL EDITION: I also have Apple computers, a MacBook Pro for example. If I take a MacOS version from the past, let say Snow Leopard, and compare it at the one in use on that computer right now , an allegedly PRO system, do the new version improve my job ? Because this means "PRO", right? Something you use in your profession , right?
REALLY, NO, let's add some details:
- Snow Leopard gave me the feel of something FAST , this one only at the beginning, after some service upgrades of the OS in use, the infamous rainbow disk started to spawn;

- On Snow leopard I could use dtrace/dtruss , here if I have to investigate an application, I have to reboot the system, disable the SIP and wait that the problem manifest. This is especially stupid, I mean to force a professional to follow this workflow depriving him root privilege on it's own system. Image if Linux decide to do something like that and you have to reboot a server to use trace.

- X is still a thing, I use it at work, In Snow Leopard it was integrated , now I have to install XQuartz, that, for what I know is a one-man-project, with all the problem it implies ( and I want to thank the maintainer for the recent bug fixes , solving problem I had );
- CUDA: I can't use CUDA, an industry standard on MAC, I was able to use it on previous version of MacOs until Apple decided it's bad for us, publicizing the delusional idea that I can do the same jobs of an high end GPU on an Mxxx processor.

- ZSH: at some point, Apple also decided BASH is bad for you and your life will be better with ZSH. So, let's throw away a consolidated standard tool for some hipster stuff facilitating script kiddies to have multicoloured, fluorescent, pimped cursors on it ! Obviously not 100% compatible with BASH, so you should modify your scripts to conform. Luckily, Bash can be restored.

So I can do LESS with this MODERN OS that a 10 years older version. But now it has more vivid colours and that's good for your mood. And, again, my perception is that it's slower, doing the same tasks I did on Snow Leopard.

Are pro version adding some professional tool, capability, whatever that improve my professional experience or productivity ? NO.

So, how is justified the "professional" adjective here ? It seems more marketing gimmick to me. I feel less productive, but I have Apple TV, Siri and tons of bloatware should be present on a PRO machine and sometimes, A VENT. Yes, the difference from pro and non-pro sometimes is that the pro version can better dissipate heat.

Think about it.
If you think that taking a more generative and procedural approach to 3D Design sounds interesting I highly recommend taking a look at Rhino3D and Grasshopper (www.rhino3d.com). At €1k it is not really affordable, but it's still worth downloading the demo and trying out Grasshopper to get to play with a different way of doing 3D design.
I've been using Sheets's regex functions for over a year, they're really helpful for basic data transformation.

Excel also got a "split" function much later than Sheets did.

I was excited to read on the Sheets blog that Sheets finally will have a table functionality, which Excel has always had: https://workspaceupdates.googleblog.com/2024/05/tables-in-go...
What Television Will Look Like in 2025, According to Netflix (2014)
These types of displays use power to change the pixels, but almost nothing to retain the existing image, so battery life will be wildly variable depending on how you're using it. Browsing the web with nonstop animations versus reading a book will probably show massive swings in battery life.
> Producing low-carbon fuels like hydrogen, methanol, or renewable synthetic methane for use in power plants, vehicles, or industry would require yet even more expansive deployment of renewables and storage to power the requisite electrolyzers and carbon capture facilities.

That's a weird paragraph for a nuclear booster.

Is he dismissing these ideas entirely, or is very poorly communicating the idea that nuclear is better for these purposes?

That would be an honest argument, if he made it. But it feels like he's trying to imply these are somehow only required for renewables grids, but not nuclear grids which will what, just burn fossil oil instead?

Similarly the inclusion of batteries as a cause of mining. Nuclear grids are already adding batteries, just like they traditionally added pumped hydro to make the most out of their nuclear investments.
Code-Aid: An LLM-powered tool to help students without giving the solution
Really? Colin's method seems pretty simple to memorize and work with. Especially since it's all addition mod 7. Given that the mod operator distributes over addition you can work answers out easily while working with small numbers.

For example, what day of week was September 2, 1945?

45/4 = 11 (mod 7 = 4)
45 mod 7 = 3 (easy to work out from 7 times table)
September = 6
2

So you've got 4 + 3 (disappears under mod 7) and 6 + 2 mod 7 = 1. So, the second world war ended on a Sunday.
Anduril says they have a focus on industrial capacity and cost effectiveness
That doesn't seem to be the point? The point is (and I, not an American, have seen a few studies of this kind) that race predicts many outcomes, but not after controlling for income.

In other words, poor people in America are screwed, Black Americans tend to be poor (and mostly due to terrible socioeconomic processes in history).

It's not that it is OK if people are screwed "merely" due to income not race, but surely understanding the dynamic is key, no?

I'm talking from an ivory tower of statistics and papers, I barely spent a week in the USA in my whole lifetime.
> But I already pointed out that the steps aren't different. They're the same style. Whether you use the term "carry" or "borrow" makes no difference to anyone.

Obviously, it does. Like, that's what the song is about. You're not just disagreeing with the other commenters, you're disagreeing with the concept of the song itself.

It's a different way of doing it, even if the underlying principle is the same. This stuff matters a lot in pedagogy, even if there's no difference in the underlying mathematics. I could say this: "you subtract two decimal numbers a_n a_n-1 ... a_1 and b_n b_n-1 ... b1 by successively calculating c_n = a_n - b_n - K_n-1 if a_n >= b_n, where K_n is the carry from the nth digit, or c_n = a_n - b_n + 10 - K_n-1 if a_n < b_n, and you set K_n to 1" or whatever. That's the same method, but it's a TERRIBLE way to teach a child how to do subtraction.
SHreddit

SPreddit
This is not a CSS framework, this is a stylesheet you import when you don’t want to think about CSS or styling but want a site that looks alright.
You can get the unlimited plan for a cheap price and then not have to think about it.
See https://news.ycombinator.com/item?id=40464495
Suspect you'll hafta delta code channels in groups and hop only a few light up at any given time.
I liked my first Galaxy but within a month the phone developed purple vertical lines down the screen. Nowhere local could repair it. Samsung told me to mail it to somewhere in Texas and I’d get it back in 6-8 weeks. When I asked if they offered any faster replacement service even for a fee, they told me no and suggested should’ve bought the insurance from my carrier.

Never bought a Samsung again.
This headline made me think about the power of internet memes in our modern times.

You can meme a shitcoin into billions of real USD, and you can meme a man into the Presidency of the USA.

That is real power.
Apple elaborates on iOS 17.5 bug that resurfaced deleted photos
I don't know how the syncing works for that, but all my custom bangs (which for me includes bangs for Kagi lenses / filters and non search engine sites at this point) sync using my Kagi account which is pretty nice.

Also I use Firefox Focus on mobile, which doesn't have many settings, and I don't think I've seen that features there.
Slow Bros crafted a video game universe by hand
Lots of people use CloudFlare purely as a registar and DNS hoster because they sell domains at cost. Domains are quite expensive already for what they are. This is enough to trigger certificate issuance on your behalf. You don't have to use any add-on features. Maybe even just registering a domain is enough, I'm not sure. I certainly didn't "give them" any certificates, I don't have A/AAAA/CNAME records on several of my domains, and never enabled proxying traffic through the rest of them. The certs have been issued regardless.

I don't see this as a conspiracy theory, though. They want to sell you the whole package and don't want to support freeloaders like me who are only there for the "cheap" domains. That's reasonable, if unfortunate.
That’s not really an LLM at that point, but a agent built around an LLM
More that they should not have called it Windowz
Dupe: https://news.ycombinator.com/item?id=40460353

And I'll repeat the sentiment - challenges without prizes are just doing free work. "Maybe you'll get a job" isn't a prize.
It does not sound relevant to me, because that was a case of "video game piracy". It was not about the name per se.
Now that's a name I haven't heard in a long time.

https://i.imgflip.com/kj336.jpg
If you can get an extra lambo in your garage, by firing all your factory employees, and move your manufacturing to China, well...what do you think will happen?

This is especially egregious, because the few folks that have enough ethics to not do that, get driven into bankruptcy, by the ones that do.

The general consumer market basically wants cheap. If they can get stuff that does what they want, for less, then they go that way. They aren't particular, as to the source.

The market for High Quality is actually pretty small. People that make good stuff, don't get rich. People that make lots of cheap crap, get very rich.

The only way to reverse this, would be to invoke protectionism (or have a war, which will do that, anyway). That isn't very popular, with this crowd.
It's funny that you didn't mention Google. They used to be "the" techies tech company.
I wonder how that category of services, which Porter provides could be called.

I would put the following services in that category:

- Porter
- Cloud66 https://www.cloud66.com
- Hatchbox https://hatchbox.io

They all manage infrastructure on your behalf within a larger Cloud Service Provider.

Terms I could think of are "DevOps as a Service" or "Platform Engineering as a Service".

How would you call this?

And what alternatives do you see?
"don't fly over any Navy Battle Groups until fixed"

https://en.wikipedia.org/wiki/TWA_Flight_800
The apocryphal history of file system tunnelling
In the case of npm you could also use something like Sonatype Nexus, push your packages to your own npm repository and install them with --registry or something like that: https://stackoverflow.com/a/35624145

Further discussion: https://stackoverflow.com/questions/40288843/installing-npm-...

It's just that most people don't do that, same as how most people will just store their code in GitHub.
For the A-samplers? There are a number of tools out there for manipulating the A-sampler data with a PC - I wrote one of them (DiskY) which makes filesystem management over SCSI with a Windows PC a lot smoother/faster than using the onboard OS, and there is also b.Zone, which is an editor that uses MIDI CC and Sysex to do editing.

Together, they make the A-sampler .. almost .. usable. ;)

I would love to dig further into the A-sampler ROM and figure out a few more of its secrets. I'd especially like to know the exact reason why the A-samplers SCSI subsystem is .. so .. darn .. slow .. so maybe there's a chance to dig into this at some point.
I will say, that I live on Long Island, which was a major industrial area, during WWII.

We enjoy one of the highest cancer rates in the world. All those factories used to dump their waste into our aquifers.
It's "mooning" to heaven, I am sure.-
Seconded, if possible.-
Very cry, many nostalgia, much thank you.
I'm struggling to see why you think this is more complex ... the methods seem completely equivalent to me. The Carroll method does:

1: A calculation for the Century-Item ... divide by 4, take overplus from 3, multiply remainder by 2.

2: A calculation for the Year-Item ... Add together the number of dozens, the overplus, and the number of 4’s in the overplus.

3: A calculation for the Month-Item ... alternatively, memorise a table: the required final numbers after division by 7 are January, 0; February, 3; March, 3; April, 6; May, 1; June, 4; July, 6; August 2; September, 5; October, 0; November, 3; and December, 5.

Note that these numbers are exactly those in my table, minus 1.

4: Include the Day-Item.

Then add them all (mod 7) and convert the number to a month.

It's exactly equivalent to what I described, except the Carroll method has additional calculations for the year.
Unsure how you are intending to use it for 1:1s and meetings--I don't believe this has a camera, so it can't be your primary device you are taking the call on. Of course, as a note-taking device during a meeting, this would shine! :)
Second guessed myself and had to look up whether this was actually a word
This one

https://play.google.com/store/apps/details?id=uk.co.nickfine...
newer generations have not been confronted with the hardware limitations older generations had to cope with.

That has been true for every new generation of programmers since the invention of computers. My uncle started to program using Fortran IV in the 60s and he said that the 'real' programmers at the time looked down on the likes of him for using such an inefficient high level language and not learning how to program properly.
Go’s initial development priorities were ordered for Google’s needs. The described problems weren’t major issues at Google because they store or at least used to store all of their code in a single repo.
Imperceptible sensors can be printed directly on human skin
I find this all much ado ablaut nothing.
Yuzu’s downfall was not the repo, it was their Discord. They were sharing DRM cracking keys on there and getting paid $30K/month on Patreon. It’s the same reason most emulators require you to bring your own BIOS.
3blue1brown – Linear Algebra
A written/illustrated version of the 3blue1brown linear algebra video series.
Except if she had a clotting disorder as indicated that might make her bruise and get edemas with much less trauma and say she fell on her face/chin, all of those could happen comparatively easily. I don’t know what happened here and thats the point.
The Washington Post Tells Staff It's Pivoting to AI
There is a small correction needed for January and February in leap years, and I haven't included the corrections for pre-1900. The Carroll method does deal with these issues and I have internalised them, but I find I never use them, so I retain only the simpler version.
Well, they were trained on those tests. What LLMs literally do is map inputs to outputs. That’s why they can’t do much outside of training data.
It's an American term that means 'less addictive.'
Does this device have a locked bootloader?

Edit: I just saw your other comment that "you will release tools to unlock the bootloader". What is the timeline for that? Can you do it today?
> Is that a good example?

Yes. It is pertinent not only to this particular instance (or instances, plural; AI copyright violations and scooters on sidewalks), but illustrates for example why treating corporations as "people" in freedom-of-speech law is misguided (and stupid, corrupt, and just fucking wrong). So it is a very good example.
Thanks, I hate it.

> it reduces user errors by not allowing the focus to slide out of the hot box between press and release

No, it increases user errors by not allowing the focus to slide out of the hot box between press and release.
Exactly so.

I remember them in this table because they are squares (except for December), as well as "highlights" ... May=2 and August=3 are two that I have "to hand".
That doesn't mean in any way that it can't be a legal trademark.
Have you considered migrating to another platform? For example Signal. They offer better security and there seems to be support options AFAICT: https://support.signal.org/hc/en-us/articles/6746004451610-C...
> Remember that EU has a free flow of work force, so I expect lots of those 18% will come from Netherlands or France.

What's the point for the native citizen of Netherlands or France in moving to Germany? The quality of life and salaries are similar, but the culture context is just so different between these countries. Completely different languages, different customs, etc. The numbers surely confirm that - the France is in the bottom of the list, and Netherlands are not even included. [1]

Anyway, out of ~14 million foreigners in Germany only 5 million are from other EU states, and most of them (~3 million) are from Eastern European countries (Poland, Romania, Bulgaria, Croatia and Hungary).

> In Sweden at least, immigration was always biggest from neighboring countries (e.g. Finland/Norway)

There are less cultural differences between Sweden, Finland and Norway. At least they have more or less similar languages (ok, Finnish is different, but Sweden is also an official language in Finland).

1. https://www.destatis.de/EN/Themes/Society-Environment/Popula...
Addition with flamethrowers – why game devs don't unit test
I have no trouble reading New Yorker articles on their website.

I disable JavaScript by default. No JavaScript is required for newyorker.com, and apparently allowing it would be a downgrade.
Well, it sounds right. Plenty is a singular noun. Actually maybe it is right. Hmmm. I guess it depends on how many stupid people you think there are.
> Sure. whatever I've hired tons of them and I would not describe them as 'amazing.'

Seems your hiring process is flawed?
Out of ~14 million foreigners in Germany only 5 million are from other EU states, and most of them (~3 million) are from Eastern European countries (Poland, Romania, Bulgaria, Croatia and Hungary). [1]

Then, why is it misleading to compare Polish and Romanian immigrants to Germany with Mexican immigrants to US?

1. https://www.destatis.de/EN/Themes/Society-Environment/Popula...
Not how the law works. I’m not certain Perplexity has trademarked their name but the question of whether it’s an information theory term or not wouldn’t prevent them from doing so, nor would it prevent them from defending that trademark.

Engineer-y people trying to interpret law has to be one of the most reliably silly things on HN.
That and register windows. SPARC was designed to run C very efficiently.
I do not know where op is from, but here in Brazil, where whatsapp is huge, there's a huge expectation you'll be reacheable on whatsapp, both in and out of work.
They probably meant meeting in person with this tablet instead of a laptop.
*girl (Kabosu was a female dog)
Ampere 2024 Update: One More Step Forward
Then I will put this one on my to read list. I actually re-read the book by Vinge recently after he passed.
Which is why Trademarks are a non-issue here.
My bet is that the Devs understood that.
I've recently been using a piece of software called RustDesk, which so far feels pretty performant, better than VNC, RDP, TeamViewer, RealVNC etc.: https://rustdesk.com/

You can host a relay inside of a Docker container if you need it as well and it even supports AV1. There's also password auth for each device and permission control.

They have a mobile app too, though I haven't used it as much as the desktop variety, might be worth a shot.
TLDR; AI summary: ScarJo is eating too many Cheetos