skysight-inc/HackerNews huggingface dataset:
I mean yes in this case the problem is you're doing a dereference out-of-bounds, which makes a program not strictly conforming.

The problem tends to be is that the real world is much more (essentially) complex and the domain of C is that which needs to be able to deal with that essential complexity, which includes things like type punning and int-to-ptr casts and the like which makes programs not strictly conforming. As it stands, a lot of these rules make it impossible to implement a lot of... C libraries... in ISO C, let alone things like operating system kernels and the like.

> And no UD

I assume this means undefined behavior? But in any case, undefined behavior is okay to have in a language, it's good for when there are no portable semantics for a particular operation or failure mode[1]. It's generally essential (although some undefined behaviors would definitely be better served being implementation defined or unspecified).

It is also okay for programmers to eschew this portability (so if they want to narrow their focus from "anything that can run strictly conforming C" to a superset that targets say a specific memory model or set of processors).

[1]: For example, at an extreme example, what happens if the CPU starts burning up? Obviously the standard can't describe such semantics for how a program should behave in the face of this.
I'm in the Bay. My only reasonable options are Comcast cable and T-Mobile 5G. I had enough problems with Comcast that I went to 5G, and it's ... fine. The bill is $5/mo worse than the alternative, but there's been zero extra billing bullshit, so my actual internet expenses are slightly less than normal and don't involve 20hrs on hold every year.

The quality of service is the real problem. When the tower is busy (happens at least once a week), I usually drop to 30Mb/30Kb or so, which is little enough upload that even download-intensive applications often struggle. Plus, the jitter is terrible, latency is slightly worse on average, and 3 times so far I've had internet effectively down (spotty connections in the 1Kb/1b range) for days at a time.

Interestingly, "predictable uptime" is something I care about and is much better with T-Mobile. With Comcast I'd have at least one hang every 10 minutes or so for multiple seconds on an otherwise perfectly functional connection. With T-Mobile, it's either down for days (tower maintenance) or up (perhaps slow, but definitely up). That makes all sorts of near-real-time activities easier to coordinate.

I'd probably do it again (I don't think I actually have any options unless I get off my ass and finally sue Comcast), but it isn't a clear win.
It was never about the drugs or migrants. Trump himself said "nothing" Canada can do to prevent tariffs[1]

[1]: https://www.ctvnews.ca/world/trumps-tariffs/article/nothing-...
I do feel like there is a limit to how biased a source can be when it tries to be based in evidence, though. Nobody would disagree that 1+1=2, basic physics tells one that COVID is not spread by 5G towers, the climate has warmed enough that you can dump weather records into a spreadsheet and see the effect without needing to measure CO2 at all. That COVID causes disease and a warming climate causes more extreme weather is also rather easy to corroborate. Accepting the obvious is already a good starting point for deciding whether climate policy XYZ is good or not (combined with other basic facts and every party's proposals), but it seems to me that the current striving for unbiasedness leads to giving lunatics equal air time. Any amount of fact checking would at least remove this level of misinformedness
It is like they actually managed to install a shitty low precision distilled llm in their brain.
Huh, yeah that's a good point. The various distilled R1 models are definitely regular transformer-based LLMs because the GGUF file versions of them work without any upgrades to the underlying llama.cpp library.
According to Musk, the First Amendment.
I suppose that re-machining only makes sense if you need to machine only few surfaces, e.g. the flanges of a complex pipe / manifold. I suppose that complex geometries with thin walls is where metal 3D-printing mostly shines, because such things are rather hard to make in any other way.

Also I think that if printing a whole blade + machining does not make sense (but can be a demo of sorts), printing only a small chipped / worn area onto an existing blade + machining it may make sense, if the bond is strong enough.
You're moving the goal posts. I'm not interested in SDKs that cannot work on a given OS or CPU, I just want to update the compiler to make use of progress in the language, without being forced by Apple to buy new hardware for that, or install a different OS. You pretending these things cannot be separated looks deeply disingenuous.
If only millions of American's knew he would do that when they voted for him and supported him. They still do I don’t think they care.
>oils

Nah. Bash is well-maintained, you can have a bug fixed quickly. It's been months since I reported this <https://github.com/oils-for-unix/oils/issues/2068> and still nothing.
For a similar vibe to parks and Recreation, Veep.
I highly doubt it's 9kW, that would require some crazy cooling.
Context: recently upgraded 40 MBit DSL to 1Gbit/500MBit fiber.

You don't need to plan for media consumption anymore. It's there when you need it. Want to play 100GB XBox game? No problem, it's here in <15 mins.
Outlaw Code
> I do not agree with you. What you are saying is that compiler must keep the variable ordering on the stack the same. That is the only way that `&(p+1) == &q` would hold consistently.

I think we're speaking past each other because that is in no way what I'm saying.

All I said was: there was a memory write... to an address... that came from an integer... that came from somewhere (a pointer). Since the compiler presumably has no idea where that "somewhere" was, it could've been q. It can't prove that it isn't q, because it knows that q's address was taken somewhere, and it has no idea where that address went. Hence it can't assume the target of the write can't have been q.

This assumes nothing about stacks, frames, or the ordering of any variables. You could order them any way you want and what I said would hold. It's literally just discussing how information could've flowed from one point to another.
https://www.antixforum.com/forums/topic/unofficial-antix-23-...

Antix is essentially Debian for Dummies on crappy hardware running live in RAM, or otherwise unorthodox ways. It may seem ghettoish, but the thing about it is you can mod/remaster it most easily and make it YOURS without much fuss. And because of running from RAM it really flies.
Just using the term "cis" on Twitter under Musk gets you a suspension, chemistry be damned.
Canada is a member of CPTPP, which was the replacement for TPP that Trump backed the US out of.

Canada really doesn't have a bad relationship with China. We had a tiff previously when we arrested Meng Wanzhou on behalf of the US, and in return China arrested the Canadian "two Michaels"[1] and both countries used Canada as a pawn.

[1] I turns out they were, in effect, intelligence operatives in a sense, and China actually had a case. https://www.theguardian.com/world/2024/mar/07/michael-spavor...
This is what arguing in bad faith looks like.

The list of European countries that ban Nazi symbols includes Austria, the Czech Republic, France, Germany, Hungary, Poland, Romania, Italy, Latvia, Lithuania, Luxembourg, Slovakia, and Sweden.

When people talk about EU countries banning of Nazi symbols, they are always referring primarily to Germany. It is the archetypical example of "countries that ban Nazi symbols".

If you want to focus on one country from that list, which is a valid thing to do, you either need to pick the archetype, or acknowledge it and then say why you're focusing on another example from the list instead.

If instead, you immediately pick the one example from that list that suits your narrative, while not acknowledging that every single other example doesn't suit your narrative, that is a bad faith argument.

In any case, recent politics aside, Hungary is an amazing country. I'm not sure about emigrating there, but I definitely recommend visiting.
It is true that he has no academic credentials, but people with academic credentials have been employed on the research program led by him: Andrew Critch for example, who has a PhD in math from UC Berkeley, and Jesse Liptrap who also has a math PhD from a prestigious department although I cannot recall which one.

Also, this page lists 3 ex-Googlers as being currently employed by Eliezer's org: https://intelligence.org/team/

Nisan Steinnon who worked for Google also did some research work for the Eliezer's org.
You sound pretty elevated would like to see your work and how you approach development practices,
Secondly of you have actually worked on opensource projects and seen how people write commits you realize that the summaries are not so informative and you would have to go through the code to really know what was changed so having ai help you write messages is for the betterment of others to get a more detailed summary

Also this was an afternoon project I did before I had a meeting just for fun
There’s no going back to normal after this. Even if Trump called off the tariffs right now, the damage to international relations has already been done.
how does its importance compare to all the other similar garbage they are generating? the volume is designed to wear you down
I'm unsure how have you not stumbled upon RustDesk[0].

[0] - https://github.com/rustdesk/rustdesk
I noticed years ago too that AI doomers and rationalist type were very prone to (infinity * 0 = infinity) types of traps, which is a fairly autistic way of thinking. Humanity long time ago decided that infinity * 0 = 0 for very good practical reasons.
I tried it against deepseek-r1-distill-llama-70b running on Groq (which is really fast) and it didn't get the right answer: https://gist.github.com/simonw/487c4c074cd6ad163dba061e1e594...

I ran it like this:

llm -m groq/deepseek-r1-distill-llama-70b '
H01 There are five huts.
H02 The Scotsman lives in the purple hut.
H03 The Welshman owns the parrot.
H04 Kombucha is drunk in the scarlet hut.
H05 The Romanian drinks butterscotch.
H06 The scarlet hut is immediately to the right of the pink hut.
H07 The Old Gold smoker owns scorpions.
H08 Kools are smoked in the turquoise hut.
H09 Red Bull is drunk in the middle hut.
H10 The Brazilian lives in the first hut.
H11 The man who smokes Chesterfields lives in the hut next to the man with the bear.
H12 Kools are smoked in a hut next to the hut where the mule is kept.
H13 The Lucky Strike smoker drinks rum.
H14 The German smokes Parliaments.
H15 The Brazilian lives next to the brown hut.
Now,
Q1 Who drinks water?
Q2 Who owns the zebra?'

Using this plugin: https://github.com/angerman/llm-groq
TIL the Urbit developer is Moldbug. We can squarely blame him for the rise of tech bro fascism. Thanks dude.
> Bauckholt was a biological male who identified as trans and used feminine pronouns. He was an award-winning youth math genius who later graduated from the University of Waterloo in Ontario, Canada ..... Around 2021, he was hired as a quantitative trader at Tower Research Capital in New York.

Honestly, being trans is the least interesting thing about this dude (girl?). This is not some random angry person with uncontrolled emotions.
It seems the FAA office overseeing SpaceX's Starship probe still has some bite
If someone has one for the "share this" popups when you select some text in way too many articles/blogs I'd love to add this to my collection...
This comment can't be further from reality. If you show this (https://imgur.com/a/tgEsXq8) to people, their "very, very good built-in AI detection" won't bat an eye.

> This might actually kill the AI industry very quickly

Yes it will, but not in the way you implied. In a few years AI assisted image creation will be so common that no one will bother mentioning "AI" anymore, effectively "kill" the AI hype. Just like you can't sell built-in webcam as a feature of a laptop: every laptop has it.
Agree absolutely. Thanks for giving me something interesting to think about!
They already tried to wall the entire Southern border. Guaranteed, some company will step up to the plate and offer to do the same for the internet. The claim will be even easier to sell, considering we've been selling the Chinese the hardware to do it for years. Someone is about to get bloody rich (or richer) stamping on our rights.
It has become a bit of a meme lately. I think there's something to be said about a malaise era leading to an uptick in erratic behavior.

But at the risk of sounding smug and condescending, as someone who actually bought 10 acres "to get away from it all", I get the sense that the type of people in this saga would pack up pretty quick after a little taste. Lesswrongers aren't exactly known for pragmatism, which is sorta the only mindset that works. There's all this work that you don't know you don't know about. I just fell down the rabbit hole of the ziz lore and goddamn do these people sound inept. Like they couldn't even fix their RV to get off their landlord's property. Lots of quasi-intellectual masturbatory posting and not a lot of skills.

All that is to say I'm not super worried about any of these cults really taking off. Logistics remain challenging.
Political pressure to what end? Trump said “jump” on border measures and Canada jumped even before the tariffs.

The retaliation is posturing for the other party and for the electorate. If you’re driving in a car and your passenger pulls the pin on a grenade, you can “retaliate” by pulling the pin on your own grenade.
In my experience, the more loudly someone shouts about being a crusader for free speech, the more likely they are to actively be attacking others' freedom of speech.
A decade ago, before the 2017-2022 transformer/LLM revolution, China was ahead in some AI subfields like computer vision and facial recognition.

Top Western AI researchers like Dario Amodei, founder and CEO of Anthropic, used to work for Chinese companies like Baidu a decade ago.

Interestingly some of these people who used to work in the Chinese AI sector a decade ago, like Amodei, are now calling for GPU export restrictions against China. Either they know their moat against China is very limited or they witnessed some things in China that makes them uncomfortable with China getting ahead again in AI.
The majority of Chinese tariffs will be increasing to 35% as there all pretty much at 25% already.

But TheHill isn't known for math or journalism.
With DeepSeek-R1-Zero, their usage of RL didn't have reward functions really that indicated progress towards the goal afaik.

It was "correct structure, wrong answer", "correct answer", "wrong answer". This was for Math & Coding, where they could verify answers deterministically.
It will get worse right up until the revenue model stops working. I imagine that will happen when all the ad clicks are completely fake instead of just mostly fake
Political parties in America don't have a traditional, singular "party leader" per se. The President, House Speaker (or Leader if the party does not hold speakership), and Senate Leader generally consider policies within their purview and consult with each other as necessary. A national committee governs a party outside of government.

Trump has an outsized presence and influence upon the Republican Party, both as President and as an ordinary American citizen, but this is rather unusual and not the norm.
The constitution is a complex document that seems (to me) to say whatever you want it to say.
Even people who have spent their entire lives in that space (aka Supreme Court judges) have trouble agreeing what it says.

To fall back on the "oath to the constitution" to determine your path seems difficult. As an employee it seems like those above my pay grade pretty much interpret the constitution for me.
True Detective was great, but the last episode of season 1 really was a crappy ending.
How much more descriptive could that be?
passport not password. ugh, been too long since I watched Sneakers
Indeed.

https://stackoverflow.com/questions/9252656/einsteins-riddle...
good blog!
It can't prove it isn't q even if q's address was never taken though. It does not matter that q's address was taken. p+1 would still point to q. If you have a pointer in scope, you can no longer remove or reorder any write at all. Those pointers could have been pointing to volatile locations for all the compiler knows. If there is multithreading, it cannot remove any write at all since the other thread could have had a pointer to that location.

It no longer matters that a variable did not have its address taken at any point since that address could have been taken via pointer arithmetic from somewhere else.
Your comment in reply to: "Water heaters that are also AC units do exist"

https://www.homedepot.com/b/Plumbing-Water-Heaters-Tank-Wate...
Yeah, I am going to blame American/Western companies more than the American/Western governments.

For marketing reasons alone Meta (US) and Mistral (French) should have launched and promoted standalone apps just like DeepSeek did for R1/V3. Many people think DeepSeek's models are the first that can be self-hosted because they simply haven't heard about LLaMA's or Mistral's models.
I'm certain models like o3-mini are capable of writing Prolog of this quality for puzzles they haven't seen before - it feels like a very straight-forward conversion operation for them.
# h1 Heading 8-)

**This is some bold text!**

This is normal text

> Those who have paid even passing attention to modern productivity software will recognize the language and aim of Agenda, a project from more than 30 years ago, and therefore the broad endeavor of saving time, breaking silos, and endlessly iterating on what essentially amounts to the same few products, over and over, decade after decade.

Despite the posted title, this article is really about productivity apps and the people who use them. For each new app, they hope that this one will finally be the one that magically makes them "productive" where all the previous ones have failed. It then goes on to speculate on why they would do so and subsequently veers off into tangents on bullshit jobs, the role of middle managers in startups and (through a somewhat tortured metaphor of gaming as self-actualization) the role of leisure in the modern economy.

Fun article but not really about product hunt after the first few paragraphs.
Kotlin is compiled in the sense that it compiles down to bytecode read by the JVM. It's not machine code level but it is still compiled to a certain degree.
And Kotlin can compile natively for multiple targets including macOS and iOS without need for the JVM. There's also WASM support too.
Is this different to the free one on ai.google? Because that I’ve tested that extensively and it is absolutely garbage in every single respect.
And yet so many cults and politically extreme movements seem to originate out of the LessWrong-o-sphere. Strange, that.
If true, this could be a great opportunity to buy Shopify at a discount; however, I haven’t found any evidence that the tariffs apply to services.
why is this even something that the gov needs to worry about directly? why don't they just force airports / airlines to have to pay for these guys like in UK, Canada, or Germany?
Yes, that's correct. Why is that an interesting conclusion? Trump is a neo-nationalist (with or without the appended socialist, take your pick), not a conservative. It's notable that the only remaining resistance against Trump in the Republican Party (represented by, e.g. Nikki Haley) are a coalition of conservatives.
It was clearly ineffectual at stopping the Nazis, yes? It was also ineffectual at meaningfully impeding their efforts (near as I can tell).

I did everything I could do in the US without getting arrested. I got large portions of my life destroyed in the process. Talking to people, even people that should know better, was basically just pissing in the wind.

I found out years ago that a distant relative of mine (Jewish) left Germany in the mid ‘20’s to immigrate to the US, leaving his entire life behind. At the time, I wondered how he knew, or what could have happened for him to take such a drastic step.

Now I know. I’ve been taking similar steps for years. At least I can provide a Plan B for myself and others.

Maybe that makes me a coward. I don’t know. But I won’t help evil, and I won’t be a pointless martyr for someone else’s idiocy either.

If I had thought taking up arms at the time (or even now) would have accomplished anything except making them more powerful while getting thrown under the bus by anyone that it in theory would be helping, I would have.

But that isn’t the situation is it? Because I’d be a ‘lone wolf’ because there aren’t enough others would can or would stand with me. Yet. Maybe there never will be. Maybe I’m wrong and everything will be fine, yeah?

We’ll find out. At this point, I just want to give double middle fingers to US society and tell everyone to fuck off.

Productive? Probably not. But I’m only human.
If Trumps orders, and by extension the CDC orders are unlawful, then a court will decide that.

I don't think a CDC employee should break the law, equally I don't think CDC employees should be lawyers interpreting the law.

So the point stands. If you're asking employees to rebel against their employers, yet stay within the law, then I guess they need to lawyer up, and hope that (ultimately) Supreme Court judges agree with them.
I agree that issues in what you’re used to feel more acute. But I’ve spent my time on linux not less than on windows and osx (and dos, fwiw). Each claimed at least seven years of my life (but ofc windows was in the background all the time). The issues I mentioned in the linked post are very non-blanket and very specific. I know some solutions, but they have their own set of nuances (e.g. I know xfce would work fine for me, but it cannot deal with 1.5x scaling well, so I’d have to buy an extra display, which I have my requirements for and that’s far from being cheap, so…).

Yes it’s only a subset of all software that I have issues with, and only at this point in time, and only in my workflows. But please forgive me the blanketness if I say so from definitely non-zero experience and living through that periodically, on different distros/environments, with mostly the same result. And it’s not only me, the guys who see me working on it, or doing simple things on it themselves ask me why it is like that. I just say “because it’s linux”, cause what else can you say. Most of these issues are “just shtupid” and can’t compare to the issues I’ve had with win/osx.

I love linux - I work in msys2-enabled console all the time. I have studied APUE, that thick brick of knowkedge. I use it for my “gigs”, and I run a few linuxes in virtualbox and as VPS, all time. But this “DE” part, man.