skysight-inc/HackerNews huggingface dataset:
For what it's worth, I am a mathematician, and I'll say that there is definitely a lot of awkward notation out there in math, and some of it I would agree is even fair to describe as just bad. But I'm pretty confident in saying that basically no one is malevolently inventing notation just to make other people's lives harder! This just isn't how mathematicians think, and anyway if you intentionally invented terrible notation for your own field, you'd be hurting yourself much more than anyone else.

There are plenty of other reasons mathematical notation might be hard for beginners:

* The notation in question might have originally been invented for a narrower purpose than it's being used for now, and has been stretched beyond the domain where it fits well.

* Someone made a weird decision a hundred years ago, but now everyone's used to writing things that way, and if you want to be understood it's easier to use the same notation as everyone else.

* The notation might actually be better than you're giving it credit for, but this is only obvious once you've spent a while working in the field.

Overall, I've noticed that people coming to math from CS tend to put more weight on the question of notation than mathematicians do. I will say, from my perspective, I think it's very easy to make a bigger deal out of notation than necessary. A lot of math is just authentically pretty tricky and takes effort to learn no matter what notation you use, and I think it's pretty rare for the notation to actually be the lowest-hanging fruit here. This isn't to say that there's no mathematical notation that could use improvement (quite the opposite!) but I don't think making those changes would have quite the impact you might be imagining.
Not really seeing why this should be illegal.
Omg. This is really impressive stuff!

I'm sure it's a bit cherry-picked and they chose things it is good at. But it is already showing some useful stuff.
Which version of macOS are you using?

I'm using macOS Ventura 13.6.3 on a 2018 Macbook Pro and there is no "Text" section under "Settings > Accessibility > Display".
> It's about developing embodied AI agents that can translate abstract language into useful actions. And using video games as sandboxes offer a safe, accessible way of testing them.

not creepy at all.
You mean the tyranny and control of Apple? With their removing headphone jack, lightning cable, walled garden and all that?
It seems there isn't a solution that satisfies everyone so far, indeed. With concerns about languages supported, functionalities, security, etc., there's certainly a lot of room for improvement in this space to offer a better solution!
Ah parental supervision, of course!

That's a fair equivalent of government regulation and source of funds attestation requirements, so "laundering" is at least metaphorically correct! :)
Funny, I have the exact opposite response. It does, indeed, make it seem more human-like to me.
We tested Anthropic's new chatbot – and came away a bit disappointed
And adjust, in one way or another, the amount of those deductions. Even if you don't itemize, the amount taken out of salaries for most people between Federal and State doesn't align with what was taken out of their salaries. (For a lot of people, they're actually owed a refund though.)
If you are within a mile down wind or so of a highway the increase of pollution is really significant. The same is true for very busy roads which unfortunately often means most of an entire urban area is at risk for health problems from pollution due to busy roads.
Right, except the guidelines ask you to not-do exactly that and you shouldn't.
"A generalist AI agent for 3D virtual environments" - https://deepmind.google/discover/blog/sima-generalist-ai-age...
There is a delicate balance though. The draw of the RPG is that you play a character who usually has an outsized impact on the world in comparison to most everyone else. If we expect the NPCs to operate as independent entities, how do we manage their ambition so that they don't individually, or in aggregate, impact the world more than you? Without that, your character becomes another cog in the machine; it's their world and you are simply living in it... Which I could see having a certain appeal and may be just another genre.
Yes, the tyranny of... forcing Apple to open up its walled garden. I am cheering for that and more. Mandate open bootloaders. Mandate user installed EK (Endorsement Key) on all TCB enabled devices.
Isn't this obsidian? It looks very much like it. Not that there's much to go on.

https://obsidian.md/
I personally only use syntax highlighting for comments and literals.

Comments are probably an obvious choice, the reason for literals are mostly for strings and format strings.
> Removing those posts after the fact is a useless gesture. The evil already happened. Meta was never punished.

I mean this sincerely and in good faith, what else can you do? We don't have the PreCrime division. The accusation isn't that Twitter/Facebook don't ever host illegal or objectionable content but that they have a procedure for addressing and removing it. Parler just said no, we don't have and will never have such a policy. If Tumblr say, despite having a moderation policy just stopped enforcing it they would find themselves staring down the banhammer again.

As to your second point the answer is in your own question, I don't think they actually buy that TikTok is either of those things. Hell, the NFL partnered with TikTok and they're basically cheerleaders for the US military.
To me, "fact vs opinion" and "equal viewpoints from all sides" are two different issues.

You can absolutely report the facts, and only the facts, that solely support one side.

At some point willful omission of counter-perspective/facts becomes its own bias, but I think that's a much lesser evil in modern times than commingling facts with opinions.

And agreed, re: Congressional inaction in the House, but that's also a consequence of the razor-thin majority that leads to minority-within-the-majority being allowed to hold votes hostage.

IMHO, House Democrats could have fixed that by supporting their centrist Republican colleagues in key votes (i.e. something like confidence and supply in more mature parliamentary systems), thus neutering extremist Republican members.
Framework Mainboard as Web Host with Dokku and Cloudflare
What happens when ChatGPT tries to solve 50k trolley problems?
Right, and I think you've zeroed in on what I feel is the most important point here. Somehow, for a lot of people, "diversity of opinions" and "angry posts subject to moderation" are more or less the same thing. For me, those are distinct things, and don't think diversity of opinions, at least not on things of interest to me (philosophy, astronomy etc) are under the crosshairs. Of course I feel that way because I feel like I'm right about something, and that something is the idea that diversity of opinion has a lot more to it than whether something is or isn't moderated.
I remember going to Kings Canyon/Sequoia National Park back in the '00s and when we got to the altitude where the sequoia groves existed and I caught a glance of one off to the side, I was so transfixed by how amazing it looked I almost drove off the road.
What I mean is that a simple key combination is easier to use than an Alt code or having to copy and paste from another document. The ASCII table stuff is just fun trivia. "Press Ctrl-_ to insert a column separator" isn't any harder than "Press Ctrl-S to save" or "Press Ctrl-T to open a new browser tab". It's definitely easier than letting your hypothetical family member reinvent character escapes on their own the moment they encounter an address that has an extra comma in it. :-)
Seems like their all-in-one tool doesn't ship with a spell checker.
Also i'd like to know why you are getting downvotes. Is this factually wrong conspiracy garbage or something? I don't know but i would like to.

Edit: valid reasons presented.
And similarly from people who consider Nvidia to be the "Gaming GPU" company, not understanding why it's so big now.
Getting a driving licence and being suspected of drunk driving and causing a crash are two different things. Where I'm from your blood would be drawn after you were arrested for a suspected criminal offence, not just because you had a license.
> as well as learning about social interactions

A large percentage of social interaction in a game like world of warcraft is profoundly negative and maladaptive. I'm not sure I would want my child learning about that in a MMO.
> Parler just went the "free as in anarchy" speech route.

This is no different than X nowadays. But the political landscape has shifted even further to the right, why now no action is taken nor desired [by the politics] to do anything about it.

For instance: There is only one Dutch moderator for the entire Netherlands/Flemish community.
i believe it is as hard as it is for robots to act exactly as they do during simulation
Invasive species?
I wonder why this document has been labelled "1.0" while it is so poorly specified (many ambiguities).
What the hell are you people doing :-)

I live in Minnesota, the so-called "Land of 10,000 Lakes" (it's actually closer to 12,000). The only time I hear of cars going into a lake is when someone drives onto thin ice.
An independent dealership can choose to not service particular make of the car, pay for the OEM tools and license for manuals or can choose to obtain those via other means.

You can see where the lack of respect to IP rights leads to when it comes to current espionage claims between some of the world largest economies entangled in a myriad of IP disputes. Ultimately, the question I ask myself is: am I happy with unverified random parts I want to put in my car? Instead of having easy traceability and ability to sue for damages I now have to also vet provenance, authenticity and take on additional risk of an unvetted supplier that I often won’t be even able to sue.
Lousy Workflow: The Project Wizard
There are plenty of data brokers who will sell your personal location data, independent of your vehicle, obtained from the apps on your phone.
The vaccine was introduced after polio prevalence was already plummeting.
> You cannot scope a search to a subset of the collection.

Since you're back to Notes, you might be interested to know that you can now scope searches in a bunch ways — folders, Smart Folder, tags, kind (i.e. limit to notes with checklists), date range, etc. You can even search "notes created last year" to see all of your notes created last year, etc. https://support.apple.com/en-au/guide/notes/not18ab658ed/mac
> It was fine finished and lovely from the top; the bottom was moreso to my eye: you could see how woven together it was and how far from perfect the individual boards were.

This seems like a fitting description of society in general.
I believe they are specifically calling MMORPGs time-wasters, which I second (as a video game enthusiast). They're not unique in being so but they are heavily designed to, basically, waste your time grinding.

I also agree that even MMORPGs have their upsides. But as a genre they're pretty unhealthy.
What are your issues with the linked NYT article?
MEPs approve first comprehensive AI law
I do it with IFTTT.com (for my own posts)
Okay, don't love what he was creating the sheep for but I'm not sure I understand why this is such a big deal? We change animals all the time (looking at you, French Bulldog owners), unfortunately often to their detriment.
I tried this out. I think this app will benefit from a clear identification of purpose and target user base and tailoring its features around that.

Eg. If it is trying to be a generic markdown file editor, I wouldn't want it to insert yaml frontmatter without being more explicit about it. If it is trying to be a note taking tool, I'd expect to be able to interlink local markdown files and navigate files through them (I couldn't get that to work). If non technical users are the primary audience, the git integration may not be ideal sync solution for them. If it is for technical users, we would likely want to be able to edit the front matter ourselves (to add options specific to jekyll/pandoc or whatever else will use that markdown) etc.
Before Darklang it's founder worked on Tablecloth, a standard library for ReasonML/Bucklescript. Contributed to it back then.

> This one seems to be inspired by F#.

Inspired by OCaml, to be pedantically correct.
Sort of an ad hominem. What about the content of the article?
SIMA author here - SIMA is betting on simulations and games. We use real-world open-ended language, but games/sim obviously have simplified physics/graphics.

In terms of alternative strategies, Google DeepMind also has an amazing robotics team with lots of fantastic work for real-world robotics - including multi-robot generalists, showing positive effects when co-training one agent or model on multiple environments/bodies. Their prior work was very inspirational to us in SIMA!
https://deepmind.google/discover/blog/scaling-up-learning-ac...
It’s much harder to hide an addiction from a spouse if it’s not free.
So he got his handgun despite South Carolina's lack of reciprocity with his native Washington state.

Same article mentioned disposition next day, so you think he stayed two weeks at the seedy motel? I say he went back home between dispos.

So he skated background check after three days of non-response from ATF which automatically allows him to secure his firearm purchase?
Just being louder than someone else is a kind of censorship. Problem is you can't listen to all 8 billion people effectively, and that's before half of them bring bots
do you have any specific examples?
> I had a job where i had to stand in one place all day - definitely hard the first couple of weeks - you adapt (+find comfy shoes)

How old were you? Keep in mind that younger people are able to adapt to physical stresses.

> its probably a lot healthier...

That's not in evidence.
The guy imported an endangered species that may be invasive, forging documentation along the way.
... which is, itself, unlocked by a passphrase. And, bonus points if one uses Bitwarden since one could think of the insulting unlock passphrase as directed toward their UX team :-D
xenophobic nonsense.
Show HN: Password-protect a file with Easy Encryption Everywhere
My friend needed to send credit-card data to a client and couldn't find a widely available program for sending password-protected files. So, I wrote one. This webpage encrypts a file and packages it into an HTML file, which contains JavaScript code to accept a password and decrypt the data. The code uses the Web Cryptography API and works with every major browser released since 2015.

I'd love feedback. Especially from experts on cryptography and the Web Cryptography API.
Nevermind the article outlining a plethora of crimes involving trafficking endangered animals, fraud and more.
I think “Schubarth and others forged veterinary inspection certificates” did him in.
Tesla applies laminated glass for sound proofing, no?
The guidelines are not all hard and fast rules. Dang has explained in comment threads (that I don't have a link to right now) that editorializing titles is actually OK in some situations. Obviously the title should not be false or clickbait, which my title was not.
Fantastic writeup, thanks. I’ve got to check those places out. Also very appropriate use of Audis. And yes, agree about the trauma ed.
It would be up to the insurer and how their models reflect and manage risk. The point being, individual insurers would be able to better price insurance based on discrete customer behavior.
from the article:

> The Lacey Act prohibits interstate trade in wildlife that has been taken, possessed, transported or sold in violation of federal or state law. The Lacey Act also prohibits the interstate sale of wildlife that has been falsely labeled. The Act is one of the most powerful tools the United States has to combat wildlife trafficking and prevent ecological invasion by injurious wildlife.
> it's crazy

Yes.

> but it's a good political move

Domestically, maybe, and only in the short term. Internationally, not at all. It makes America look very weak and hypocritical, at a time when America can ill afford to look even worse.

> Everyone agrees we should ban it.

No, they don't. The media and political classes agree. That's not the same thing.

In reality less than half agree, last I checked [0].

> you'll have a huge amount of teenagers and young adults who will blindly hate you for it.

Blindly? Young people already hate Biden, and it's not because of TikTok. It's the two-faced support of mass murder, the economy, the inequality, the lies, the inflation, the oil drilling, the union attacks, the failure to deliver on campaign promises, etc. [1]

Blaming TikTok for that is just an easy wedge. There's nothing smart about it; it's cynical, divisive, and extremely stupid in the long term.

0 - https://www.reuters.com/technology/close-half-americans-favo...

1 - https://www.nbcnews.com/politics/2024-election/young-voters-...
Boeing just cannot catch a break.

I'm honestly not sure how common these accidents are normally and media is just paying attention but it is not looking good for Boeing.
In Wilmington, CA, the pollution from refineries and the port of LA is often so intense that you can smell it within your car as well as see the brown tinge that hangs thick and low in the air driving southbound into the area. Its amazing that people still have to live under that today in this state of supposed environmental leaders both public and private. I guess the port makes too much money for the economy for anyone to care about the health outcomes of the people who are saddled with living near it.
Flash is back, baby
It's clearly not the mere hybridization that's problematic here.
Not a very convincing article. The fact that mass timber uses more wood is right there in the name. Everyone knows this. The point is you get a better building. The cavities in a wood-framed building cause all manner of problems with respect to heat, draft, cold, damp, and noise. Filling the cavity with solid wood variously solves such problems.

All the stuff about the capital cost of making laminated wood is irrelevant. Only the marginal cost of the assembly matters.
If I understand correctly, the linked repo is for flox CLI client. While it is welcome, is there a plan to open source the service components? I'd like to deploy flox on my own and have portable environments. Otherwise this I'd just another SaaS with lock-in and "lots of open source love".
I understand that this is a great leap in AI and it sounds amazing, looks amazing, almost unbeliable. I wonder if it is needed, though.

I can't find a good reason for computers playing videogames. I read another comment saying that they could be your buddies in an adventure game... what's the point? The fun is to play with other people. We already are able to play with bots (different algorithms rule them), so I can't see why someone would prefer this over them.

About traslating this from a virtual world to the real world... I can't imagine who would think it's a good idea to give this type of freedom to machines in a physical world, were consequences are way riskier than something digital (and yes, digitally they could empty your bank account, physically they could kill someone. One is much worser than the other).
I'm not that great and the only way I died in NMS was playing with the Plasma launcher, turns out you can blow yourself up. Early game, hit C (I think) a lot to find O2 plants, Sodium, etc. Game runs amazing even on my 8 year old laptop which has an nvidia GPU.
Advanced LLM AI Models vs. a Simple Question
This has nothing to do with all the other nonsense.

Pass Data Privacy laws and enforce them.
> Montana Man Pleads Guilty to Federal Wildlife Trafficking Charges as Part of Yearslong Effort to Create Giant Hybrid Sheep for Captive Hunting

Pay attention to the wording here. The charges aren't about the hybrid per-se, they're about wildlife trafficking.
> 1. I appreciate having instant feedback if I've mistyped the number of closing quotes, brackets, or parenthesis. If everything below line 100 is displayed in the color for strings, I know what mistake I made there.

It doesn't have to be all or nothing. There's a spectrum, with darcula on one extreme, and no highlighting at all on the other. You don't have be on either extreme of the spectrum, you can always settle for something in between.

Some of the most enjoyable coding I ever did was 2001-2003, when I wrote C using vim in a black-on-white xterm, with keywords underlined, string literals and comments in gray, number literals in bold ... and nothing else!

Even now, today, I remember more of that code that I wrote then, than anything in the almost 1-million lines since.

Vim can now be configured to use italic for comments, green for string literal, magenta for known format-strings within string literals, red for unknown format-strings within string literals, blue for function calls, etc ad nauseum.

Now I pattern match the colors without even reading the code in detail. I think it's time I tried a mono scheme again.
You raise a good general point, but conflating Eames style with minimalism is a mistake.

They were designers first and foremost. They made a lot of stuff!

If you're weighing the balance of your own minimalist inclinations with your appreciation of design, well, that's harder.

Get the stuff you really like, and don't hesitate to move it along to a new owner when your needs change. Also, do not look in my garage, basement, or barn. :)
If you look at Chinese cyberwarfare activities over the past ~20 years, it becomes apparent why TikTok can't stick around.
This is a week old ..
Absolutely. Annual financial reports by public companies are a gold mine for this stuff, as they are literally required to talk about it.

You can also get a sense of the scale of the problem by the reported revenue and growth rates (which they're always eager to highlight).
DreamWizard, Your Personal Dream Interpreter
personalized dream interpretations through cutting edge AI technology. It tailors insights to individual dream content, providing a more engaging and meaningful experience for users.
I read about guerilla gardening recently and childishly thought it would be funny to plant Giant Sequoia saplings here and there.
>He then implanted the embryos in ewes on his ranch, resulting in a single, pure genetic male Marco Polo argali that he named “Montana Mountain King” or MMK.

Has anyone found pics of "Montana Mountain King"?
I wouldn't hold your breath. The XB-1 prototype was supposed to fly in 2019 and still hasn't:

>At the June 2019 Paris Air Show, Blake Scholl announced the date for first flight was pushed out to 2020, six months later than previously planned...

>Medium-speed taxi testing was performed in November 2023, with the aircraft reaching a top speed of 94 knots.[22] Following testing, in January 2024 Boom delayed the first test flight to early 2024 to implement safety improvements (wikipedia)

And that's just the single seat prototype. Once they've flight tested that they have to do the full design and prototype testing for the passanger model.
>TikTok is popular enough that I can imagine it's making enough money outside the US to just let them ban it and not sell.

Back in 2020, 10% of TikTok users were American but they accounted for 50% of revenue, or something like that. Any US shutdown would be catastrophic for TikTok's valuation.
Can a mod change the title? It's slightly editorialized and very misleading. The actual case is pretty mundane...
Sounds like an interesting direction of research. There is a tool called mergekit and the models produced by merging different models is called frankenmerge. Search for “frankenmerge” and you can find a lot of interesting results and models and discussions on what works and what doesn’t. Might be a good idea to check previous experiments with these keywords.