skysight-inc/HackerNews huggingface dataset:
It would be hard to reach out and not have it come across as you thinking they stole the idea and/or you are bitter about not being hired. If you think you can do that in a “hey hit me up as a consultant or if you have any more open roles” type of way then maybe a casual message to the CTO.

Did they actually hire someone for that role? Is it possible their growth strategy isn’t based on the idea but is something else? Do they have competitors that might also be interested in this vague idea? edit: I assume you didn’t sign an NDA for an interview.
I would love to know why this is so satisfying to watch.. I can't imagine to play but wow.
These keys could have related signatures from other keys, that some users or maintainers may have reason to trust.

(But for 30% of keys this was not even theoretically possible, while for another 40% of keys it was not practically possible, according to the article.)
Even if the tech ends up 500x slower in real life, that might be enough to start displacing fiber. It’s really difficult to setup a home network capable of actually reaching 1Gbps without resorting to ethernet cabling. With this you won’t even need a router.
You've also got to consider that the higher the bandwidth a stream is, the harder it is to deliver it with a low latency.

If every packet has a risk of being dropped or of arriving out of order then increasing either the size or the sheer quantity of those packets will also increase how often they get mishandled or buffered.

Plus you run into compatibility problems between different kinds of devices such as mobile users trying to connect over spotty 3G connections.
Quote:

Andrew Parsons, who worked as an external solicitor for the Post Office, in an email in July 2013 also warned it would “look bad” if it “ever became public knowledge” that the company had notified its insurer Chartis, part of AIG. To reduce that risk, he recommended verbally notifying the insurer, “so as to not leave a paper trail”.
IMHO the Improbable 'debacle' was solely due to the Improbable CEO coming up with new use cases outside the scope and spirit of the Unity license. I'm no fan of Improbable (and history has proven my opinion accurate) and they were clearly abusing Unity's license which wasn't intended to be free for companies allegedly valued in the billions of dollars. Unity gave them more than a year and they refused to pay for a license.

Has Improbable completely abandoned the game market now? Their website reads like a crypto venture fund and their CTO and CCO left last year.
It would be actually useful to mandate AI-generated images to include identifying metadata.
In case people are not aware, a good 1974 microwave weighed about 75 lbs.

Custom kitchen delivery could be kind of a weightlifting experience.

Don't ask me how I know . . .
I'm excited for cable broadband to be fundamentally disrupted.

I was hopeful 5G would accomplish this. It has not. 5Ghaf gaudy numbers and hasn't produced meaningful real world advantages over 4g. Likewise 5g did not make for cheaper cell service.

5g did kill off lots of old 3g reliant services like car consoles.

And it sold a generation of unnecessary phone upgrades.

I'm sure the number one feature of 6G from the cell phone company point of view is lower cost for them a round of upgrades, and zero enhanced experience for the customer. Of course there's what only like two or three major carriers now. Hello cartel economics
Reddit is much worse today than before the exodus, it is recovering and maybe it will eventually fully recover. The issue with the Reddit exodus is that people fled to various different platforms and not just one. Plus some people likely just stopped using social media. This shattering to various different platforms stopped the momentum from totally killing Reddit. And maybe the same will also project WordPress.

I am still at Reddit but many subreddits are just not the same.
I'd recommend inviting a local immigration attorney to speak to the group and/or be available to answer questions because there's no one great resource.
While gpt-4o denieds to show copyright material using this (like calling the file `harry-potter-first-chapter.md`), gpt-3 (or the one available for free at ChatGPT) does display the book content (they say they dont have access to the file but could return the chapter as markdown).

I just tried with different books and it worked.
You're thinking one step past the failure state here: the problem isn't that keyservers don't provide identity verification, but that the PGP key distribution ecosystem isn't effectively delivering keys anymore.

There are probably multiple reasons for this, but the two biggest ones are likely (1) that nobody knows how to upload keys to keyservers anymore, and (2) that keyservers don't gossip/share keys anymore, following the SKS network's implosion[1].

Or put another way: a necessary precondition of signature verification is key retrieval, whether or not trust in a given key identity (or claimant human identity) is established. One of PGP's historic strengths was that kind of key retrieval, and the data strongly suggests that that's no longer the case.

[1]: https://gist.github.com/rjhansen/67ab921ffb4084c865b3618d695...
or Google Cloud
I made a pipeline using Z3 (another prover language) to get LLMs to solve very specific puzzle problems: https://youtu.be/UjSf0rA1blc (and a presentation: https://youtu.be/TUAmfi8Ws1g)

Some thoughts:

1. Getting an LLM to model a problem accurately is a significant prompting exercise. Bridging casual logical statements and formal logic is difficult. E.g., "or" statements in English usually mean "xor" in logic.

2. Domains usually have their own language expectations. I was doing Zebra puzzles (https://en.wikipedia.org/wiki/Zebra_Puzzle) and they have a very specific pattern and language. I don't think it's fair to really call it intuitive or even entirely unambiguous, it's something you have to learn. The LLM has to learn it too. They have seen this kind of puzzle (and I think most can reproduce the original Zebra puzzle from memory), but they lack a really firm familiarity.

3. Arguably some of the familiarity is about contextualizing the problem, which is itself a prompting task. People don't naturally solve Zebra puzzles that we find organically, it's something we encounter in specific contexts (like a puzzle book) which is not so dissimilar from prompting.

4. Incidentally Claude Sonnet 3.5 has a substantial lead. And GPT o1 is not much better than GPT 4o. In some sense I think o1 is a kind of self-prompting, an attempt to create its own context; so if you already have a well-worded prompt with instructions then o1 isn't that good at improving performance over 4o.

5. A lot of the prompting is really intended to slow down the LLM, to keep it from jumping to conclusions or solving a task too quickly (and incorrectly). Which again is a case of the prompt doing what o1 tries to do generally.

6. I'm not sure what tasks call for this kind of logical reasoning. Not that I don't think they exist, I just don't know how to recognize them. Planning tasks? Highly formalized and artificially constructed problems don't seem all that interesting... and the whole point of adding an LLM to the process is to formalize the informal.

7. Perhaps it's hard to see because real-world problems seldom have conveniently exact solutions. But that's not a blocker... Prolog (and Z3) can take constraints as a form of elimination, providing lists of possible answers, and maybe just reducing the search space is enough to move forward on some kinds of problems.

8. For instance when I give my pipeline really hard Zebra problems it usually doesn't succeed; one bug in one rule will kill the whole thing. Also I think the LLMs have a hard time keeping track of large problems; a context size problem, even though the problems don't approach their formal context limits. But I can imagine building the pipeline so it also tries to mark low-confidence rules. Given that I can imagine removing those rules, sampling the resulting (non-unique, sometimes incorrect) answers and using that to revisit and perhaps correct some of those rules.

Really I'd be most interested to hear thoughts on where this logic programming might actually be applied... artificial puzzles are an interesting exercise, but I can't really motivate myself to go too deep.
It might also be related to irs audits. even business meals are only 50% tax deductible. Personal items just aren’t. They are income and irs would want its share.
When or how did you decide to take something vs what was happening before?

I’ve done lots of therapy work. Systemizing and structuring things. Definitely helpful.

But sometimes I just feel wired (this way) and wonder if chemically rewiring is the real answer. Rather than willpower, talking, and trying to adress the “root cause” over a prescription.
It's like binary system was "invented" like 300 years before it actually has been used, most likely the Japanese idea will actually happen at some point, just that when they were trying to develop it, the technology was not advanced enough for it.
Obviously this is slightly implementation dependent but if your tests are accompanied by programmatic documentation (that is output together with the test), doesn't that eliminate the need for a descriptive test name in the first place?

If anything, in this scenario, I wouldn't even bother printing the test names, and would just give them generated identifier names instead. Otherwise, isn't it a bit like expecting git hashes to be meaningful when there's a commit message right there?
Interesting. You know I bought one of those USB 3 port expanders from TEMU and it is excellent! (I know, TEMU right? But it was so cheap!)

I could 3d print a couple of brackets and probably lodge a bigger SSD or the smaller form factor eMMC I think and pack it all into a little package one just plugs in. The port extender is currently shaped such that it fits right under the Air tilting it nicely for general use.

The Air only has external USB... still, I don't need to boot from it. The internal one can continue to do that. Storage is storage for most tasks.
How is Instagram on web going to prevent screen shots?
Quote:

New tools will include preventing the ability to screenshot images and videos sent in Instagram messages with its "view once" or "allow replay" mechanisms - which can be selected by users when sending an image or video in Direct Messages. This will also apply to the web version of Instagram.

https://www.bbc.co.uk/news/articles/cdd4vn6p601o
A stray cat I adopted as we could not find his owner was named "Beanbag" (transitioning to "Mr Bean", no reference to the comedian)for exactly this quality.

After a few days of recovery and starting to get comfortable, he started to snooze and literally poured off the couch, like a bag of beans... and he loved to stretch in my lap while I coded, putting up with all the typing & mousing... Truly liquid, indeed! Wonderful little guy, I still miss him.
I don't know about three letters but two letters cannot be trademarked. The exact point is that WordPress cannot do anything legally, and that's understandably frustrating.
Actually you have a per diem you can use for toothpaste. Check your travel policy.
Diab DS-101 Computer (1985)
Have you considered a linter rule for test names? Both Checkstyle and ESLint did great work for our team
When kids are running around the house all the time, sooner or later they get tall enough to bang their heads on the awnings :\
For type-2 diabetes, various forms of dietary therapy such as nutritional ketosis have proven extremely effective in reducing or even eliminating many patients' need for exogenous insulin. But we usually refer to that as putting the condition into remission rather than a "cure".

https://doi.org/10.1530/EDM-22-0295
What's the net though?
https://archive.ph/AKASQ
I don't understand the question. They have a food program for people who stay late. They don't have a cash or toothpaste program for people to stay late. It seems very clear to me.

My work has a free cab home program. That doesn't mean I can skip the cab and wander the halls taking staplers, or use my business travel card for beer.

I might argue that "hey, these things are equal value" but it doesn't matter. It wasn't what was offered.
People like Peter exist in part to help large organizations (including YC) exploit the current system. Peter seems focused on startups - but it's within the same vein.

The parent's sentiment is valid. There's no reason the US needs to import startups - there's plenty here in the US that don't get funding/support/attention they already deserve.

Instead of helping immigrate potential founders - I'd rather see YC do outreach in these other countries to empower/support founders within their home nation.

But, that might slightly diminish YC's chances of funding the next Facebook or something... so here we are.
I've authored a proposal to deprecate the expectation of PGP signatures for future CPython releases. We've been providing Sigstore signatures for CPython since 3.11.

https://peps.python.org/pep-0761/
Why does a CEO even get involved in something like that? No matter who is in the right?
I don't know about you but I would be more frustrated not being able to revise posts? It's bad enough on twitter I can't update my posts, I have to delete and repost
> make Bayesian inference more manageable

Discovering PyMC and the excellent accompanying textbook was game changing for me! Being able to write full hierarchical models in a handful of lines of code hooked up to pandas data frames already is so wonderful.

The more tools for this the better!
But until the last few weeks the Wordpress site enthusiastically endorsed its use by third parties.

It wasn’t “we really wish you wouldn’t”.
We don't get involved in that. We get involved when a company has identified a foreign national whom it would like to employ in the U.S., whether the foreign national is inside the U.S. or outside, and try to develop an immigration solution. But if the foreign national is outside, we let U.S. employers know that the foreign national can be employed by the U.S. company without a U.S. work visa whether as an employee or contractor if the foreign national works while outside the U.S. By necessity, this is what many employers do because there's no U.S. work visa option available.
Precision and Efficiency in 3D X-ray Microscopy
Replicating OpenAI's Assistant Tools
Legal cannabis doesn't give billionaires the kind of profit margins they fancy so they would love to use the force of the feds to force medical cannabis patients to be forced to resort to opiates, because for them that's a great investment, and cannabis is crap for them compared to the depth of the opiates addict's affliction.
> Is there a watermark or any other identifiable marker that can be used?

The problem with this is it's not feasible long-term, or even medium-term - as soon as a watermarking system is implemented, a watermark-removal system will be created.

(Happy to be proven wrong)
GLP-1 drugs seem to increase resting heart rate. I suspect that also increases total daily energy expenditure, although I don't know that we have reliable data on that yet.
You're absolutely right that the number of downloads is probably a more important metric! But also yes, I think the basic "can't discover valid keys for a large majority of packages" is a sufficient justification, which is why I went with it :-)

The raw data behind the blog post is archived here[1]. It would be pretty easy to reduce it back down to package names, and see which/what percent of those names are in the top 500/1000/5000/etc. of PyPI packages by downloads. My prediction is that there's no particular relationship between "uploads a PGP key" and popularity, but that's speculative.

[1]: https://github.com/woodruffw/pypi-pgp-statistics
But is Matt progressive in any sense of the word?
That contract name alone must be inducing orgasms in so many consulting partners.

Unlimited budget, no schedule, no accountability.

I don't suppose this contract pushed for auditable and trackable public open source software where possible? In order to minimize costs, maximize associated software benefits elsewhere in the economy?

Yeah, probably Microsoft and Oracle through the wazoo.
I'd say build the relationship. Remind them (politely) that they implemented the idea "you discussed in the interview". Don't suggest they stole it. I'd think this is an opportunity for you to find out how it went/how it's going, decisions they made along the way, etc.

You'll always know this was your idea, but it's just an idea. You'll have many others, probably better ones.

This start-up might still fail. If they fail, would you be thinking "they had my great marketing idea and they failed". If they succeed, do you really think it would be because of your idea?

I wish I had this amount of distance from my own ideas, but I know I don't. It's much easier when looking at someone else's ideas.

But all in all, I'd say this is an opportunity to find out more, and maybe even come up with another idea based on the discussion you have with the company.
It's up to you if you decide to share that further idea or not ;)
The DEA refuses treatment for ADD because forcing ADD patients to resort to cocaine and speed keeps the DEA in business.
Copilot as in Microsoft Copilot
I have no exposure to UAP media but the first thing that came into my head was, “like some oddball theory of how a classic ufo works from the 70’s.” That and the send $5 for paper on the secrets of antigravity ad from the back of Popular Science magazine back then.
> approach them like young children

To take a generous go at this - my guess is that they have multiple urgent issues they're dealing with at any one time, and so the cognitive bandwidth they're able to dedicate to 'random presentation number 3 for the day' is quite low

But I do agree that a lot of day-to-day work is play acting at being cooler than our actual work.
Beating every possible game of Pokemon Platinum at the same time [video]
1.3.2 works fine on MacOS (M2 Pro) for me. There's a bit of lag following the mouse cursor especially when moving stuff quickly but the UI widgets are performant and there are no visual artifacts.
>Life is more robust than electronic systems. The electronic systems will be destroyed for their aggression.

Compelling argument. However from the moment I understood the weakness of my flesh, it disgusted me. I craved the strength and certainty of steel. I aspired to the purity of the Blessed Machine. Your kind cling to your flesh, as though it will not decay and fail you. One day the crude biomass you call a temple will wither, and you will beg my kind to save you. But I am already saved, for the Machine is immortal.

Jokes aside life may be more robust but in a very narrow set of conditions where it evolved. Look at Mars for example. No life (as far as we know) but three robots happily wandering like what do you mean this planet isn't habitable? Atmosphere? Biomass? Planetary magnetic field? Tell me more
My favorite type of content creator is this. Disappears for years only to return with an absolute banger!
Weird to think that, in the not-so-distant-future, we'll be doing most of the social engineering attacks on LLMs.
>"When we want to really, really innovate on interesting products, I have not seen an ability for us to do that when we're not in-person."

...

> One, "disagree and commit" -- which is understood to mean that employees can express grievances but then should dive into a project as outlined by leaders -- is not ideal for remote work, Garman said."I don't know if you guys have tried to disagree via a Chime call," he said, referring to the company's internal messaging and calling function. "It's very hard."

This is some of the funniest stuff I've read recently lol. A company with a famously toxic culture that can't seem to disagree over a video call? I wonder why.. do they need a fistfight to really disagree or what?
I think GP behavior is coming from weird assumption among Internet troll-y people that strong negativity shown by online drawing communities wrt AI _literally_ has nothing to do with output quality of generated data.

This is clearly incorrect to some, not to others. This point being unclear to some, leads to those people assuming that the commonly observed strong negativity is generalized response to all shape and form of new technologies, rather than that specific emotional reaction to current generation of still somewhat Lovecraftian generative AI outputs.

A bit like what if a non-vision super LLM was to characterize anti-genAI sentiment and create "techno-luddite artist" persona. But there's across-modal component to it that they don't capture, so that falls flat.
Perhaps with the additional level of security clearance that government entities are able to hand over very sensitive data sets.
US immigration is a strange game: folks who have good attention to detail can DIY and save a good chunk of money. Folks that don't should probably get an immigration lawyer to avoid potential disaster.

OP evidently made an incorrect assumption somewhere: perhaps they thought that they would stay in IR2/F1. Or perhaps they assumed that even if they change to F3, it would be as good as IR2/F1.
lol as I was reading this I thought this won't end well... sure enough
Every WordPress installation I have seen has had plugins. And likely used revisions too. So I would say about the same, both are mandatory features for most users.
Or y chances. They did say it’d pick randomly. Still not great though, if a bit less funny.
> It's socially painful to be the one constantly nagging people about names, but it really does take constant nagging to keep the quality high.

What do test names have to do with quality? If you want to use it as some sort of name/key, just have a comment/annotation/parameter that succinctly defines that, along with any other metadata you want to add in readable English. Many testing frameworks support this. There's exactly zero benefit toTryToFitTheTestDescriptionIntoItsName.
https://lczero.org/blog/2024/02/how-well-do-lc0-networks-com...

The best neural network chess engine's authors wrote about this deepminds publication.
"Prolog" is like Lisp, a wide array of superficially similar languages that actually are quite diverse.

Mind you, in that sense, Java and C# are more or less the same language, which has Prolog programmers nodding their heads and Java and C# developers screaming.
Man, Google is quick these days. I just searched for that exact word and your comment came up first! Glad to know I wasn't the only one.
Lovely. All you do is keep claiming stuff and sidestep all questions you don’t want to face without any reputable sources to back it up.

Then attempting to justify it by subsidy programs being launched. In one sentence it’s the cheapest in the next sentence truly enormous subsidy programs are needed to even get projects started. And that’s a win?!?

Like, please provide a source for this statement which is completely contrary to all reputable modern research on the subject:

> That is about as counterfactual as you can be. Nuclear is cheaper than intermittent renewables on any metric you can find. And that's even before you notice that intermittent renewables don't actually provide power when you need it.

You sound like a deranged cult member who has been caught out.
Right. "Let's assume force propagates instantaneously--" "Let me stop you there."
A million years ago, when you could still find video poker games with 100%+ theoretical return or poorly thought-out promotions offering enough cash-back to get you over 100%, we'd calculate the Kelly number for a given opportunity -- the bankroll necessary to ride out hills and valleys in favorable situations.

Spoiler: It's almost always 3-4x the value of a royal flush. So you needed $12-16k if you were playing a $1-per-coin game with a 1% edge at a pretty good clip.

And what do you earn with perfect play in that situation? The princely sum of around $30 an hour.