skysight-inc/HackerNews huggingface dataset:
Cyphernetes seems capable of graph/relational logic.

The example on the homepage is literally "give me deployments with more than 2 replicas with pods that are not Running, and give me the IP address of the service they're serving"...

Any idea how to do that with kubectl | jq? Their solution seems elegant to me.
I have a kind of surprising experience with regard to this topic…
My older son was already a teenager when LLM’s got mainstream. He has struggled with an awful combination of Tourette Disorder, ADHD and OCD which has meant he’s been pretty disconnected from school entirely since he was very young. However, when he discovered chatGPT he started using it to write formal complaints about all the teachers he didn’t like and emails those formal complaints to the school principal.

The upside is that before ChatGPT he showed no interest in written communication at all and his school was genuinely concerned. Even an educational psychologist couldn’t properly assess whether he had an actual learning disability over and above his neurological conditions because instead of taking the psychometric tests he ate the papers. Just to be clear, he’s not intellectually disabled in anyway, he’s just so defiant that he blatantly refused to engage in any psychometric tests, and he stated that his IQ was his private business. Instead of being annoyed at all his letter writing, the school have taken his letters as an indication that he has some ability to read, write and comprehend, as all the letters he has written have been adapted by him to suit certain nuanced circumstances that would either require detailed prompts, or alternatively heavy editing. I have to say the school’s response to the letters has been refreshing. They wanted to see what else he might use AI to come up with, or how else he might use AI to engage in learning. His school has been allowing him to use AI to complete non-assessed school work. Everyone is so happy because he firstly started doing school work, but then, he’s also started doing some school work, without using AI now as well.
As a parent, I think if that was the aid he needed to build his self-esteem enough for him to feel able to engage in learning then I’m all for it.
The author disparages ibis but i really think that this is short sighted. Ibis does a great job of mixing sql with dataframes to perform complex queries and abstracts away a lot of the underlyng logic and allows for query optimization.

Example:

df = (

df.mutate(new_column=df.old_column.dosomething())

.alias('temp_table')

.sql('SELECT db_only_function(new_column) AS newer_column from temp_table')

.mutate(other_new_column = newer_column.do_other_stuff())

)

It's super flexible and duckdb makes it very performant. The general vice i experience creating overly complex transforms but otherwise it's super useful and really easy to mix dataframes and SQL. Finally it supports pretty much every backend including pyspark and polars
Not sure I understand

What % of programmers in your company writes verifying coq proofs or equiv for what goes to production? Vs what % just does testing (unit, integration, etc)?

For us, as a small team, we do 7-8 figure annually for tested but unverified GPU code, and our growth plan does not involve formal verification
Isn't it good they don't know these differences? The fact we know is mostly due to poorly designed UX, not some high level concept that needs to be known. Modern phones are a much better UX for most people.
I think this is largely a matter of habit, and not of reality. Yes, you might get the business short term if you lie and say some feature will be available Q3. But over time that type of constant lying erodes trust and hurts you.

I get it, you might need to do it to survive in the beginning because competitors will be doing the lying. But I'm saying you need to stop lying as soon as possible for the long term health of the relationship.
Please go on … don’t leave us hanging about your story :)
Discussions

(58 points, 3 days ago, 40 comments) https://news.ycombinator.com/item?id=42403886

(63 points, 2 days ago, 42 comments) https://news.ycombinator.com/item?id=42408361
I don't think the state cared whether scientists cared about the ethics of the project. But I guess Hacker News does, so let's read on!

> Scientists whose work suddenly raises the red flag — for example, those whose work gets labeled “potential dual-use research of concern” — often balk at the imposition of restrictions and the requirement of deeper reflection.

I don't care what kind of obsession you have with a task—if you know the impacts of your research, disapprove, and research anyway, I don't give a flying fuck about your intentions. You're a shitty person who evidently approves of what you enabled.

FWIW, I think basically every defense project after this is far more interesting in terms of the morals of every day workers. The bombing of two cities was, possibly, justified by the people who made the bombs. What are the excuses of everyone who trailed this action? The Cold War seemed to set humanity back by a many decades, and I'm more than happy to put this on the workers that fulfilled the vision of nuclear (& chemical, cyber, whatever) warfare. Since the USSR collapsed this regression in technological advancement has become even more pronounced.
I guess they would say that you have to send the output of that to be inputs of another kubectl command like

$ kubectl logs -n foo $(kubectl get pod -n foo | awk '/Running/{print $1}')

because one of their selling points is "no nested kubectl queries".

I don't see how their queries can be more efficient than hitting the kube-apiserver multiple times, unless they have something that lives clusterside observing lifecycle events for all CRDs and answering queries with only one round-trip instead of multiple.

Or maybe they're selling "no nested kubectl queries" as an experience feature, saying that a query language is more ergonomic than bash command redirection. My brain has been warped into the shape of the shell, for better or for worse, so it's not a selling point for me.
Now I want to see visual proof of Euler's Identity: e^(iπ) = -1
If anyone thinks there's anything good coming out of this for those who aren't multi-millionaires and billionaires, I have some land on the Moon to sell you.
I would posit that perhaps this is exactly what this article is about?

I mean, we're not talking about complex grammar.
Django is in the middle of Pythonia, and not in Djangonia. Weird!
Was even worse last week. Got off plane and metro was on strike.
> This notation doesn't require graduate-level statistics knowledge, it's more like stuff that would be covered in a first mathematical course on probability and statistics.

Perhaps a first course at grad level, but my engineering bachelors covered MLEs but we didn’t learn/use any of those formal language things. I think the core mathematics (and likely other pure science) cohorts were the only people who learnt it.
Reading your comment made me think that they're so close to "OSQuery for k8s", but that already seems to exist: https://www.uptycs.com/blog/kubequery-brings-the-power-of-os...
He was sometimes successful.

He had tons of failure and failed in the worst possible ways blaming everyone all around him and not taking any responsibility and then he got a chance to rebound and was finally successful. It's complete scoreboard journalism, if for whatever reason at the end apple didn't succeed we'd just put him in the POS column. But instead cause he made some of that sweet green (at the end) we say he's amazing.
That is what I don't get.
See my above on there is an academic use of terminology here that makes any discussion here irrelevant. A big chunk of the article reduces to pedantic trolling by basing arguments on this.
I always find it odd to see infrastructure equipment with power cables that can easily be knocked out. I understand the need for flexibility but it would be nice if it was secured somehow.
Not that surprised. Rust is known for being evangelized by a very loud minority.
I wonder why the jobs demand such long hours. Where are the deadlines coming from? Is there something in the banking sector that necessitates this level of pressure and work hours or is it a problem of the "partner-model" where a lot of people are hired at lower levels and then the carrot of "becoming a partner earning big bucks" is dangled in front of them to make them work like mules and then take the ones who survive?

My knowledge of the banking and consulting industry tells me it is the latter although someone from inside can correct me if I'm wrong.
Why would you want to though? You already can get free access to large LLMs and nobody is doing anything groundbreaking with them.
>> This was at college of course.

Well sure, the colleges had the good toys long before the rest of us. But we didn't have college-level money at home or at work.

I left college (and the machines that existed there) in 1992. And the hardware there in 1992 was better than the hardware I had at home or at work for the rest of the 90s.

So yeah, the tech existed, but it wasn't the tech we got to play with again until much later on. By 1998 though we had at least moved away from DOS development into Windows.
Is it possible to be concerned about multiple things as a CEO?
Counter-Drone Systems for Yachts Are Growing in Popularity
When Republicans talk about "small government" what they mean is less social safety net and more privatization and they have been very successful at this.

They created the current "student loan" system for college, burdened USPS with the pension funding changes, and have held multiple states out of Obamacare expansion, they will definitely continue down that path and they might kill a lot more during this presidency.

So you'll definitely get smaller government, just might not be what you think it should be.
I'm interested to know what breaks in the Linux desktop experience.

I've been using Linux exclusively as a desktop environment at home for 5 years or more and my primary pain point is kernel updates breaking DisplayLink, via a docking stattion I use for multiple monitors. I now have a specific command line that rolls back the kernel to the previous version, and then I wait for updated DisplayLink drivers.

It's a pain, but it's still (much!) better than the circles of hell that Windows has been putting users through since Windows 7.

Strangely, the Windows laptop provided by my work just stopped being able to pipe audio through the speakers plugged into the docking station. Which feels like Windows "doing a Linux". The tables are turning?
"It depends" (like every legal question).

It's possible to violate free speech rights by banning a platform even when their are alternatives. Most relevantly to this situation, the platform itself is most likely engaging in speech of its own by choosing what to repeat of what other people have said (i.e. it's choice of algorithm). If the platform was being banned for that speech (and that speech didn't happen to fall under an exception) that would be problematic.

It's also clearly possible to ban a platform under other circumstances. For instance banning a platform that was used by various parties for (protected!) speech, but was also being used for money laundering...

TikTok is a complicated case. It is on the edge of banning a platform for protected speech in so much as it is concerned with a US corporations (relevant because speech by non-americans from outside of the US is not protected) choice of recommendation algorithm, except the algorithm is really dictated by a Chinese corporation under the direct influence of the CPP. There are also however very compelling legitimate concerns the government has, such as the CPP's espionage interests, and the CPP's (not-protected, as a foreign government!) influence over TikTok's speech.

It's also notable in this case that the platform is being banned only so long as the foreign adversary refuses to divest. TikTok is free to continue operating in the US, so long as it isn't under China's (an entity without free speech rights) control.

I'd encourage you to read the appeals court ruling for a much more nuanced, and authoritative, take then mine: https://media.cadc.uscourts.gov/opinions/docs/2024/12/24-111...
> clean outdoor air

Is the air outdoor or clean? It can't be both!

Marketing bullshit aside, this looks great!
How Is Technology Changing Our Brains?
In today's world, we use technology every day, from smartphones to social media. But how is this affecting our brains? Are we losing focus, becoming more anxious, or learning faster? I’d love to hear your thoughts and insights on how modern tech is shaping the way we think, learn, and live.
This looks really cool! I started to build something like this using thin square aluminum tubing but I never finished the project.
This is fantastic. I’ve always enjoyed the cypher language that the neo4j team created for querying graph data. The connected k8s api objects seem like a great place to apply that lens.
That kind of depends on where you live. And this can be combined with air filtration.
We shouldn't get into a dick measuring contest over who hides more from their citizens.

That the Chinese have used our brain worm factories against us, infiltrated our domestic surveillance and wiretapping systems, and let themselves into our completely volitional infrastructure backdoors should only stimulate us to ask why we created such things in the first place.

Where's our canary, again?
> The problem is that my son’s mobile phone is governed by strict parental controls, making this daily lookup an unpopular chore on my side

This was a neat project, but I feel like this is insanely overkill for a solution that is “whitelist the app required for school”.

I sort of feel bad for this kid.

I mean, I graduated high school in 15+ years ago and we had a website that we had to regularly check for assignments and project updates and things. It was a requirement of school. I know these types of sites are even more integral process wise, now a days.

Having a parent that’s such an engineer, that they impose such odd restrictions on phone use (even for a school site), sounds not fun.
Well... How do humans synthesizs programs then? We don't do exponential search over some symbols. We "somehow know" which branches get us closer to a program and which don't. It's foolish to believe it is impossible to teach an AI to "somehow know" this, too.
Also: For some reason the bar is always higher for AI. Next to no human code is verifiably correct. And the actually verified-to-be-correct code is an even smaller subset.
Definitely in some places, but is there a region where outdoor air is so clean you don't need this device?
Yeah i've noticed this a lot with ibis. Coming from pandas, ibis was a bit of a learning curve and the LLMs were very bad at generating correct code. LLM generated pandas code is generally copy-paste-run and it often just works correctly. Ibis however was usually completely wrong or just slightly tweaked pandas code.

Makes me wonder if each new technology project will need to make an effort to sythensize data to allow for "indexing" by LLMs. It will be like a new form of SEO
Which they have but that can just be blocked as well. Sure you will be able to access it with workarounds but most people won’t.
I slowly transfered out of Trad. Engineering (Civil/Mech/Electrical/Electronic) pretty much because Engineering Math, Chem, and Physics units were almost all "learn these results and how to apply them" and little to no "these are the underpinings of these results".

It took six months for Math 100 (Maths for wanna be mathematicians) to "catch up" with the applications being spat out in Math 101 (Maths for people that practically use math for applications) but by the time the foundations were laid almost all the applied math in the Engineering coursework results just became "an exercise for the reader" to derive without need for rote memorisation.
You can also just wind up increasing overall waste - i.e. the defense procurement classic is "we ordered 200, but we want to save money so we're cutting the order to 100". In practice of course, this does not halve the price of the contract, you'd be lucky if it's even 25% less because you weren't ordering "200 of already built thing" you were ordering "200 of thing with it's own production line, tooling, compliance costs and staff and workforce".

So ramming through a bunch of budget cuts might necessarily involve cutting a whole bunch of programs like that...but the effect is you've just ensured you pay proportionally more, to get less, despite the fact you had more then enough cash on hand for the original order.

Which is the problem with a year over year budget: the upfront price of the massive order of whatever it is might be that over time it's going to be far cheaper once delivered (or that it's delivery for the next 20 years of supply)...but the budget for it is only approved year by year.
It's cool to see this as one of the top comments. I grew up in southern Delaware, and remember messing around with Plato at Delaware Technical and Community College, which was also a satellite campus for UD, when I'd hang out there with an elementary school friend whose mom worked there. I feel grateful to have had exposure to things. I don't remember much about it, but I remember that it felt very futuristic and magical.
I'm seeing a lot of these pop up at the moment - but that's a good thing.

Some feedback:

- Tables are not rendered properly, it places cells on new lines without clear relationships.

- There needs to be a "concatenate and download all" button that takes all results and downloads a single markdown file.

- Add a link to the source code on the main page, you'll get people wanting to contribute and will be able to track bugs.
Why/how does the presence of Swift make QT a bloated piece of trash?

Genuine question. I know little
of QT and nothing of its history re: Swift or version 5.
I was gonna (silently) disagree with you, but in the last couple of weeks I updated Windows and now it's periodically asking if it can know my location. I'm not clear if Windows is asking, or it's asking on behalf of a specific app, or so it can give this info to any app that wants it. And I don't care - the answer is no, no matter how many times it asks.

I always admired Linux, and was able to get around in Linux, but never seriously considered using it until that MS AI thing that works by taking a screenshot every couple of seconds. And now this pester-ware asking for my location.
The way I like to describe HRV/ERVs to people who don't know about them is:

"Imagine you could open a window to get fresh air into your house and stale air out, but when you did so, most of the heat/humidity would stay in during the winter, or stay out during the summer, leaving you just the fresh air".

In terms of the effect on environment inside a house, I usually say:

"Imagine it's always a fresh-air spring day inside your house"

This is a great project. One problem with ERV/HRV systems right now is that they are very expensive niche products. While this system doesn't achieve the extremely high heat recovery efficiencies of counter-flow units, the perfect is the enemy of the good, and this seems like it could be orders of magnitude cheaper.
I would hazard that you need to act quickly when you receive new information to capitalize on it.
Her keynote at last year's https://www.louie.ai/gen-ai-graph-the-planet/ explicitly ended on this

Basically the way forward she's most excited about wrt AI x Security as a way avoid devolving into AIs fighting AIs at runtime by instead moving to enfusing authoring time with formal methods. I think her references were to earlier verified C compiler extension frameworks such as by George Necula's various projects.

Interestingly, hints of LLMs-for-automating-proofs are in her older papers, e.g., https://arxiv.org/pdf/1806.00608 . Even Terance Tao is leaning in here now: https://www.youtube.com/watch?v=AayZuuDDKP0
They've determined that it's not a violation of free speech because China, and that it's not a bill of attainder because China. You could replace "China" with anything.

What does it mean to be a "foreign adversary?" When did voters get a say in that? When Democrats (and every media outlet) were accusing Trump of being a secret Russian agent, and people who supported him of being traitors, would it have been legal (and not a "punishment" but a "prophylactic" as the appeals court said about TikTok) for the legislature to limit their free speech by name?
Never, have I ever read a more complicated abstract.
There are about a billion other reasons why Apple is so successful today. It really has nothing to do with the illegal non-compete, considering most of its astronomical growth came post-Steve, something most people fail to understand.
As a modern day tech person, you only spend 4 hours a week on your keyboard across browsers, email, messaging, command line, etc? What about your personal life?

Even then, learning Vim could improve your computer interactions easily by 10%. That's 40 min a week or ~34 hours in a year.

https://xkcd.com/1205/
does it introduce itself? like, "Good morning, I am an AI assistant here to help you with memory problems associated with dementia. Some of the things you perceive may not be present for others. You are otherwise healthy, safe, and loved. I have been provided with some memories for you and I will remind you of them when you need them. If this feels like your first perception of this message, please let us know and we can bring you up to date with your medical condition and what to expect."

Then it recognizes faces of visitors and maintains backstories on them, senses the distance from base reality the patient is responding in, and then keeps the patient on track and managing their condition with the least possible suffering.

It seems horrific, but also humane in some cases.
Don't let me ruin this for you but shootings inside CPS schools are extremely rare.

https://www.chds.us/sssc/data-map/
If you have a parametrized functions that imperfectly models a real phenomenon, of course there are errors. Why assume they are random? A better assumption is that your model is just poor. Assuming deterministic modeling errors are due to randomness has always struck me as bizarre.
Love this book. I did a short interview with the author Brian Dear about his writing tools + process a while back. Perhaps my favorite anecdote is that he started working on this book in 1985, using MSDOS and later a NeXT cube for his notes. The authorial process truly experienced the full gamut of personal storage mediums over the years.

https://writeswith.com/interviews/brian-dear/
Oldest human genomes reveal how a small group burst out of Africa
> on a PoS

i am unconvinced of the idea of PoS as a proof. Nothing will defeat proof of work in my mind.
If you paid attention to anything that Musk have said, it should be pretty clear that he is an idiot. Everything "engineering" Tesla or SpaceX related that came out of his mouth was communicated to him buy actual engineers. Once he went on his own to do Twitter without any advisers, the amount of cognitive dissonanse that he dispayed and still does to this day is astounding. There is no chance that someone like that can make any correct cuts.

Even if you dont believe any of that, the fact that he championed Trump should be a huge red flag on his mental state.
elon lost the bet. now he wants to take revenge. thats all there is.
I thought we are talking about cellphones here. Yeah, a lot of there time hypocrisy exists.

Hence, leading by example is a good tool.

You're the only one trying to apply to every single edge case imaginable.

No, you don't have to stop driving a car either just because you won't let your toddler take the wheel.
MCP tools make LLMs more deterministic
I live near a ten lane highway. I prefer to keep the outdoor air out, and the indoor air filtered. I could see this being very useful for other dwellings though.