skysight-inc/HackerNews huggingface dataset:
Yes, but if you have an account you’ll at least get an email notifying you that your account’s email address has changed (as a result of someone recreating your account). That’s how I was tipped off to someone trying to buy a car in my name (by pulling on the thread of calling customer support asking wtf I got that email). So it’s very useful to at least have an Experian account so you can know when someone is trying to go after you this way.

Now granted, it’s possible that the attacker won’t change your email address first, in which case I’m not sure if you get an email stating that your credit was unfrozen. But it’s likely they’ll change it in order to make it harder for you to mitigate the damage in a timely manner.
How does carbon capture help? Wouldn't it need to be stored somewhere? What happens if the storage leaks? People say that trees is a bad solution because the carbon is still there. This is even worse than trees. Trees at least looks good.
I found that CodeCrafters is quite fun after watching an video on Youtube[0], and shared it with my friends who might also be interested. The feedback I got was quite similar to the community:

- really interesting idea, but
- pricing is absurd, not gonna pay 100$ for these, and
- their minimal paid plan at 40$/mo is a lie, with a fine print: Available as a one-time payment for 3 months or 1 year access.
- Lack of in depth implementation of the projects, i.e for the free HTTP server project, it stopped at "Post a file", lack of beefy & fun stuff like for example HTTP 1.1 Pipelining

I believe the value (the fun) it would provide me would be about the same level of Ace Combat 7 (I paid ~40$US), and the complexity is less than Bauder's Gate(69$SG). I would pay roughly US$40 for all of the content altogether at this moment.

edit: added a link
--
[0]: https://www.youtube.com/watch?v=jf_ddGnum_4
Show HN: AwesomeGPTs, A directory and search engine for GPTs
AwesomeGPTs.pro is a directory and search engine for GPTs. It has over 4000 GPTs collected (still growing). Currently, I am refining the categorization and search engine algorithm...
They also earned the disdain they receive for being scum.
Alternatively, everybody might starve to death because there are real physical bottlenecks on GDP.

It doesn't matter how much money you print, someone can't be in two places at once, growing food and working in the carbon capture factory
Tinkering on my camper van, traveling in the van, paddle boarding Amsterdam's canals (taking a break for the winter!), writing embedded code for a kinetic sculpture.
That's not surprising, since Qanon (what came to mind when I saw this word) is pronounced with the leading CUE as well.
Doesn't earned implied 'honest work done' otherwise its theft right ?
Well, I think they'll move the whole thing to a nearby coal or gas power station and fit over the chimney stack. After all, that's where the CO2 is concentrated. It wouldn't make sense to suck CO2 out of the atmosphere as a trace molecule at 430 PPM - that would be stupid. Hopefully they plan to miniaturize the technology and fit it over transportation exhausts and wherever else we're dumping out CO2 in high concentrations.
Yeah, looking at English-Russian names for boys, there is no way for names like Brody and Orell being Russian!
That's not self evident though. Do you have supporting evidence for your claim?
I agree in principle, but my question to you, is how do we make something economic i.e. CO2 pollution, which in principle provides no value?

The same goes for fossil fuel consumption. There's nothing economic about not using fossil fuels.

Understandably it's a compromise, but the first reaction shouldn't be "it costs too much, so don't do it". This attitude is the reason why nothing ends up getting done. I would much rather an uneconomic solution, than no solution at all, which seemingly is the status quo.
Your dupe comment is ironically a dupe: https://news.ycombinator.com/item?id=38237781
https://www.redhat.com/licenses/Red_Hat_GPLv2-Based_EULA_201...

Are you sure ?
Even in this thread people are asking about Google's handling of android requiring anti trust intervention. No shot a company would open source their os in the future, when apple has shown you can lock down a 30% tax on all app installs and draw no attention for some reason.
> simply not use the carbon in the first place

No one is disputing this is obviously the best move. But telling humans not to consume stuff has a rather long and unsuccessful history. Let's not try to keep doing that.
That's an extremely sad point of view. Of course humans can accomplish things that are not economically viable.

Perhaps it's become harder in our current society, but many great projects of man were economic folly.

To give one admittedly a little cliche example, landing on the moon never made any economic sense.
The “just use js and HTML” doesn’t work for anything but trivial projects.

Not using a framework leads to either spaghetti code, or reinventing your own undocumented, untested, unproven framework.
fully agree on the failure of the rollout. There's also going to be issues with rolling anything out involving medical treatment into our gutted public health system and fragmented private system, so it has to be done through a lengthy (and apparently trivially abused) system of private organizations applying for the money, but the new treatment infrastructure should have been at least somewhat in place before changing the laws.

Also agree on the unintended consequence, and that in retrospect a carefully worded law about the degree to how public of drug use would be decriminalized would have had a drastic impact on opinion.

In contrast to the blame being assigned to Measure 110 (much before it was even implemented), and even with the problems rolling out treatment, by the numbers the impacts of decriminalization have been better than expected. 911 calls have not gone up, in terms of deviation from previous (and national) trends OD fatalities have not gone up, big administrative savings you pointed out, etc. So what did change? Visibility.

The wider impacts of this are very real with hotel bookings, conferences, tourism, etc. down because of this perception, and that is causing harm to businesses and residents here.

It's decently likely because of this that 110 will be rolled back rather than iterated on, and nothing substantial will change, but without the specific political focal point we'll likely hear about less it as its own issue but rather it will get rolled back into the general narrative funneling blame for the problems of urbanization.

IMO the bigger thing the measure 110 whiplash is showing is how completely social media has supplanted news and data in particular in shaping people's view of the world. The visible drug use is 100% a problem, but this time around personal experiences are serving as confirmation of everything they've already been seeing online more than anything. There are enough cameras and enough people to fuel very lucrative social media accounts drip feeding incidents of any particular issue every day (with very questionably accurate attribution) to and from a global stage. I live here and regularly hear about it in unrecognizably hysterical terms from family and people I interact with for work across the country almost daily.
And yet the largest Go projects seem to be doing fine, dwarfing the largest Rust or Swift projects in the level of activity, number of contributers, and general impact on the ecosystem. And I speak as someone who prefers to write Rust.

Perhaps these features you speak of don't matter as much as we think.
I could believe that, that also presumes that they stay reasonably close to the surface. If they sink in the Pacific retrieval would be very unlikely.
Putting the proper flag on it
The first solar panels were completely useless, therefore, it makes no sense that solar panels today are much better. QED
Anyone who's game able to explain what this actually does?

The main loop looks simple:

def generate_complete(text, montecarlo):
text = llm.generate(text, 1)[0]
score = score_func(text)
if score is not None:
if score < 0:
return None
else:
if can_be_solution(text, min_lines, check_fun):
montecarlo.solution = text
return text
else:
return generate_complete(text, montecarlo)

...but, the heart of it (1) just basically checks if the dafny syntax is valid by posting to https://dafny.livecode.ch/check

How is 'syntax is valid' a valid scoring mechanism here?

If you look at the output examples (2), all I can see if generating functions and lemmas; this is equivalent to generating a function a bunch of tests for it.

I'm not sure I see what value the MCTS is bringing here.

Anyone get this and care to explain?

[1] - https://github.com/namin/llm-verified-with-monte-carlo-tree-...

[2] - https://github.com/namin/llm-verified-with-monte-carlo-tree-...
An airline owes you $2500 for lost luggage on domestic flights. They aren’t going to make that up by selling to places like this. It’s not like they tell the department responsible for getting your luggage back to you to go through the luggage and determine whether they can make a profit on you.

Anecdotally, every thing my wife and I own are in four suitcases that we take across the country 7 months a year making one way trips.

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

We have to take all of our personal belongings with us when we leave our home so our place can be rented out to cover our mortgage and expenses while we travel over half of the year.

For $2500 we could replace everything that we have in any one piece of checked luggage and have money left over. We keep anything of value in our carry on backpack.

https://www.amazon.com/dp/B0B12SPPXV?
Thanks for making me discover cog ! It can be very useful.
My statement had nothing at all to do with this certificate issue, but was more pointing out that Twitter's Onion handling has been broken in various ways for years.
Yes. Defense in depth is somehow only applied to computer security around these parts.
OCaml is not a very good fit for competitive programming, you're better off with a language like Python there.

Writing code in a functional language like OCaml requires a mind switch. This can take quite a while. It took me years to really 'get it' after having programmed for 30 years in imperative languages. Now I prefer writing code in FP for a lot of things, but not for everything.
E.g. for coding some algorithms you have a much easier time when you can use mutable arrays.

A nice advantage of OCaml is, IMO, that it is not so strict about pure FP. E.g. unlike in Haskell, arrays are mutable by default.
Supabase (YC S20) Is Hiring a RevOps Lead (Fully Remote)
It's not like they've scammed others with crypto or tried to overtake markets with price dumping tactics or bribed the governments to use their software or spied on billions for profit.

They've just lorried stuff other poor people wanted. That should not be illegal. The above should.
It would be cool if the facility blew oxygen then it could be switch from suck to blow
HTMX is in NO way a replacement for frontend libraries. If you can achieve what you wanted to do with HTMX you didn’t need any frontend framework to start with.

Also, repeating this again… the hype and the marketing from HTMX is something I never thought I would see, it’s worse than vercel’s
There isn't a law against it.

See also Ferrari's rules about what you and cannot do with their cars.
Deleted mine nearly a decade ago, and then my google account a few years later. Both ended up being a lot easier than I expected.
More useful but definitely not remotely reasonably priced, and that's with the truck being a semi-loss leader (per some reports).
Exactly - sharing is the core of FP
Emacs key bindings through the "Emacs Friendly Keymap" extension [1]. I wonder if for newcomers it is still a good idea to learn Emacs keybindings. At least for those who did, we can use nearly any IDE with it. Don't forget to make Caps Lock an additional Control though.

As a second tip I cannot recommend Remote Development [2] enough.

And while I'm at it -- on a laptop with a crappy trackpad, multiple cursor support can be infuriatingly annoying. I can't seem to disable this "feature".

[1] https://marketplace.visualstudio.com/items?itemName=lfs.vsco...

[2] https://code.visualstudio.com/docs/remote/remote-overview
I was just writing about this and possibly using it against Sybil attack, and even using it for banking systems, social media, voting... and so on.
The human model isn’t just trained in language though, it’s trained on the world. There’s such a huge amount of tacit knowledge we have about how the world works and how other people work. We have models for recognizing faces and reading body language, emotions, and intent. We can tell when a person is looking at us from across the room and tell that apart from someone looking just over our shoulder at someone else.

I think most of what we ascribe to intelligence in LLMs is a kind of textual pareidolia. We infer a mind behind the text because our brains are built to recognize minds. That’s how our theory of mind works.

But these LLMs know nothing about the world. They might capture some features of the world as patterns that help them better predict what text to generate for us. But that is not the same as knowledge of the world. They have no sensory contact with the world so they are unable to synthesize true knowledge about it. This is why they are so prone to hallucination.
From the perspective of a rat owner:

https://www.thisamericanlife.org/801/must-be-rats-on-the-bra...
> I think Elon made a mistake with this one (and has even alluded to that). Pursuing CT over the $25k was a bad idea that might set Tesla back some years.

Yeah, it's pretty clear in interviews and such he realizes the CyberTruck will be extremely lucky to break even. Just not a good move.
“The Price of Peace: Money, Democracy, and the Life of John Maynard Keynes”, by Zachary D. Carter.
Elon Musk biography by Walter Isaacson

Adam Grant - Hidden Potential
Still do but mainly for participating in groups that are for specific interests. Easiest way to connect with, learn from and teach others interested in similar things.
That doesn't matter. A show HN still doesn't allow you to editorialize headlines, but dang has replied in this thread so I guess the title is fine after all.
Some more discussion previously 7 years ago: https://news.ycombinator.com/item?id=11719441
Do what now? Who is complaining that “the carbon is still there?” Surely the total amount of carbon on Earth is relatively fixed and only changes slightly from, like, meteorites and space launches and radioactive decay.
These things solved my RSI:

- Tenting split keyboard (Goldtouch V2)

- Vertical mouse (Evoluent)

- Strength training (Les Mills Body Pump class)

- Desk & chair at the proper height for me

- Keeping my body and arms warm throughout the day, especially at night while asleep

- Switching from Emacs to JetBrains editors

I hope you can solve your RSI issues. Thanks for the article. Good luck!
That's not what I'm talking about. Pretend getting to the moon would have cost a quadrillion dollars. We wouldn't have been able to do it.
We came across the same problem. We look for a male name that works for Male + Arabic + English + German and must not have special characters.

We chose Josef.
Interestingly the webpage doesn't show Josef. Most likely because they don't steming when doing the comparison
Who is doing the stealing? Are you claiming that the business in the article is getting part of their inventory from some place other than the airlines or lost luggage?
Uh oh. Now we have so many garbage generators that we need a search engine for them. Nota bene: the comment is not aimed at discrediting your work, so please don't use this on me:

https://awesomegpts.pro/gpts/Am-I-the-Asshole
Taxes are one straightforward way. But no matter how you're paying for it, if you have method A and method B, and they'd both do the job, you don't pick the one that costs 5x as much because you think economic arguments are a bad thing.
I remember they were supposed to go that route with their Kindle Fire(?) a decade ago, but I'm not sure what was the result. I'm pretty sure I've not seen "get from Amazon store" buttons anywhere, so I'd assume it flooped.
How are movie advertising budgets spent? (2019)
I would say this problem would also be solved if we stopped pretending that a Social Security number was a serious substitute for secure national ID.
cat -v

For a very short file, I might reach for hexdump -C
To be clear, First Sale Doctrine does apply to physical goods: the doctrine pre-dates copyrighted digital goods. The idea was that a publisher couldn't prevent someone from reselling their paperback copy of a novel after they've read it (for example).

Of course, it in theory could apply to digital goods as well, but most copyrighted digital goods you don't actually buy, you just license. Good luck reselling a Kindle book. You have to strip the DRM first, which, while possible, violates the DMCA.
Here's an example from the UK in 2018:

https://stephenfollows.com/how-are-movie-advertising-budgets...

TV got most of it 5 years ago in the UK.
The results of this research are not in mice, but in a life form much closer to humans.
yeah, I couldn't stick with Make it Stick either. Idk, something about the book just made it feel like a chore.
Additionally the “international pressure” the OP alludes to is since Swiss banks were the banks of choice international crime, including whichever activity you think might be most heinous.
turning trees into paper is too slow. anything you can do with trees is too slow, actually.

if carbon capture is undertaken seriously enough to just break even at current burn, the storage alone will be the largest industrial project in human history.

if we somehow stop burning carbon tomorrow we will still see catastrophic change as the carbon we've already emitted takes effect.

the beginning of any solution is to stop, but nobody can afford to stop.
I don't think the implementation itself is at fault (I phrased that poorly in my previous post), but yes, I do think that the design of dialyzer makes it an (at times) faulty type checker. The unfortunate reality of a type checker that fails sometimes is that it makes it mostly useless because you can never trust that it'll do the job.

To be clear, I've had it fail in a function where I've literally specced that very function to return a `binary` but I'm returning an `integer` in one of the cases. This is a very shallow context but it can still fail. Now add more functions, maybe one more `case`. Dialyzer will just never keep up over a long enough time frame.

I think an entire rethink of type checking on the BEAM had to be done and that's why eqWalizer[0] was created and why Elixir is looking to add an actual sound, well-developed type checker. Gleam[1] I would assume is just a Hindley-Milner system so that's completely solid. `purerl`[2] is just PureScript for the BEAM so that's also Hindley-Milner, meaning it's solid. `purerl` has some performance issues caused by it compiling down to closures everywhere but if you can pay that cost it's actually pretty fantastic. With that said my bet for the best statically typed experience right now on the BEAM would be `gleam`.

0 - https://github.com/WhatsApp/eqwalizer

1 - https://gleam.run

2 - https://github.com/purerl/purerl
Can you please explain which comment here was sarcastic? I'm genuinely confused here.
"Fourth Wing", by Yarros. Soon to be an Amazon Prime video.

Re-reading McMaster's "Battlegrounds" (2020). His predictions are pretty much on track.
Curious what makes it a mess?
The CD is a physical good, though.

While the First Sale Doctrine applies in principle to software, in practice nowadays it's very difficult to exercise that right. A lot of it is subscription-based, and reselling your subscription is pointless. Other stuff is DRM-encumbered, and/or tied to an online account in some form, so you can't really resell it successfully, at least not without breaking the DRM, which is in violation of a different law. And the manufacturer would claim that you've licensed the software, not actually bought it, anyway.

Gross.
I have a Facebook account that is deactivated, but not deleted.
You don’t notice screen tearing on normal usage with most desktop environments on X due to them using compositors. Try disabling it, or alternatively, to just play a high-resolution video on a high-res screen. The latter will often have artifacts.
To whom? The only one who benefits is the scalper.

The original seller is perfectly capable of doing price discovery on their own; the fact that they've decided to sell below market price is their prerogative.
> required all PERM position applicants to mail paper applications, even though the company permitted electronic applications for other positions. In some instances, Apple did not consider certain applications for PERM positions from Apple employees if those applications were submitted electronically

> the company acknowledged in a statement that it had "unintentionally not been following the DOJ standard"

I'd love to know what sequence of events led to this very archaic but unintentional violation! Should be a fun read!
It would be interesting to track OpenAI outages vs activity on certain topics on Twitter/Reddit to get a vague metric of what % of the comments are AI generated.
I’ve had this issue for a while now. How do I fix it?
Keep in mind that anything is possible if the Cosmological Principle turns out to be false, and if we can travel far enough to escape our local zone.

For example, there might turn out to be particle types which don't exist at all in our zone, but which are force carriers for forces that enable time travel or other violations of causality. We might have evolved in a zone with zero of these particles simply because it's hard for life to evolve in a zone without causality. Our zone might be a life-friendly little bubble beyond which things get truly strange, but where with appropriately designed nanotechnology, we might achieve incredible things we've never before observed, including changing the past or even stepping entirely outside of the fabric of spacetime into someplace with more or fewer spatial dimensions.

https://en.wikipedia.org/wiki/Cosmological_principle

So, 1 in a million is my approximate a priori estimate of the odds of the Cosmological Principle being false in a useful way.

For a fun example of fiction that takes place in a setting where the Cosmological Principle is false, check out A Fire Upon the Deep by Vernor Vinge. The zone where Earth is situated, and where the laws of physics are the same as in our observed reality, is called the Slow Zone. There are three other types of zones with other laws, called the Beyond, the Transcend, and the Unthinking Depths.
> The fact each application needs to explicitly support Wayland

That’s not really the case, basically every framework supports both X and Wayland, out of the box. It is just sometimes marked as experimental/non-default by some software, e.g. firefox (which is not your average GTK/Qt app).
FM is designed to be calculated digitally, and with a few hacks (like a lookup table for a function involving sin() and log()) can be calculated very cheaply.

In the DX7 it was done on custom digital circuitry, but modern CPUs are just as happy to do a few additions and a table lookup once in a while.
It's more that the article said "10% cut with Google would mean we would be losing money", yet they took the 15% deal from Apple. They could have done the same thing with Apple that they did with Google I think? Unless Apple threatened to delist them (though that would be another can of worms...)
Maybe we finally get working thumbnails
It's not that it reads as optional to me, as that it's kinda hard to read without seeing the implied "you should have done this already, without being told".
Counterweight; Djuna. Good sci Fi.

The Thin Man, The Maltese Falcon; Hammett. Good books behind excellent movies.