skysight-inc/HackerNews huggingface dataset:
I haven't had any issues with Obsidian Sync. If you attempted to synchronize your vault with iCloud I'd recommend to give Obsidian Sync a try instead.
So, we need something like dockerfiles for models?
That would be much appreciated. I've sent a message to support about the email not being filled in by Keychain on iOS, request 4054436.
He hid his face, but even then his tatoos were all visible. Anyone that really wanted to know who this dunce was would know in no time.
Yep, now that we’re shifting back into great power competition mode, this is probably necessary.
"Don't be evil" => What's evil?

"Don't build weapons" => What's a weapon?
> Any judge is free to veto governance.

That's the teeth in the separation of powers. If you prefer more centralized decision making or a less limited democracy, you probably see that as a bug created by the Constitution.

The executive of the Israeli government believes that this is a bug and is trying to weaken the judicial veto power. Their Supreme Court is 8-7 on the issue, just barely upholding their prerogatives.

https://www.france24.com/en/middle-east/20240107-supreme-cou...
Misconceptions on Top of Misconceptions
Imagine something like dht to pump database rows around. If you have an application you put the row at the top before passing it to the next node.

You type a search query then wait for the river of spam to float by.
I think so too, but we should also understand that authoritarians are not rational.

Before February 2022, I would have bet a big sum on Putin never authorizing a full-scale Ukraine invasion. There was just too much to lose and too little to gain theoretically…yet he did it anyways.
I was thinking 'honeypot', too. It makes me think of scantily-clad, female undercover cops, walking the streets, looking to arrest johns for solicitation. Walking the streets, looking and talking sexy isn't illegal. But soliciting someone for sex is. So, not a lawyer, but I'm guessing that talking about online crime and even putting "hacked accounts" up for sale isn't illegal, but knowingly trying to purchase is.
At least GrapheneOS devs are transparant about it, as it should:

https://grapheneos.org/faq#default-connections
Lethal Infection of Human ACE2-Transgenic Mice Caused by Pangolin Coronavirus [pdf]
Understanding which of your accounts is valuable, and which isn't, is a worthwhile task in itself.
That's true, sounds like it's come close before.
A single code base for both native & web?
Not having to write Javascript on the web?
I like Microsoft a lot these days, but Apple's policies have remained essentially unchanged for the past 13+ years, so I'm not sure where the new anger is supposed to be coming from. They cut their fees in half for smaller developers back in 2020, down to 15%. That's about as low as it gets for a full-service distribution channel. Even BMT Micro charges around 10%.

They're about to be forced to allow sideloading in the EU. These are all positive developments, willing or no.
Yep, my bedroom has windows to the south and east, which means here in New Zealand I should not expect any afternoon & evening sun that room. However, currently in summer when the sun is close to setting I get a few minutes of evening sun through the southern window, due to sun setting slightly southwest.
I don't think anyone seriously considers Russia as an emerging superpower. There's a difference between being an international player and being a superpower.
> There used to be coups all the time in Latin America.

huh, why were there coups?
> Let's be clear, you're talking about a strike.

You're certainly not talking about a strike. A strike is when employees refuse to work. What you're suggesting is that the app developers form a _cartel_, and perform a boycott.
>> There are plenty of articles from major news orgs

Opinion articles.
Then Epic might've won the battle but lost the war. I don't think this is the end.
Pick your adjectives as you wish. To trivialize the layoff of a hundred workers is to reinforce that “can’t afford” isn’t applicable.
Well, its like one can always tolerate shortcomings when they like something/someone. Reasons can always be added later for liking something but rarely other way around.
TIL. I like Altman even more now.
> Funny how advocates against property rights have no issue with corporations protecting their own

Are you just not aware that the most outspoken advocates against private property (and rights to it, including IP/copyright), also strongly oppose capitalism and the idea of corporations?
There was a language called Pizza that Odersky wrote while in Karlsruhe (before moving to EPFL Lausanne), and that became part of "standard" (not as in ISO, but as it SUN-approved) Java as "generics".

https://en.wikipedia.org/wiki/Pizza_(programming_language)
https://www.reddit.com/r/scala/comments/8c7h8f/history_the_p...
For purely academic purposes, sure. But I'd be wary of hooking up OpenAI to production systems, particularly in critical areas like national defense.
> Humanities are now just a dumping ground for morons when they used to be the smartest people on the campus.

It's hard. An old friend of mine was a music major. Masters in music from Harvard, majoring in early music. Read and wrote Latin and Greek. Read and wrote early music notations. Could play a wide range early instruments. Never got a job that used those skills. Died recently, forgotten, in a Maryland suburb, her most visible lifetime accomplishment a book on needlework.

Another, younger friend also got a music degree from an Ivy League school. But she went to work for an app toolkit startup which was acquired by Microsoft. She's done very well.
I have this book, my son loves it. Also nice for adults, since you'll re-read it 100 times.
By what measure is China an open economy? That flies in the face of their long history of currency manipulation and explicit protectionist policy.
The model weights ARE the preferred form for modification
In the spirit of hacking, can this be moved to orbit? What would make the economics work out? What would be the environmental effects?
How does modern physics address the argument?
> Both of whom also do (or should) defer to specialists. Consultants, lobbyists (not all of which is corrupted by money, though much of it is), hearings, depositions, etc.

So too does the judiciary, in addition to the same hearings and depositions you reference in other branches:

- https://en.wikipedia.org/wiki/Amicus_curiae

- https://en.wikipedia.org/wiki/Expert_witness
Both my 5 year old and my 2 year old have a copy of this, and both of them love it for different reasons.

But presumably this was actually posted because the sequel, Computer Engineering for Big Babies[0] will be available imminently?

[0]: https://computerengineeringforbabies.com/products/computer-e...
My father came from a town ten miles from the inter-German border, and people there were very, very happy that the Americans got there first.
"monotonically"
Thanks! Macroexpanded:

Earth beyond six of nine planetary boundaries - https://news.ycombinator.com/item?id=37500752 - Sept 2023 (175 comments)

Humans Have Exceeded Six of the Nine Boundaries Keeping Earth Habitable - https://news.ycombinator.com/item?id=37577609 - Sept 2023 (35 comments)
I understand that Sams Club isn’t your typical grocery store model, but its Scan-and-Go app is absolutely the most impressive “self checkout” system I have ever used, and I think other stores could, in selective markets, start adopting similar systems. Imagine being able to walk into a store, scan the items on your phone, pay in the app with a connected credit card, and walk out. I think one of the keys to the success of Sams Club’s system is that an associate must scan a QR code generated by the app, and then scans a few random items in your cart before letting you leave. It seems like this discourages shoplifting because every shopper is a known entity (by virtue of the app). It’s not a perfect system of course, for many reasons (you can’t use cash or be anonymous, for example), but it sure beats the hell out of any of the clunky and buggy self checkout systems I’ve ever attempted to use.
While any war, as Hemingway wrote "no matter how necessary or justified - is still a crime", without US, even the events in 2008 and 2013 would not take place simply because they would not had been necessary due to Ukraine staying in the Russia's sphere of influence. This is an unwinnable war for Ukraine. It is bad for Russia and certainly puts a dark spot on its history, but if there is at least one large and powerful country without dark spots in its history, please tell me which one it is. Human history is catalogue of crime.
What are they going to do, talk at us?
> organized, collective action

You can't say those words here without half of the country screeching about the evils of Communism. This country is horribly propagandized and programmed to resist anything to the left of uninhibited free market capitalism.

> led by leaders with specific, actionable demands

I'm surprised anyone would seriously suggest collective action in the US after watching the absolute popcorn fart that was Occupy Wall Street. The first thing anyone who attempted organizing anything was to compile an enormous list of grievances, and then failed to rank them or clearly and consistently articulate, as you said, "specific, actionable demands." I'm not sure most of the organizers even got around to attempting to do a second thing.
That's awesome! Thanks for taking the time to reply.

I am a young guy - just turned 30 last month - but I exclusively shoot and develop film and have my own mini darkroom. I enjoy the challenge and physicality of it all, plus I already spend enough time around computers and digital tech as a software engineer so it's nice to have some analog pursuits. An IMSAI is a bit before my time, but I have a soft spot for older CPUs like the similar z80 or 6502 from writing emulators.

For 35mm I mostly shoot on Canon FD, so while I recognize some of those classic design names I haven't shot on them. I haven't been able to shoot on the behemoth PO lenses as much as I'd like since they weigh nearly 60 pounds a piece and are a hassle to use, but I've jerry rigged a Graflex Crown Graphic to the back and can do a manual shutter with some ND filter and a quick on/off of the lens cap. They cover 4x5 or more at the distances I use them and are incredible lenses for portraiture.

My next projects are to mount both PO lenses together and put Graflex Speed Graphic 4x5 cameras behind each in order to make a massive binocular camera. I also have a Goerz 47" process lens that's got an image circle of nearly a meter, so my next shoot with that will be a 1:1 self portrait on xray film, since it's the only semi affordable option for such a massive exposure.
It’s just inevitable. Decades from the events now, I’m really glad the US got the bomb before Hitler.
EL wire that the poster is talking about and the threads aren't the same "product" but work on the same principle.

If you read the article these lights are powered by 120V and 2HZ... Im not so sure you're gonna want to sit on them.
"I Bung it" is great. What about "Bing'd it"?
1) The timing of when the term and the push for more "STEM" education got a huge boost and became far more prominent (again—you're right that there was another freak-out over science and math education during the space race, fizzling out a bit when it became tied to the disastrous "New Math" approach). Having some insight into the education side of things, the sudden renewed vigor in that movement always struck me as suspicious.

2) The actual outcomes for STEM grads, as covered in this article. Looks like only one of the letters reaped large benefits from the push more more grads in those areas. Surely anyone could have looked at science, engineering, and (non-actually-CS) math and noticed that wages weren't acting like there was a major shortage, back in, say, the '00s and early '10s? But they were in programming. So now we've told a generation of kids there's a bright future in STEM (all four letters!) but it was kiiiinda a lie, and it kiiiinda wasn't hard to see it was a lie back when these kids were in grade school.
This is the truth.

Want to look like a pro in email? Plain text, bottom posted, trimmed.

Replying wherever the email app happens to leave the cursor is like driving down the road wherever your car happened to be pointing. It's antisocial, stupid, and makes the experience much worse for everyone. Learn to drive. Learn to email.
I agree -- it does seem like intentional misdirection.
Types interop on a VM that wasn't designed for a more complex one like Scala has.

Collections interop between Java<->Scala. Scala's (immutable/mutable) collections are not built on the Java ones, and they provide helpers to translate between the two.

Calling conventions, name mangling, Java to Scala issues, etc.
Sportsbooks use 'obvious errors' to avoid making payouts
Price just got jacked, again.
Good thinkers are fun to listen to and read?
Yeap. I'm missing the datasets as well. They have generated 100M synthetic examples ... Were these examples generated with AlphaGeometry? Where is the filtering code and initial input to generate these synthetics?

Im I'm wrong that they are using t5 model? At least they are using the sentencepiece t5 vocabulary.

How many GPU hours have they spend training this model? Which training parameters were used?

Don't get me wrong, I find this system fascinating it is what applied engineering should look like. But I'd like to know more about the training details and the initial data they have used as well as the methods of synthetic data generation.
Also gives results at all. Reddit search doesn't even do comments.
Anything that threatens|disobeys|sins towards [insert god here]
The world is full of dirt, and it's not healthy to drink it. But we can, should, and do filter it out of our drinks.
My main concern is that if all you have are weights you're stuck hoping for the benevolence of whatever organization is actually able to train the model with their secret dataset.

When they get bought by Oracle and progress slows to a crawl because it's not profitable enough to interest them, you can't exactly do a LibreOffice. Or they can turn around and say "license change, future versions may not be used for <market that controlling company would like to dominate>" and now you're stuck with whatever old version of the model while they steamroll your project with newer updates.

Open weights are worth nothing in terms of long term security of development, they're a toy that you can play with but you have no assurances of anything for the future.
You can deactivate online search...
A "control-F" gets to:

> ...humanity has exceeded a planetary boundary related to environmental pollutants and other “novel entities” including plastics.

And then not much else. I suspect this encapsulates microplastics, pfas, pesticides, ect?
Related:

Computer Engineering for Babies - https://news.ycombinator.com/item?id=32507243 - Aug 2022 (1 comment)

Computer Engineering for Babies Book - https://news.ycombinator.com/item?id=28660967 - Sept 2021 (18 comments)

Computer Engineering for Babies Book - https://news.ycombinator.com/item?id=28391626 - Sept 2021 (5 comments)
Paper: https://www.nature.com/articles/s41586-023-06747-5

Section title: Geometry theorem prover baselines

Second paragraph under that. 3rd sentence from the end of the para.
The vast majority of biology majors do not end up becoming doctors. If you include all of healthcare then you're getting closer, but still not a majority.
EuroPython is going to Prague this year 8-14th July
I am certainly no Trump apologist, but threatening to leave NATO was a classic "art of the deal" tactic to get some NATO countries to pay their fair/agreed upon share.

If Trump really is Putin-friendly, then Putin made a massive mistake by delaying his major military actions in Ukraine until Biden was in office.

I have no real proof of this but I suspect if Putin did delay his actions until Trump was out of office, it was because Trump was such a wild card that Putin might think that he could try to nuke the Kremlin if he didn't like what was going on in ukraine.
Yes, your opinion here is absurdly reductive. Open your eyes, my dude. Get out there and live a little; It shouldn't hard to see that the situation is more complex than "We're lazy sinners."

Here's just one perspective on the complicated situation we find ourselves in: https://www.youtube.com/watch?v=OW8vkUY93i8. There are many perspectives on this _historic global issue_ if you are open to them.
FAQ on Leaving Google
I doubt it's about facts but rather values.

Take guns. For Americans guns are a legally enshrined right whereas in Britain guns have been rejected by society to the extent that even most police officers are not allowed to carry a gun.

I would not want a LLM telling me that guns are useful for self defence because from my cultural perspective they are not and owning a gun for self defence is actually a serious crime.

Likewise I would not expect that perspective to work for many Americans. If you live in the middle of nowhere and there's no police for miles around, then owning a gun for self defence seems like an important right to have. It's just not a right that is applicable to my cultural circumstances.

That's a deliberately mild example, there are of course more serious cultural incompatibilities that are almost impossible to discuss online in the abstract without setting off a debate on the thing itself.
Red Hat Developer Hub: An Enterprise-Ready IDP
> Imagine what a decrease in purchases a product gets if its price is increased by 43%. This ruins all economic assumptions of a business.

That's exactly why the apps succeeding financially on the play store and app store are casino-like games.
Honestly, Obsidian with iCloud is so bad, that I'm afraid to pay for Obsidian Sync because half the time the errors and freezing of the Obsidian app seem like they have nothing at all to do with iCloud. It's really hard to tell, because Obsidian doesn't surface any errors, it just randomly freezes and has trouble opening files that should be there.
other commenters have mentioned ipfs, dropbox, syncthing, etc. but this most closely resembles http://upspin.io/ with the caveat that willow is p2p and upspin uses a centralized key server

https://www.youtube.com/watch?v=ENLWEfi0Tkg
Is the performance a critical design flaw or just an implementation issue?
It’a still viewed as a peak intellectual game. And the magic is still there, just watch or listen to the fans of Magnus Carlsen when they’re viewing, discussing or analyzing his games.
Did Carmack really use Emacs? Hadn’t read that anywhere else.
Are there companies contributing to the Rust compiler?
This book taught me that a flip-flop is sometimes called a latch ;). Not just for babies apparently
The text is still there.

Paper: https://www.nature.com/articles/s41586-023-06747-5

Section title: Geometry theorem prover baselines

Second paragraph under that. 3rd sentence from the end of the para.
Maybe it's referring to "code smell"?
seems like a good time to remind people that using sci-hub might be unlawful and/or blocked in your country
Well, what's different is that humans invent new abstractions along the way such as complex numbers and Fourier transforms.
> Like any engineer, I know more than a few instant-millionaires.

Cries in Europe :(
I wonder if we'll have something akin to AVs for these models in the future. I can imagine it looking for malicious patterns in the weights, like analyzing if the model's concept of a "secret command" has any special connections/activations, etc.

As a thought experiment: you can imagine that if we had a technology to read all the neurons in the human brain in real time, we could probably build a lie detector that works pretty well by looking for patterns that are commonly observed when people are lying.
No it’s not. You have everything you need to modify the models to your own liking. You can explore how it works.

This analogy is bad. Models are unlike code bases in this way.
This may be useful if you're purposely setting up to participate somewhere with anachronistic rules, as it gives a nice list of clients and configuration settings to get things working.

But for general email communication the ship sailed many years ago and most people expect the ability to embed photos, tables, lists, and text formatting directly into messages so we can better communicate our intent using modern tools, without writing 'source code' to do it, even that as simple as Markdown (which is based on plain text email conventions). I wouldn't expect anything here to gain traction outside of niche communities, and the "why plain text is better" section is unconvincing.
> Their goals include reducing perceived shortages of STEM workers, boosting American innovation and competitiveness and diversifying this highly paid workforce. The message of lucrative STEM careers appears to have reached students and tuition-paying parents — the number of STEM majors has surged in recent years.

> But there is a problem with these massive investments: Most STEM graduates don’t work in STEM occupations. The Census Bureau reported in 2021 that a paltry 28% of STEM grads are working in these supposedly in-demand, highly paid and important STEM jobs.

Isn't that at least partly to be expected? When you have a shortage of workers in a field where it takes a fair bit of talent and years of training to do the job well and we don't have any good way to identify up front which people will be good at it the you are going to have to put more people through training that you actually need in order to get the number you need.

If we decided for example that the US does not produce enough chess grandmasters probably the most effective way to increase grandmaster production would be to make chess a competitive school sport starting in elementary school and continuing through college, much like we do with football, with funding for coaches, scholarships, and all that. 99.99% of the kids who go through that would not become grandmasters, but it would greatly increase the chances that kids with the talent to become grandmasters get discovered and get the resources they need to do so.

Maybe having 72% of STEM graduates (just using the article's numbers, but note that other comments have disputed those numbers) end up not going into STEM is just a reflection of how many you have to train to find the 28% that are suited for the available STEM jobs?
@kelvinzhang

Quite frankly, htmldocs is the exact project i'm looking for months.
I'm tired of word and same alternative and wanted something i can write html and css3 to convert to PDF.

You do and in a beautiful way !

Some question : i just want to use your product be also need to be sure my doc will by avaivable in futur. what's your plan ?

- opensource ?
- community/enterprise ?
- close source but a docker version to go on premise ?

Thanks for you answer and by the work very good works !
M1 Macs don’t have UEFI, just a very limited system that can boot macOS from the SSD. The boot menu is macOS. The initial firmware has no drivers beyond the SSD. That’s why there is such a long delay between power on and the screen displaying the logo. And why there are no keyboard shortcuts. And why it doesn’t support external boot discs.

https://news.ycombinator.com/item?id=26114417

https://support.apple.com/guide/security/boot-process-secac7...
Typically when a 6.7B model or similar beats a 33B model it's not really true in my experience. At the least I have very a high burden of proof before believing it.
I read it. I don’t see how it can be real. I think he’s using the controversy for media attention. If it was real he would have been arrested.
I robot with will Smith?
It is better for YouTube to be self-sufficient, though. It shouldn't rely on handouts from a different business, as that makes it more vulnerable.
Serious question: why do I want to "look like a pro in email"?