xemdetia (u/xemdetia)

xemdetia commented on DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] github.com/deepseek-ai/De... · Posted by u/fspeech

awei · 20 days ago

Something weird here, why is it so hard to have a deterministic program capable of checking a proof or anything math related, aren't maths super deterministic when natural language is not. From first principles, it should be possible to do this without a llm verifier.

xemdetia · 20 days ago

Maths can be super deterministic but often difficult to compute because of concepts like inferring by induction. I had to personally unlearn and rebase my understanding of math based in computation to 'get' pure maths. Another example is set building. You often don't need to compute the existence of members of sets in pure math you just need to agree that there are some members of a set that meet the criteria. How many or how many things that aren't in the set aren't meaningful often times to accept something and move on with the proof. From the computing perspective this can be difficult to put together.

xemdetia commented on GOP overhaul of broadband permit laws: Cities hate it, cable companies love it arstechnica.com/tech-poli... · Posted by u/duxup

YouWhy · a month ago

Is the question at hand about balancing local building authorization with the government's intent to encourage a specific kind of national infrastructure businesses?

This seems to be supported by this quote:

> Putting arbitrary deadlines on state, local, and Tribal governments to start and finish complicated permit reviews...

I'm not an American but I am alarmed at the recent tendency for bad-faith rule making. However - the above sounds in reasonably good faith - is that indeed the case or am I missing some angle?

xemdetia · a month ago

From my perspective depending on where they want to develop it might be trivial to add something time consuming to a proposal such as eminent domain or easement reviews that will run out the shot clock and drown out reasonable questions by local governments. Local governance often is complicated by local (town), regional (county), and state level roles. Additionally depending on the area not all of these roles are even staffed by people working on it full-time.

xemdetia commented on Ask HN: Who uses open LLMs and coding assistants locally? Share setup and laptop · Posted by u/threeturn

scosman · 2 months ago

Makes sense that you'd run locally then.

But really no host you trust to not keep data? Big tech with no-log guarantees and contractual liability? Companies with no-log guarantees and clear inference business model to protect like Together/Fireworks? Motives seem aligned.

I'd run locally if I could without compromise. But the gap from GLM 4.5 Air to GLM 4.6 is huge for productivity.

xemdetia · 2 months ago

This really isn't an all or nothing sort of situation. Many of the AI players have a proven record of simply not following existing norms. Until there is a consumer oriented player who is not presuming that training on my private data and ideas is permitted it only makes sense to do some stuff things locally. Beyond that many of the companies providing AI have either weird limits or limitations that interrupt me. I just know as an individual or a fledgling company I am simply not big enough to fight some of these players and win, and the compliance around companies running AI transparently is too new for me to rely on so the rules of engagement are all over the place. Also don't forget in a few years when the dust settles that company with that policy you like is highly likely to be consumed by a company who may not share the same ethics but your data is still held by them.

Why take a chance?

xemdetia commented on Do things that don't scale, and then don't scale derwiki.medium.com/do-thi... · Posted by u/derwiki

chrisldgk · 4 months ago

People hated it because Google for some reason decided to force it into YouTube by forcing you to link your YouTube account to your G+ account. Remember that stick figure tank guy that was plastered over every comment section?

I believe that’s mostly what killed Google Plus. People were introduced to it in the worst way possible, so nobody actually cared to try it out, even if it was technically a good product.

xemdetia · 4 months ago

This was also introduced in the same moment as a bunch of real name initiatives from multiple companies. People were rejecting it based on what it demanded compared to what was offered. It also killed or force reworked other Google products that were working fine to end users (e.g. Google Talk).

In my eyes it was one of the key moments that put them on a downward trajectory in public opinion. So while it might have had the right features the rest of the deal sucked, and people were already tiring of social media overall.

xemdetia commented on Benchmark Framework Desktop Mainboard and 4-node cluster github.com/geerlingguy/ol... · Posted by u/geerlingguy

xemdetia · 4 months ago

I was about to be annoyed until you said you got preprod units. I guess I'll have to build on this when my desktop shows up.

xemdetia commented on Intel Announces It's Shutting Down Clear Linux phoronix.com/news/Intel-E... · Posted by u/gpi

burnt-resistor · 5 months ago

Corporations, more often than not, are parasitic, good weather friends, and a let-down to FLOSS. They don't pay their fair share to support critical bits and they don't sustain projects with stability or usability when release things or take them on themselves. Their employee get performance points for adding new features, not making things usable, simple, or polished.

xemdetia · 5 months ago

I think the thing you missed is how aggressive their firings had been. It is quite possible that they no longer have capacity to maintain a distribution. Public reporting indicates 5,000 people let go... but probably more were guided to leave.

If that is the case then terminating Clear Linux as a distribution might be the responsible thing if they were the source of direction for the distro. This was also a PoC distro as opposed to seeking enterprise workloads so it also seems reasonable that after the innovations that were good were adopted by more mainstream distros they no longer served a purpose.

I still expect to see a steady stream of kernel patches for new chips and features. I just would place headcount loss and accomplishing everything they set out to do with the distro over FOSS malice. Unlike many of the ghosts of malicious corp open source this doesn't fit exactly in my view.

xemdetia commented on Mercury: Ultra-fast language models based on diffusion arxiv.org/abs/2506.17298... · Posted by u/PaulHoule

refulgentis · 5 months ago

Yes and no, I'd estimate 1/3 to 1/2 of that is down to test suites are flaky and time-consuming to run. IIRC shortest build I had was 52m for Android Wear iOS app, easily 3 hours for Android.

xemdetia · 5 months ago

While not at Google for myself a lot of the CI test failures just become knock on effects from complex interdependent CI components delivering the whole experience. Oops Artifactory or GitHub rate limited you. Oops the SAST checker from some new vendor just never finished. Even if your code passes locally the added complexity of CI can often be fraught with flaky and confusing errors that are intermittent or run afoul based on environmental problems that particular moment you tried.

xemdetia commented on Avoiding skill atrophy in the age of AI addyo.substack.com/p/avoi... · Posted by u/NotInOurNames

doright · 8 months ago

I was learning a new cloud framework for a side project recently and wanted to ask my dad about it since it's the exact same framework he's used for his job for many years, so he'd know all sorts of things about it. I was expecting him to give me a few ideas or have a chat about a mutual interest since this wasn't for income or anything. Instead all he said was "DeepSeek's pretty good, have you tried it yet?"

So I just went to DeepSeek instead and finished like 25% of my project in a day. It was the first time in my whole life that programming was not fun at all. I was just accomplishing work - for a side project at that. And it seems the LLMs are already more interested in talking to me about code than my dad who's a staff engineer.

I am going to use the time saved to practice an instrument and abandon the "programming as a hobby" thing unless there's a specific app I have a need for.

xemdetia · 8 months ago

I find this to be an interesting anecdote because at a certain level for a long time the most helpful advice you could give is what would be the best reference for the problem at hand which might have been a book or website or wiki or Google for stack overflow and now a particular AI model might be the most efficient way to give someone a 'good reference.' I could certainly see someone recommending a model the same way they may have recommended a book or tutorial.

On point of discussing code.. a lot of cloud frameworks are boring but good. It usually isn't the interesting bit and it is a relatively recent quirk that everyone seems to care more about the framework compared to the thing you actually wanted to achieve. It's not a fun algorithm optimization, it's not a fun object modeling exercise, it's not some nichey math thing of note or whatever got them into coding in the first place. While I can't speak for your father I haven't met a programmer who doesn't get excited to talk about at least one coding topic this cloud framework just might not have been it.

xemdetia commented on AI agents: Less capability, more reliability, please sergey.fyi/articles/relia... · Posted by u/serjester

photonthug · 9 months ago

Tech won't freeze in place exactly where it's at today even if some people want that, and even if in some cases it actually would make sense. And.. if you advocate for this I think you risk losing credibility. Especially amongst technologists it's better to think critically about structural problems with the trends and trajectories. AI is fine, change is fine.. the question now is really more like why and what for and in the interest of whom. To the extent models work locally, we'll be empowered in the end.

Similarly, software eating the world was actually pretty much fine, but SaaS is/was a bit of a trap. And anyone who thought SaaS was bad should be terrified about the moats and platform lock-in that billion dollar models might mean, the enshittification that inevitably follows market dominance, etc.

Honestly we kinda need a new Stallman for the brave new world, someone who is relentlessly beating the drum on this stuff even if they come across as anticorporate and extreme. An extremist might get traction, but a call to preserve things as they are probably cannot / should not.

xemdetia · 9 months ago

I am worried about a more modest enshittification. I am already starting to encounter models that are just plain out of date in non obvious ways. It has the same feeling as trying to remember how to express someone on how to troubleshoot windows over the phone for two versions ago (e.g.: in vista this was slightly different).

xemdetia commented on DOGE will use AI to assess the responses of federal workers nbcnews.com/politics/doge... · Posted by u/doener

Almondsetat · 10 months ago

There was no way those millions of emails were getting analyzed by humans. Even AI, or any other algorithm, has no idea what those people are doing and what their actual roles entail, so what even is the point of this thing except being annoying and causing a scene? If the purpose of the stunt was to simply "check for the pulse" of public servants, why even analyze the replies? Something sketchy is behind this operation.

xemdetia · 10 months ago

As far as I can see it is just strawmanning the federal workforce as a boogeyman. Every federal person I heard of or talked to spent most of the weekend and Monday trying to understand how to respond and what was permitted to disclose. The email looks like a phishing email because it's not from existing org structure. Most fed employees never have interacted with OPM before because that's not how any of this worked. It also doesn't help that the email before this was 'if you respond to this email you resign.'