skysight-inc/HackerNews huggingface dataset:
I'm in another discussion on this very site where people (admittedly, not you) are arguing that property owners are "housing providers" because they stand between tenants and asset risk. But in this thread you suggest that at the first whiff of risk the state should step in to subsidize the risk of the wealthiest 1% of the state.
I think the founding fathers would be confounded by us more than anything else.

Probably by federalism, the focus on the presidency, Senate elections by the general populace, the role and power of the Supreme court, and a pile of other things.
So tell me why the UX in the web gets worse if all these tools and framework make the DX better?

On mobile I have a limited data plan and the speed isn't always the best and on many pages I have to wait because beside the ads I have to download 3, 5, 10 or even more MB of data just to get pages where button, links and headline are undistinguishable because of recent design decisions.

Seems to me these tools are worthless in the end, if you are a user. After bootstrap it went pretty much downhill.
It's not just you personally, there is no evidence.

And yet literally everything we know as human beings, we acquire through conscious experience. Conscious experience is the bedrock upon which we build all our sophisticated ideas of reality and, eventually, science. The very concept of "evidence" is nothing but a conscious idea. You don't need evidence of conscious experience, because conscious experience precedes the very concept of evidence.

It's one of the great paradoxes of philosophy, and specifically metaphysics. Which nobody has solved yet.

How do we reconcile the truth of idealism on the one hand -- that all we can ever be 100% sure of existing are our conscious ideas (both awake and while dreaming at night) -- with the empirical truth of realism on the other hand -- that there is a scientifically consistent "reality" out there which our ideas attempt to map onto and correlate with?
Wouldn’t putting it in a foreign country bank account be similar?
funny how we only get LoC between the different versions, but not the performance...

Of course the parallel algorithms are shorter, it's a more high-level interface. But being explicit gives you more control and potentially more performance.
I'd like to meet Bill Hwang and ask, "What the heck were you thinking?"

All those paper profits would have to be converted into real money at some point, and the massive sales would have dampened the share prices, negating the point in the first place.

He was trading like a WSB subscriber but with actual billions in capital. From what is known publicly, the guy lived frugally and wasn't a status or prestige chaser. He seems more like someone with an excessive risk appetite who got in over his head.

I also find it interesting that Bill Hwang amassed over $30 billion, and no one would have known if his family office hadn't fallen apart. This makes me wonder how many Wall Street billionaires are hiding in plain sight, only known by industry peers.
That's interesting; I'd thought Charlotte was the #2 financial center after NYC. Perhaps by the total market cap headquartered there (given Bank of America and other large banks)?

Regardless, the fact that there are multiple such large centers is a good thing.
There are plenty of debunking videos on YouTube but none that are particularly scientific but honestly I'm very skeptical of this silk shirt story.
I mean you can just trace the source that buys it no? And then hold him in prison for it anyway.
What exactly do SMT systems "solve" in cases like this?

If I wrote a simple BFS or DFS and enumerated the search space how far would I get.. Is that not what TLA+ does in principle.

I am surprised people prefer having a dependency of something like Z3 at compiler level.
Sugar does more than one thing. It's mere presence triggers hormone related actions in the body and its energy content is what the reaction is supposed to deal with.

If a sweetener behaves like sugar as far as taste is concerned, that is it fools one part of your body into reacting as though it is sugar, it seems plausible that it might also fool other parts of the system.
Yeah, I'm sure that's what anyone trying to build some kind of AI startup that's managed to acquire a small handful of A100 or even better H100s thinks too. "Those cards sure were expensive, but ethically, I'd rather the software run slower to give me future imaginary options than to get the most out the hardware I just bought."
New mRNA cancer vaccine triggers fierce immune response to fight brain tumor
Yep - strongly agree that if you are going ahead with a contact form, you better QA it.

I'm not a huge fan of organisations shifting to proprietary social networks being a primary contact method (especially if it's that or a broken contact form). But hoping that the Digital Markets Act's interoperability rules might make this a better experience.
Interesting! Looks most similar to Creusot. The syntax is definitely nicer but wrapping your entire code in a macro surely is going to upset rust-analyzer?
Here's a great PDF I found on the ADA's website from fall 2023:

https://professional.diabetes.org/sites/default/files/media/...

> This content is brought to you by Splenda, a proud supporter of the American

> Diabetes Association

> A Message from Splenda

> Splenda® is committed to helping people achieve their health goals by making it

> easier for people to reduce the amount of added sugar in their diet. You likely know

> Splenda Original Sweetener (“the yellow packet”), but did you know we also make

> Splenda Stevia? Splenda Stevia is a plant-based sweetener made from the

> sweetest part of the leaves of the stevia plant. And just like Splenda Original,

> Splenda Stevia contains zero calories and zero sugar. The people you see can use

> Splenda Stevia to make a variety of delicious recipes from appetizers and drinks to

> entrées and desserts.

> Check out the ADA's Diabetes Food Hub® for recipes that use Splenda Stevia, like

> these Slow-Cooker Sweet & Spicy Turkey Meatballs, which are perfect for a football

> party, and these Gluten-Free Mini Eggnog Cupcakes which add cheer to any holiday

> gathering!

WHY??!!! I get upset enough with tech YouTubers making misleading claims about VPN sponsors, but the American Diabetes Association allowing sponsors that sell products that several studies link with causing and worsening diabetes to write parts of their newsletters is an entirely different degree of unethical behavior. No, the link between artificial sweeteners and diabetes has not been firmly established and more research is needed, but it's a likely enough connection that the CDC and WHO[1] have expressed concern and have noted the potential links.

[1.] https://www.who.int/news/item/15-05-2023-who-advises-not-to-...

I get it, organizations have to get funding somehow. But if the American Lung Association started allowing vape companies to write part of their newsletters, I think people would rightfully be outraged. Sure, vaping is less bad for you than cigarettes, and may even be a helpful way of quitting for some, but allowing them to be a sponsor is a major conflict of interest and causes you to lose credibility.
Noob question from someone with little real CS experience, when the README for this project says:

> verifying the correctness of code

What is the difference between "verifying" the correctness of code, as they say here, vs "proving" the correctness of code, as I sometimes see said elsewhere?

Also, is there a good learning resource on "proving" things about code for working programmers without a strong CS / math background?

Edit: I'm also very curious why "zero knowledge" proofs are so significant, and why this is so relevant. Eg I heard people talking about this and don't really understand why it's so cool: x.com/ZorpZK
Superfest – The almost unbreakable East German Glass (2021)
Thank you so much, Dan! I enjoyed the first edition and your Coding Train videos.

Fantastic work and way of teaching.
Low fertility rates (like in most well to do communities), interfaith marriages (if you marry a non-parsi and your kids are not considered parsi), aging population, migration out of India.
Notably at least partially due to political pressure from Trump - including threats to fire the chairman of the Fed - to avoid higher interest rates and even defaults on his and his families extensive real estate holdings.

[https://apnews.com/article/2a21e92ed9129e91e713495c9ef50050]
[https://www.hindustantimes.com/business-news/kushner-compani...]
I mean allowed in the discussion. GP was talking about battery tech in early stages of development to boost renewables. So I said there exist reactor designs that promise to solve a lot of the safety and cost issues, if they could be further developed.
> Why hallucinate anything at all when it is not a necessary component of functioning?

Who claimed it wasn't necessary for functioning? The text boxes and links and windows on your screen are also illusions, they don't actually exist in the screen or inside the computer, but how useful would a computer be to you without these illusions?

> To believe we are all p zombies youd have to believe that a table you punched experienced the same thing as punching me

Eliminate materialism is the position that qualitative experience is not what it appears to be, and that our perceptions are not trustworthy. That doesn't mean there is no difference between you and a table.
I wonder why California thinks it needs to implement pricing controls as well as provide its own alternate insurance. Is this latter construct the “public option” equivalent for home insurance? California ought to compete for business with the private companies, not drive them away.
If global warming caused by C02 emissions is the reason why the place is becoming dangerous, why not?

The fact that insurance companies are making changes now shows that this is a more recent trend.
I've been to a number of big construction sites for business purposes. When I hear, "this is a $40 million dollar project" and when I see all these workmen, equipment and materials moving around, I think, so this is what $40 million dollars in motion looks like.
Generally, the people most at risk for fire are not particularly wealthy - they live out in the exurbs. Generally I’m not too supportive of socially subsidizing an expensive lifestyle, but let’s be clear that “everyone who drives” collectively generated this risk through pollution.
I didn't ignore you last time, I simply went to bed.
https://archive.ph/cdyCT
Is it your assertion that retail sales does not involve customer service? Do you tip receptionists? Do you believe food service does not involve sales?

A tip is a gratuity. It comes from the customer as a thank you. A proportional incentive from the employer is called a commission.
It’s probably more California regulations than the wildfire risk per se?

The direct backyard of my house in Wyoming is Bridger-Teton National Forest, wooded mountainous wilderness for miles with its trees abutting my property. A wildfire in 2012 in the forest came within 1.3 miles of me. I’m insured by State Farm, pay substantially less percentage wise than most places in the country for home insurance and my rate went down this year by about $1K, go figure.
Dog airline CEO flies 3.5 hours in a dog crate
That tends to be a translation of Japanese "bugei", where the latter part also translates as craft or technique. "War(rior)craft" or "warrior techniques" would be valid translations too; generally modern society wants to de-emphasize the war part. And Japanese society historically saw poetry in death..

Hell, that's why instead of saying "warrior" or "war", the English term is a euphemistic reference to an old god -- god of war, sure, but an indirect reference, suitable for polite society.
Unions work in their own favor, not necessarily the workers'. That's the real rule: everything tries to benefit itself.
Smeg. Yes it was expensive. We talked to a chef/restaurant owner and she recommended them for the oven part as it's a freestanding hob+oven unit.
Bringing Stone Age genomic material back to life
Care manufacturers, can we please just close our own hoods?

The motors take so long - I could open the hood, put my stuff away and close it before a mechanized version completes its task, and, if this article is to be believed, potentially hurt misguided people getting in its way
"There is now a bullet hole in your foot."
If you have any interest in single-particle tracking for ion optics. I'd encourage you to check out https://github.com/KATRIN-Experiment/Kassiopeia. It can do both exact and adiabatic tracking of particles (and will solve for B and E-fields in complex electrode geometries). However, as far as I know it only handles static electric fields for now.
In the US, if you ask 100 people what "America" is, they'll tell you it's the name of the country they live in. And since language is defined by use, yes -- America is the name of a country. The shortened version, of course, just like "Mexico" is the shortened version of the "United Mexican States". Surely you're not going to claim that Mexico isn't the name of a country either?

And no, "America" is not a pair of continents in standard usage -- that's "the Americas" you're probably thinking of (plural and with the definite article). Which is a rare term to come across, essentially unused in regular conversation, reserved for some highly specific contexts.

And I'm saying that companies being able to name themselves after political regions is absurd. How is that fair? I don't get to name my company "Google Bank" (and make it seem falsely associated with Google), so why should I get to name my company "New York Bank" (and make it seem falsely associated with New York)?
Is there any indication that the high risk properties in California are coastal instead of rural or exurban? Presumably the risk is from fire and that’s disproportionately not going to be in highly developed communities like the coastal regions.
much easier for young kids to use
Remember the days of Mini-Microsoft? They were a group who tried to improve Microsoft from the inside. They weren't successful.

I once tried to convince them that Microsoft should 'do an Apple' by using Linux under the hood the same way that Apple used BSD under the hood.

That would free up a lot of the programming workload of Windows by putting it onto the Linux community, and allow Microsoft to concentrate on the Windows Desktop alone, the same way that Apple concentrated on the Apple Desktop while leaving BSD to the BSDers.

I still believe this would be a win-win for Microsoft and its users alike.

However, Microsoft has always been about the Benjamins, and not about good things for its users.
State Farm is like a good neighbor. But they are very particular about who their neighbors are.
>Re-encoding the image is a good idea to make it harder to distribute exploits.

Famously, the Dangerous Kitten hacking toolset was distributed with the classic zip-in-a-jpeg technique, because imageboards used to not re-encode images.

https://web.archive.org/web/20120322025258/http://partyvan.i...
I almost skipped past this because I thought it would be about the browser... This is why I hate the confluence of products that use common words as product names.
How about the investor doing some of that due dilligence and demanding a plan for how to make money?

ZIRP boosted investment the last ten years has been insane (and stupid).
"California" might not think this now but in 1988 at the tail end of a spectacular streak of magical thinking on the part of the electorate these insurance regulations were passed by plebiscite, so it will take either another supermajority plebiscite or a political revolution to fix the regs.
They try to find a counter-example to the constraints you have set up, or tell you that no such counter-example exists, in which case your program is correct. The counter-example is in the form of inputs to your program or function.

It looks like the TLA+ Proof System does the same thing, but I believe you can also use TLA+ in "brute force all the states" mode. I haven't actually used it.
Sure, but that's further away from Europe :)
Adenovirus Serotype 36
tl;dr she didn’t send any obvious signals that she was pregnant, and didn’t get any ads. The headline only represents about four paragraphs from a very long article that rambles all over the place.
Verifying and proving are used synonymously, as made clear later in the opening paragraph.

As for zero knowledge proofs, there is little practical use, significance, or relevance to them due to the overhead involved and the lack of a "killer app", so to speak. But they're conceptually interesting.
Nowadays the artifical pancreas software can quite nicely counteract the carb spikes. It's not very hard, just take all your basals for the next two hours and then have no insulin delivery for that time. Especially if you eat fast carbs, this is the right strategy.

More complex is to dose for fat, protein and carb mixture. You basically need almost no insulin first, but in the next four hours you need 1.3-1.4x your basal to cope with the raising sugar.
1. Yes the article says that insurance agencies can only look at historic risk, not future risk. So a region becoming more fire prone won’t be reflected.

2. Presumably an area that just experienced a fire is now at lower risk of a repeated burn?
Dang is a treasure.
Greenhouse and Lever have the most convenient job application interface IMO. The application area is one page, which means you can navigate using tab. There's also no need to create an account and verify email address (Though I understand why some portals do that to prevent spams).
Good summary. I wouldn't buy one without obvious arrow keys however.
> This is limited to digital representations of information

All information is bits and all bits are numbers. How the numbers are represented is just an implementation detail. One could print a book containing all 50 thousand digits of the numeric representation of the 20 KiB picture I mentioned. That number is the picture! It's just represented in a very inconvenient form.

It may be hard to believe but there exists software which does exactly this. Paperkey, for example, is designed to create printouts of OpenPGP secret keys so that they can be kept offline. It quite literally dumps out the bytes as rows of numbers and you print them out. Imagine reading hexadecimal characters from a paper and entering all 4096 bits into the computer one by one by hand via text editor. I've actually done it. Yes, it's as nightmarish as it sounds like. Yet it works.

The point of this argument is to show how utterly absurd copyright is. It logically reduces to numeric ownership and illegal numbers. It's quite literally illegal for you to write down a certain number on a paper and give the paper to someone else. I think that's just delusional.

It just can't be refuted. If the copyright monopolists try to argue that the number isn't the picture, they only hurt their own interests in the process. Such an argument automatically creates a channel where infringement of their copyrights may occur. It's illegal to copy the image directly but it's okay if I transform it into a number first and then copy it? That makes no sense whatsoever. They would never make such a self-defeating argument. Therefore they do believe that the image equals the number and that they have monopoly rights to the number.

> They are not the underlying truth.

I believe they are. All of information theory is bits. On/off states is just a digital mechanism humans created to store the information. If you group the bits, it becomes possible to encode larger and larger amounts of data. And any group of bits forms a number pretty much by definition.
Yes, and it is also the high construction (replacement) costs in California.
This great feedback - thank you. I like the idea of the TTL. That's interesting if we continue on the current route. Similar to the "open start up" concept and publishing available runway, etc.
I’m not sure how rust-analyser works, but presumably you’d make the macro a no-op and just return the original tokens in debug builds
Theoretically this sounds great. I would worry about scalability issues with the Bayesian learning models practical implementation when dealing with the vast parameter space and data requirements of state of the-art models like GPT-3 and beyond.

Would love to see practical implementations on large-scale datasets and in varied contexts. I Liked the use of Dirichlet distributions to approximate any prior over multinomial distributions.
In 1993 or so g++ couldn't do it, but I suspect that all c++ compilers today would. Then why would I need anything else? However the point is that when dealing with proprietary hardware devices you occasionally get a situation where the incantations as "documented" should work, but they don't, and the usual software process diagnostics are silent about it. Some domain specific experienced creativity is required to coax a response to begin finding the illness. Yes you can pay for support and escalate but small shop management sometimes is a bit hesitant to pay for that.

I am very curious how an LLM is supposed to be trained on situations whose context does not exist on the open internet.
The insight being low carb can send T2 diabetes into remission?
> What is the difference between "verifying" the correctness of code, as they say here, vs "proving" the correctness of code, as I sometimes see said elsewhere?

In this context it is the same.

> Also, is there a good learning resource on "proving" things about code for working programmers without a strong CS / math background?

I wish. The Dafny docs are pretty good but IMO formal software verification is not really at the point where it is usable for normal programmers like us who don't have a PhD in CS / maths. The examples make it look relatively easy, but you will quickly run into "nope, couldn't prove it" and the answer as to why is some hardcore implementation detail that only the authors would know.
AFAIK, zero-knowledge proofs allow you to prove that you know something without revealing what it is you know. For example, verifying you know a password, but without having to send the password to the server, so a malicious server or MitM wouldn't be able to sniff it.

It also might provide better options for identity verification, i.e. proving you have a certain government-issued ID but without actually leaking the document to the server (for it to be stored "for a maximum of 2 years / 3 years / 6 months / etc." but then leaked in a data breach anyway).
What do we really need LLMs for that humans can't?

I would argue that it's not about whether or not we need something that humans can already do, it's that we don't want a human to do those things because a machine might be able to do it better, faster, cheaper, etc.

A human can operate a lathe, I used to do it, but the CNC lathe I also operated could do any thing I could do much, much faster with just as much accuracy.
Being HBO 20 years ago isn't so easy, even HBO couldn't figure out how to keep it going and arguably AMC took over from them for a while.

I don't watch all these TV shows but I do know Ted Lasso turned to utter dreck after one season, it's just hard to write high quality fictional television, especially if you want to be ground breaking and not write with a fixed formula to work off of (e.g. crime procedural).
Ꙩ, Ꚙ, Ꙭ and ꙮ are definitely underutilized as emojis...

I'm finding it kind of hard to take the Unicode approval process serious though, when we have to use complicated multi-codepoint escape sequences to produce a simple country flag because character codes are supposedly a limited resource now and can't be assigned nilly-willy - yet an inside joke some medieval monk made like 600 years ago positively HAS to be encoded as its own character...
There is type of diabetes that is simply hereditary and that is all there is to it. It is not rare. Then there is also pregnancy diabetes that comes and goes with pregnancy (they make routine test for it).

Not all diabetes is from sugar.