MurphyA/hacker-news huggingface dataset:
by mmooss | 2025-05-28 22:14:03+00:00
Hi - I love that someone cares as much as I do! :)

> You’ve emphasized “independent”, so what does “independent” mean to you, exactly? ... The two clauses in question are grammatically independent and conceptually related.

I think this may clarify a lot: 'Independent clause' has a specific, technical meaning in grammar, not much subject to interpretation. Essentially, it's a clause that could stand alone as a sentence. That meaning applies only to grammar.

Regarding semantics or meaning, rarely are two consecutive phrases, clauses, sentences, paragraphs, chapters, etc. conceptually unrelated - unless written by an LLM; that's why they are written consecutively in the same text.

> nothing in that very long comment demonstrates the semicolon in the original sentence is not correct.

Yes. I think we've drifted a bit apart on what the topic is here. I wasn't talking about the OP title anymore, but responding to:

"The sentence would be correct with a comma, therefore it’s correct with a semicolon"

My point was that they are hardly ever interchangeable; one does not imply the other. And then we began talking about M-W's article. Sorry if I wasn't clear about what I was addressing.

Regarding your points about the title: Overall, I generally agree that the actual title is a valid sentence (if we append a period).

Semicolons bring the drama; that's why I love them.

> It could have been “Semicolons bring the drama and that’s why I love them”. You could put a comma before ‘and’, you could replace ‘and’ with ‘therefore’ and use 6.57.

We'd have to swap the comma back to a semicolon, because 6.57 says the second clause beginning with 'therefore', "should be preceded by a semicolon rather than a comma". (I suspect that's what you meant? I'm a bit lost on this one.)

To be complete, beginning a sentence with that's feels awkward except as a sort of collquial shorthand. I can't think of what's actually wrong though; <pronoun> is ... should be valid. Still, one can follow grammars rules and be awkward.
by chermi | 2025-05-28 22:14:21+00:00
"...a note should capture just one thing, and if possible, all of that thing.". This just doesn't seem feasible to me for an scientific workflow. I realize his scope is math, where I can picture it being a little easier, but still nearly impossible. How often can you break down a note into something self-contained? I'm probably just taking it too literally.

Maybe this says more about my relatively disorganized thinking patterns. For me, notes are typically thoughts about the current thing I'm processing and it's relation to something else, often in an imprecise way, to be explored further. Maybe the point is that wouldn't qualify yet as a note, and only when you refine the thought into something more concrete with direct reference to precisely the relevant notes on the related thing(s). But where do I start?! How do I make the first atomic note? It seems I wouldn't be able to reference a book. Maybe I could reference a section of a book, hoping it's self-contained. But even then, is have to resolve the references needed for that section into atomic notes themselves. When do you ever have time to actually think?

I hope enjoyed this unedited stream of consciousness that I should probably just delete.
by numpad0 | 2025-05-28 22:15:25+00:00
It's more of a URL shortener. Users are assigned 7-digit alphanumeric code that macroexpands into full address on participating websites as well as on some paper application processes. There are few safety checks to prevent abuses, and linked address can be changed later when you move.

Many online address forms in Japan uses equivalent of ZIP code to do similar already, but the expanded address are as granular as ZIP codes - I always fill in the rest of the address, but if I think about it, the fractions of users who do religiously verify and clarify the addresses must be less than 100%. I suppose this code will initially solve that problem with minimal infra changes for both users and the PO.
by thyristan | 2025-05-28 22:15:28+00:00
Started but stopped. most of the things are commands, code snippets, urls, all of which are tedious to hand-write and just easier to copy&paste. Often I do 'typescript' for shell sessions, asciinema or stuff like that, and file those.

Also, use git, commit everything, never care about doing tidy commits, just commit commit commit and use tons of branches to try out stuff. if you need clean history later on, you can always do interactive rebase, squash merge or whatever. but having a documentation of all the things tried and failed is far more important.
by TeMPOraL | 2025-05-28 22:15:45+00:00
None of those players you mention actually need to create a buzz. People will do it for them for free. DeepSeek joined this group after releasing R1.

Despite constant protestations of hype among the tech crowd, GenAI really is big enough of a deal that new developments don't need to be pushed onto market; people are voluntarily seeking them out.
by robocat | 2025-05-28 22:15:58+00:00
I just read a rather cynical article using SF party scene as the article seed. The article could help you decide if you'd find moving helpful, because it talks about the vibe of the people in SF, but it is only one take so perhaps don't overweight the opinions given.

https://theahura.substack.com/p/notes-from-the-sf-party-scen...

Edit: I think it would be an expensive distraction for your time. Good founders focus on building their business, and avoid time wasting activities.
by chipsrafferty | 2025-05-28 22:16:10+00:00
What? Evolution is specifically known for getting caught in local maximums. Species have little evolutionary pressure to get better when they are doing great, like a species with no predators on an island. The only thingsdriving evolution for that creature is natural selection towards living longer and getting less diseases, dying in less accidents, stuff like that. And those aren't specific enough and don't pressure on a time basis so there isn't much pressure to improve beyond the natural lifespan. Plus, for some cases, living longer is not really the goal, it's reproducing more. It's entirely possible, likely even, that maximizing for longevity eventually starts to give a negative effect towards reproduction, and vice versa, so an equilibrium is reached.

Also technologies don't develop like evolution really so not sure why you drew that comparison.

Technologies plateau for a combination of reasons - too expensive to make it better, no interest in making it better, can't figure out any more science (key people involved leave / die / lose interest, or it's just too difficult with our current knowledge), theoretical limits (like we are reaching in silicon chips). I don't see a lot of similarity with evolution there.
by constantcrying | 2025-05-28 22:18:29+00:00
>I'm curious if you could make an analogy to the idea of "underspecified" in FreeCAD.

That is just solution theory of a non-linear system of equations. The solution space can have exactly one solution (fully constrained), more than one (under constrained) or zero (over constrained).

To be honest I do not really see a connection.
by jazzyjackson | 2025-05-28 22:18:52+00:00
I wasn't a telegram user for long so this may have changed but isn't the secret chat limited to device to device? So messages sent from my phone can't be decrypted by the same user account on my laptop?

I just remember thinking, well this is dumb, and going back to Signal (Signal annoys me in other ways, requiring a single phone to be the "master" and other devices to be merely linked. I miss keybase, they had a great system including paper backups)
by JumpCrisscross | 2025-05-28 22:18:58+00:00
> not deluding myself like so many these days that Tesla is dead

Nobody said it's dead. Just that the car part of the company, the stable part, is somewhere between being abused and neglected by Musk. While the self-driving part has no competitive advantage and the robotics part seems to have legitimate synergies with xAI.
by asdff | 2025-05-28 22:19:33+00:00
That is a little bit of an appeal to precedent I think. Networked computers don't spit their raw output at eachother today because so far, all network protocols were written by humans using these abstracted languages. In the future we have to expect otherwise as we drop the human out of the pipeline and seek the efficiencies that come from that. One might ask why the cells in your body don't signal via python code and instead use signalling mechanisms like concentrations of sodium ion within the neuron to turn your english language idea of "move arm" into an actual movement of the arm.
by EasyMark | 2025-05-28 22:21:28+00:00
The only way I worry about a coworker is if it directly impacts me. I'm not a tattle tale, it's up to the company to have in place a system of determining the quality of someone's work. I will not take blame for a person and I'll call it out as a member of the team if I get blamed for something the less skilled person did. That should be enough to limit bad people, the onus is on the company and management.
by gsf_emergency | 2025-05-28 22:21:36+00:00
Graphene based frequency doubling has been a thing, though. (Terahertz). VUV 2HG ditto, but as you said nonlinear crystals, and the intensity is not as great as claimed?

https://ieeexplore.ieee.org/document/6259401 https://pubs.aip.org/aip/rsi/article-abstract/84/6/063104/35...

Lots of intertwining uh avenues of research!

(Without full fledged devices, it's easy to lapse into pareidolia on spectras & motivations :( )
by Spivak | 2025-05-28 22:22:09+00:00
> It's easy to inadvertently break one's system

rpm/yum/dnf actually have a system for this called protected packages which can't be uninstalled without some ceremony on the part of the caller. Distros use this feature quite sparingly and reserve it for cases where you will truly break your system. Sometimes you want to uninstall your DE.
by madaxe_again | 2025-05-28 22:22:50+00:00
It couldn’t be more of a contrast to the Royal Navy - my grandfather served from the mid 50s until the late 70s, and not only did they still have rum rations until 1970, but they dished out Valium like candy. The way he tells it most of the crew were high or drunk most of the time, and would end up laughing in situations that would otherwise result in brown trousers.
by n2d4 | 2025-05-28 22:23:10+00:00
This is pretty well-accepted as far as I'm aware — but I don't think anyone has sufficiently shown that the sugar in ice cream is less risky than sugar in, say, fruits or yogurt (which often has 5-10x less!)

AFAIK, the leading theory is also that this is because fruits have other ingredients that help process the sugar — whereas ultra-processed food like ice cream doesn't, especially if there are added sugars.

You can't just freeze a soda, eat it, and then expect it to be healthy.
by asdff | 2025-05-28 22:23:13+00:00
It allows these concepts to be expressed legibly for a human. Why would an ai model (not llm necessarily) need to write say "printf"? It does not need to understand that this is a print statement with certain expectation for what a print statement ought to behave as in the scope of the shell. It already has all the information by virtue of running the environment. printf might as well be expressed as some n-bit integer for the machine and dispense with all the window dressing we apply when writing functions by humans for humans.
by MrManatee | 2025-05-28 22:23:26+00:00
I think there exists a separate skill for classifying problems by difficulty, apart from being able to solve them. This skill can be developed from both directions by learning which problems have been solved and which haven't been.

If someone asked me to find solutions to these example equations, there are three complications that I would immediately notice:

1. We are looking for solutions over integers. 2. There are three variables. 3. The degree of the equation is 3.

Having all three is a deadly combination. If we were looking for solutions over reals or complex numbers? Solvable. Less than three variables? Solvable. Degree less than 3? Solvable. With all three complications, it's still not necessarily hard, but now it might be. We might even be looking at an unsolved problem.

I haven't studied enough number theory to actually solve either of these problems, but I have studied enough to know where to look. And because I know where to look, it only takes me a few seconds to recognize the "this might be very difficult" vibe that both of these have. Maybe LLMs can learn to pick up on similar cues to classify problems as difficult or not so difficult without having needing to solve them. (Or, maybe they have already learned?)
by Sohcahtoa82 | 2025-05-28 22:23:33+00:00
That's pretty neat.

The metaphor I usually go for when it comes to for threads is having several widgets that need to be assembled. To begin working on Widget B, you have to pause the work on Widget A. Adding SMP is like adding a second person to help assemble widgets, but you're still using the same toolbox, so if you both need the same screwdriver, there's no performance benefit to having a second person. Multicore is having multiple workbenches each with their own toolbox so they can operate completely in parallel.

A mutex is like having a specialized tool that can only be used by one widget assembly at a time. Like, each workbench might have a full set of screwdrivers, hammers, wrenches, sockets, etc., but you only have 1 welder.

A semaphore is a tool that can be used by a limited number of widgets, like an oven that can fit up to 4 widgets.
by omneity | 2025-05-28 22:23:33+00:00
Worth mentioning that a single H100 (80-96GB) is not enough to run R1. You're looking at 6-8 GPUs on the lower end, and factor in the setup and download time.

An alternative is to use serverless GPU or LLM providers which abstract some of this for you, albeit at a higher cost and slow starts when you first use your model for some time.
by codegeek | 2025-05-28 22:23:38+00:00
"An individual human being who wants to log in can be represented by multiple Users in Tesseral, each of which belongs to exactly one Organization."

This will be extremely confusing. You should simplify it and just keep the concept of User as we usually do. A user should have access to 1 or more organizations. That's it. You should rethink this otherwise it will be too confusing.
by slt2021 | 2025-05-28 22:23:39+00:00
this is actually pretty bad deal for russia. with xAI.

US based company will get access to the messaging of all russians/ukrainians/Iranians (with soldiers being very well represented), with the ability to run NLP and identify information of great importance to the NSA/DoD/CIA.

Imagine if AT&T routed all Americans' SMS/text messages to the Russian version of xAI, would you call this a bad deal for Russia or USA ????
by TeMPOraL | 2025-05-28 22:27:58+00:00
Plans take time to adjust; I imagine a big part of the impact was companies realizing that they need to buy/rent much less expensive GPU compute to realize the plans they've already committed to for the next couple years. Being able to spend less to get the same results is an immediate win; expanding the plan to make use of suddenly available surplus money/compute takes some time.

And then part of the impact was just "woah, if some noname team from China can casually leapfrog major western players on a tiny budget and kill one of their moats in the same move, what other surprises like this are possible?". The event definitely invalidated a lot of assumptions investors had about what is or isn't possible near-term; the stock market reacted to suddenly increased uncertainty.
by nyarlathotep_ | 2025-05-28 22:29:21+00:00
> "The right won't shut up about deporting "illegals" but has created even more opportunities for H1B's to flood in and no disincentive for corporates to outsource. Canada already has laws that act as "tariffs" for offshoring labor - we desperately need awareness first and unified action.

What is happening now to knowledge work in the U.S. is what happened to factory jobs in the 90s"

100%--this admin is a fraudulent disaster on so many levels.
by rtpg | 2025-05-28 22:31:25+00:00
there's already an address alias system that things like Mercari (think Japanese eBay) has.

You buy something from somebody, they get a QR code and use that to get a delivery label. Delivery label doesn't have your address on it, only the delivery company knows where it's going.

Obviously it doesn't prevent something like "there's an airtag in the box" but it does prevent you having to tell the person selling you a used copy of Resident Evil 5 where you live.
by jacob019 | 2025-05-28 22:31:27+00:00
Well that didn't take long, available from 7 providers through openrouter.

https://openrouter.ai/deepseek/deepseek-r1-0528/providers

May 28th update to the original DeepSeek R1 Performance on par with OpenAI o1, but open-sourced and with fully open reasoning tokens. It's 671B parameters in size, with 37B active in an inference pass.

Fully open-source model.
by A_D_E_P_T | 2025-05-28 22:33:35+00:00
Thanks to this link I just bought a lot of books.

I'd note: Greg Egan is pretty well (if not completely) represented, but how is Permutation City not on the list?!

Also: Neverness by David Zindell is extremely good. Almost certainly the best SF work of its decade. Very underrated.
by AStonesThrow | 2025-05-28 22:33:37+00:00
The USPS is currently delivering some mailpieces electronically.

When I sign in to Informed Delivery, every month or so the USPS sends a postcard advertising their podcast (“Mailin’ It!”)

https://usps-mailin-it.simplecast.com/

This is a virtual postcard, so while I can read it in my email or on usps.com, I won’t necessarily find a paper copy delivered.

It is my understanding that commercial mailings can also use this mechanism. I receive some marketing as original JPEG quality, rather than being scanned in grayscale.
by awesomeMilou | 2025-05-28 22:35:52+00:00
> What's the innovation here? > Having a distribution to pick from?

As I understand it, it's exactly this. Specifically, representing neurons in a neural network via a probability distribution of logic gates and then collapsing the distribution into the optimal logic gate for a given neuron via hyper-parameter tuning in the form of gradient descent. The author has a few more details in their thesis:

https://arxiv.org/abs/2209.00616

Specifically it's the training approach that's patented. I'm glad to see that people are trying to improve on his method, so the patent will likely become irrelevant in the future as better methods emerge.

The author also published an approach on applying their idea onto convolutional kernels in CNN's:

https://arxiv.org/abs/2411.04732

In the paper they promise to update their difflogic library with the resulting code, but apparently they seem to have conveniently forgotten to do this.

I also think their patent is too broad, but I guess it speaks for the entire ML community that we haven't seen more patents in this area. I could also imagine that, given that the approach promises some very impressive performance improvements, they're somewhat afraid that this will be used for embedded military applications.
by TeMPOraL | 2025-05-28 22:35:52+00:00
> It's like how if you choose to eat your seed corn, you'll be fat and happy for a season, then you and your family will certainly starve to death next year. You'd most likely had lived if you hadn't made that short-term decision.

Part of that is probably embedded in the environment. The market favors risk-taking. Everyone is dipping into their seed corn, hoping they can use the extra energy they have now to secure some new corn and cover for the surplus. Sometimes they can't, and they starve. More importantly though, anyone who didn't dip into their seed corn is no longer there - risking a bit gives you a competitive advantage over those who risk less.

This dynamics plays at multiple levels in large companies, and arguably is deeply embedded in the overall business culture.

It's not totally irrational either - "eating your seed corn" sounds stupid in isolation, but the calculus changes when every village around you is at war with you and everyone else, all while the whole region gets hammered by natural disasters. Saving the seed corn to survive the next year may end up killing you next week.
by THroaway225 | 2025-05-28 22:38:16+00:00
I just travelled to a province to pay for some private healthcare i cant get at home. Its a simple procedure, but a specific one. I sent the treatment plan to the customer service liason I was dealing with and triple checked that the doctor i was seeing was familiar with it.

Then I get there and the doctor's never looked at the document I sent. No one even told him about it.

The customer service liason is "very sorry for the miscommunication and will be looking internally to see how this occurred!"
by akoboldfrying | 2025-05-28 22:38:25+00:00
There are timestamping services out there, some of which may be free. It should (I think) be possible to basically submit the target site's URL to the timestamping service, and get back a certificate saying "I, Timestamps-R-US, assert that the contents of https://targetsite.com/foo/bar downloaded at 12:34pm on 29/5/2025 hashes to abc12345 with SHA-1", signed with their private key and verifiable (by anyone) with their public key. Then you download the same URL, and check that the hashes match.

IIUC the timestamping service needs to independently download the contents itself in order to hash it, so if you need to be logged in to see the content there might be complications, and if there's a lot of content they'll probably want to charge you.
by Mikhail_Edoshin | 2025-05-28 22:38:27+00:00
B. F. Skinner dreamed that people can be scientifically (behaviourally) trained to live together and described his vision in "Walden Two". It is interesting that the book spawned quite a few attempts to do that and some have survived longer than usual. I think one such community still functions someplace in Mexica, but do not know how close it remains to Skinner's ideas.

Monks live together in harsh conditions just fine. This is a specific community, of course. Yet this is also the answer: you need something bigger than yourself to submit your wishes to.
by thicktarget | 2025-05-28 22:38:41+00:00
One can do simple simulations on a laptop which show the cosmic web. It's not really an excuse for not having tried. There are lots of claims in the article which need to be justified, and in science that comes before making big claims.

https://alvinng4.github.io/grav_sim/examples/cosmic_structur...

These simulations take their simple initial conditions from the Cosmic Microwave Background fluctuations, but models without dark matter fail to match the observed CMB. There are no major baryon-only simulations because cosmology doesn't work without DM, and you have nothing to start from. You need a quantitative model which works on some level to even begin, people have tried with modified gravity models.
by taeric | 2025-05-28 22:39:28+00:00
That assumption isn't true of any sources? Things flat out change. Some literally, others more in meaning. Some because they are corrected, but there are other reasons.

Not that I don't think there is some benefit in what you are attempting, of course. A similar thing I still wish I could do is to "archive" someone's phone number from my contact list. Be it a number that used to be ours, or family/friends that have passed.
by hitekker | 2025-05-28 22:40:15+00:00
> rav1d proclaims that Rust is (almost) as fast as C when all the performance engineering efforts went in the ASM bits, that were copied verbatim from dav1d.

This is key. Not to mention how advocates for ra1vd are gaming their benchmarks and obscuring how unsafe the actual code is. The bounty presenting it as "safe" on memorysafety.org is a laugh.

IMO, that dishonesty deserves some snark from VLC and ffmpeg.