skysight-inc/HackerNews huggingface dataset:
I run proxmox, and ever since day 1 I noticed it hits the disk.

a LOT.

I dug into it and even without ANY vms or containers runnning, it writes a bunch of stuff out every second.

I turned off a bunch of stuff, I think:

systemctl disable pve-ha-crm
systemctl disable pve-ha-lrm

But stuff like /var/lib/pve-firewall and /var/lib/rrdcached was still written to every second.

I think I played around with commit=n mount and also

The point of this is - I tried running proxmox with zfs, and it wrote to the disk even more often.

maybe ok for physical hard disks, but I didn't want to burn out my ssd immediately.

for physical disks it could be noisy
I’m not trying to be rude about this at all, I’m just going to point out that this particular topic is one that I’m absolutely certain I know of in much more detail than you do.

I’m obviously familiar with what a dangle is and how it works both in theory and in practice but if you’re trying to imply Barsky was somehow a dangle I wouldn’t politely say you don’t know what you’re talking about at all.

I’m not trying to give you a hard time about this but if you have some kind of compelling evidence beyond what you’ve read in a single book I’d ask you to share it.

To suggest Barsky is somehow suspect is really at odds with not only all of the details of his story and his eventual arrest but also the entire professional community on the subject. It’s just not true.
more options for customizable tuning would be great.
And I suppose you are assuming that the robots will mine and refine the metal ore themselves, and then also dig the foundations for the factories that house their manufacturing?
Further - just remember Jeffrey Epstein got all his wealth investing for rich people… how? We still don’t know those details
Well, the incentive is that he didn't want to run the tests out of laziness (i.e. he lacked an incentive to run them). He ran to Lisa to give his anticlimactic report not to be deceptive, but rather he just happened to be cycling through that part of town and just needed to use the bathroom really badly.
My point is that the law doesn't actually look at situational risk or recklessness. It is a rough heuristic to approximate it. Im not even necessarily arguing against it, but highlighting the common conflation between harm, actual risk, and heuristically approximated risk.

A cop or the law makes no pretension of trying to evaluate if a driver actually put someone at risk in a given scenario. A judge doesn't care if you were alone on the road or how far you were going. A judge doesn't even care if the car is on or moving.

>alcohol is a leading cause of vehicle related deaths and there are quite a few of them every year. It seem problematic to argue that these laws aren’t based on actual facts and real danger when both are well documented.

I would say there is little systemic logic to the rate and severity of penalties. In 33% of pedestrian fatalities, the pedestrian was drunk. In 16%, the driver was drunk.[1]

Similarly, the common DUI threshold is 0.08 BAC.

Being awake for 17 hours (working late) is similar to having a BAC of 0.05%. [2]

Being awake for 24 hours (working a double shift) is similar to having a BAC of 0.10%

Simply talking on a phone while driving has been shown to be similar to a BAC of 0.08%.

Texting while driving is equivalent to a BAC of 0.19%! [3]

The fine for texting while driving starts $20, but the total cost can be over $162 due to court costs.

>The same could be said about almost every kind of harm you can think of. It’s unclear what someone is supposed to take from this statement.

Im just making the point that we we criminalize isnt as clear cut as one might think, and people often conflate actual harm, actual risk, and heuristically approximated risk.

More generally, I think the intersection with probability and criminal justice is fascinating, particularly the criminalizing risk factors. e.g. if we took a similar approach, what percent confidence would we need that someone will commit murder to preemptively lock them up based on risk.

https://www.ghsa.org/sites/default/files/2020-02/GHSA-Pedest...

https://www.cdc.gov/niosh/work-hour-training-for-nurses/long...
https://facilities.uw.edu/blog/posts/2016/07/26/texting-and-...
> I do wish tree-sitter had a mechanism to directly manipulate the AST. I was unable to simply rename/delete nodes and then write the AST back to disk. Instead I had to use Jedi or manually edit the source (and then deal with nasty off-set re-parsing logic).

Or libCST: https://github.com/Instagram/LibCST docs: https://libcst.readthedocs.io/en/latest/ :

> LibCST parses Python 3.0 -> 3.12 source code as a CST tree that keeps all formatting details (comments, whitespaces, parentheses, etc). It’s useful for building automated refactoring (codemod) applications and linters.

libcst_transformer.py: https://gist.github.com/sangwoo-joh/26e9007ebc2de256b0b3deed... :

> example code for renaming variables using libcst [w/ Visitors and Transformers]

Refactoring because it doesn't pass formal verification: https://deal.readthedocs.io/basic/verification.html#backgrou... :

> 2021. deal-solver. We released a tool that converts Python code (including deal contracts) into Z3 theorems that can be formally verified
Assessment of Oxy-Fuel Combustion CO2 Capture in Coal-Fired Power Plants
Preventing people from working if they didn't get a covid vaccine was a bit heavy handed.

And saying it was likely made in a lab in China is kind of censored to this day. I think partly because the science community doesn't want to take flack for doing risky stuff and killing millions.
> AI’s carbon footprint is reaching more alarming levels every day

It really really really really isn’t.

I love how people use this argument for anything they don’t like – crypto, Taylor Swift, AI, etc.

Everybody in the developed world’s carbon footprint is disgusting! Even yours. Even mine. Yes, somebody else is worse than me and somebody else is worse than you, but we’re all still awful.

So calling out somebody else’s carbon footprint is the most eye-rolling “argument” I can imagine.
public school system is full of grift, politically appointed and allocated resources, and zero accountability.

if you face inefficient system that cannot manage resources - you cannot pour more resources and expect better results.

as a proof you can look at Chicago, DC and Baltimore school systems that have the highest per capita spend and the lowest academic achievement metrics.

we just need to provide parents an option to opt-out of crooked system
It's not that one needs an excuse. The Google CT repo said clearly you don't need to pretrain. "supported" usually includes at least an illustration, some scripts to get it going - no such thing there before Kahng's paper. Pre-trained was not recommended and was not supported.

Everything optimized in Nature RL is an approximation. HPWL is where you start, and RL uses it in the objective function too. As shown in "Stronger Baselines", RL loses a lot by HPWL - so much that nothing else can save it. If your wires are very long, you need routing tracks to route them, and you end up with congestion too.

SA consistently produces better solutions than RL for various time budgets. That's what matters. Both papers have shown that SA produces competent solutions. You give SA more time, you get better solutions. In a fair comparison, you give equal budgets to SA and RL. RL loses. This was confirmed using Google's RL code and two independent SA implementations, on many circuits. Very definitively. No, ML did not have SA beat - please read the papers.

Cadence hasn't funded Kahng for a long time. In fact, Google funded Kahng more recently, so he has all the incentives to support Google. Markov's LinkedIn page says he worked at Google before. Even Chatterjee, of all people, worked at Google.

Google's open-source tool is a head fake, it's practically unusable.

Update: I'll respond to the next comment here since there's no Reply button.

1. The Nature paper said one thing, the code did something else, as we've discovered. The RL method does some training as it goes. So, pre-training is not the same as training. Hence "pre". Another problem with pretraining in Google work is data contamination - we can't compare test and training data. The Google folks admitted to training and testing on different versions of the same design. That's bad. Rejection-level bad.

2. HPWL is indeed a nice simple objective. So nice that Jeff Dean's recent talks use it. It is chip design. All commercial circuit placers without exception optimize it and report it. All EDA publications report it. Google's RL optimized HPWL + density + congestion

3. This shows you aren't familiar with EDA. Simulated Annealing was the king of placement from mid 1980s to mid 1990s. Most chips were placed by SA. But you don't have to go far - as I recall, the Nature paper says they used SA to postprocess macro placements.

SA can indeed find mediocre solutions quickly, but keeps on improving them, just like RL. Perhaps, you aren't familiar with SA. I am. There are provable results showing SA finds optimal solution if given enough time. Not for RL.
Ironically, this feels like a comment written by AI
the highest per student spend is at the most failing and underperforming school systems: Chicago, DC, Baltimore - and they haven't showed a trend to improve at all and keep demanding more and more resources
Skilled labor is the ultimate constraint.

It's really hard to keep good employees working at these places for a long duration. Innovation is something your customers do. Your job is to make it as boring as fucking possible.

I could only stand it for 3 years before I had to quit (Samsung). I know others who still enjoy the experience though.
Since immigration sponsorship is crucial, it’s wise to stay while passively exploring new opportunities and networking. Focus on upskilling or working on side projects to keep yourself prepared for future moves. If the current role isn’t providing value, think about how it can still support your long-term goals.
Installing Google Play Store on WayDroid
My last job made me shill for AI stuff because GPUs have a lot of income potential. One of my next ones is going to make me shill for AI stuff because it makes people deal with terrifying amounts of data.

I understand why this is the case, but it's still kinda disappointing. I'm hoping for an AI winter so that I can talk about normal uses of computers again.
The only conclusion that I can draw from all drama is that the legal and PR teams at those teo companies are not doing a good Job. Or that they are not given the chance to do their job.
Lol, yeah, having SAML means putting XML parsing into critical security points. No thanks.
I worked on the TruePlay product. It won't help in this case. Even though most streaming services do loudness normalization to keep tracks at around the same volume as each other, some are still louder than others.
It's true though. Books hand written and illustrated by scribes were astronomically higher quality than mass printed books. People just tend to prefer what they have access to, and cheap/low quality is easy to access.
Kind of. My home refrigerator does this and it just works. The one at work regular gets hung up nearly shut. There's a local minimum in the almost closed state. It only has enough momentum to close if builds up enough speed.

The ideal refrigerator should self close from any angle of open-ness. This is definitely not the case in general today.
I extrapolate to all of academia, but not to all academics (persons working in academia). My methodology is based on my intuition and my experiences. Already in this YC article the comments appear to be akin to the first meeting between battered housewives. You don't have to believe me or others, I'm just issuing a warning to anyone thinking of getting into academia: be alarmed and alert, and always careful. It's nothing like the movies portray academia to be, instead it's a thieves den, or a poker table, etc, you get the point.
Go tell the Ukrainian military that they "don't care for any possible hurt to the human life." It puzzles me how that can be going on and people still think that any military use of tech is inherently immoral. The morality is in the cause the war is being fought for.
New Email Scam Includes Pictures of Your House. Don't Fall for It
A lot of people are working to fix the K-12+ educational system which is the root cause of many stupid people, but beyond that, it's objectively hard to fix stupid.

Most people, stupid or otherwise, wouldn't take a critical thinking course, for example. Many would have no time for it, to say little of motivation. Fewer are proud of being stupid and will shun anything they consider "intellectual".
You're not wrong, but if you come up with a definition that no one is willing to meet you're just making that definition irrelevant.
How do you know that that's what is going to happen?
From what I saw in the rebuttal papers, the Google cost-function is wirelength based. You can still get good TNS from that if your timing is very simplistic -- or if you choose your benchmark carefully.
> As the availability of electricity became more widespread, people found better ways of using it.

It's actually a nice analogy.
“frosting” is an extremely strong priming word for “edible” to the point that I suspect this must have been at least a happy accident they left if not completely intentional.
> ...and will be released later this year

You answered your own question; it's not a product on the market and therefore not released yet.

> ...which completely disproves your lie about Intel sending CHIPS money to TSMC

I mean, this is kinda silly right? If I get a $48,000 a year housing stipend that I can only spend on housing, that means I have $48,000 more to spend elsewhere.

Also, you're arguing a strawman here. What I wrote:

> US is already throwing CHIPS dollars at Intel

Which they are.
> plaintiffs characterized it as a hub for piracy

Because it is. I’m sure the founders of Napster, TPB, kickasstorrents also felt they were “enabling freedom of information” but at the end of the day, the way their service is used is to facilitate piracy at scale.

I’m shocked at how long the internet archive has stuck around. At least the lawyers are getting paid.

And no, I’m not writing this as someone who is particularly opposed to piracy in general, but let’s call a spade a spade.
Image generation with stable diffusion was useless, most of the time it makes images that don't even make any sense, like driving a car and driver is sitting in air outside of the car.

Music generation is just mangled music from some popular band with custom lyrics, how can you think that you are creating something here?
Hot Aisle seems to the (only?) place to rent AMD. (Ryan, please don't spam this thread. It's not a good look.)
Like the IBM forever-lawsuit.

> The Department of Justice began its antitrust case against IBM on January 17, 1969. The DOJ sued under the Sherman Antitrust Act, claiming IBM tried to monopolize the market for "general-purpose digital computers." The case lasted almost thirteen years, ending on January 8, 1982 when Assistant Attorney General William Baxter declared the case to be "without merit" and dropped the charges.

> The case lasted so long, and expanded in scope so much, that by the time the trial began, “more than half of the practices the government raised as antitrust violations were related to products that did not exist in 1969."

https://truthonthemarket.com/2020/02/03/the-ghosts-of-antitr...

It's embarrassing that law/courts are utterly unable to do anything at all to large businesses behaviors. They are so slow in matters of consequence as to be useless.
...and there have been a few satellites in lunar orbit, and even a private/commercial orbiter (capstone) recently https://www.advancedspace.com/missions/capstone/
Vim python-mode: https://github.com/python-mode/python-mode/blob/e01c27e8c17b... :

> Pymode can rename everything: classes, functions, modules, packages, methods,
variables and keyword arguments.

> Keymap for rename method/function/class/variables under cursor

let g:pymode_rope_rename_bind = '<C-c>rr

python-rope/ropevim also has mappings for refactorings like renaming a variable: https://github.com/python-rope/ropevim#keybinding :

C-c r r :RopeRename
C-c f find occurrences

https://github.com/python-rope/ropevim#finding-occurrences

Their README now recommends pylsp-rope:

> If you are using ropevim, consider using pylsp-rope in Vim

python-rope/pylsp-rope:
https://github.com/python-rope/pylsp-rope :

> Finding Occurrences: The find occurrences command (C-c f by default) can be used to find the occurrences of a python name. If unsure option is yes, it will also show unsure occurrences; unsure occurrences are indicated with a ? mark in the end. Note that ropevim uses the quickfix feature of vim for marking occurrence locations. [...]

> Rename: When Rename is triggered, rename the symbol under the cursor. If the symbol under the cursor points to a module/package, it will move that module/package files

SpaceVim > Available Layers > lang#python > LSP key Bindings: https://spacevim.org/layers/lang/python/#lsp-key-bindings :

SPC l e rename symbol

Vscode Python variable renaming:

Vscode tips and tricks > Multi cursor selection: https://code.visualstudio.com/docs/getstarted/tips-and-trick... :

> You can add additional cursors to all occurrences of the current selection with Ctrl+Shift+L. [And then rename the occurrences in the local file]

https://code.visualstudio.com/docs/editor/refactoring#_renam... :

> Rename symbol: Renaming is a common operation related to refactoring source code, and VS Code has a separate Rename Symbol command (F2). Some languages support renaming a symbol across files. Press F2, type the new desired name, and press Enter. All instances of the symbol across all files will be renamed
muy copado amigo.
Do you enjoy insulting people? It was meant up be a joke.
Synopsys tools can use ML, but not for the layout itself, rather tuning variables that go into the physical design flow.

> Synopsys DSO.ai autonomously explores multiple design spaces to optimize PPA metrics while minimizing tradeoffs for the target application. It uses AI to navigate the design-technology solution space by automatically adjusting or fine-tuning the inputs to the design (e.g., settings, constraints, process, flow, hierarchy, and library) to find the best PPA targets.
It may implode capitalism as a concept, but the people who most benefit from it and hold the levers of power will also have their egos implode, which they cannot stand. Like even Altman has talked about UBI and a world of prosperity for all (although his latest puff piece says we just can't conceive of the jobs we'll have but w/e), but anyone who's "ruling" the current world is going to be the least prepared for a world of abundance and happiness for all where money is meaningless. They won't walk joyfully into the utopia they pandered in yesteryear, they'll try to prop up a system that positions them as superior to everyone else, and if it means the world goes to hell, so be it.

(I mean, there was that one study that used a chatbot to deradicalize people, but when you're the one in power, your mental pathologies are viewed as virtues, so good luck trying to change them as people.)
All this reminds me of a much more minor spat years ago when Matt got upset Chris Pearson made a configurable premium theme (Thesis) which controversially went against the GPL license. Matt then purchased the domain thesis.com and tried unsuccessfully to revoke Chris’ 3 trademarks related to the name and ‘diy themes’.

In this current case, it looks like Matt is thankfully trying to ensure end customers don’t get unreasonably affected. But nonetheless, it certainly appears WP.org should at least be relationally more of an independent entity with a separate leadership, or at least appear to be so.
Yep. They used to require a physical button press to connect, but that was a pain when speakers were mounted up high. The simple solution is to not run Sonos on an unsecured network.
these places are held captive to internal political clique, regulatory capture, and union
I'd assume that's why there is a separate review process to gain entitlement to this API, no?

(Don't know how this works outside of the App Store, which is an interesting question.)
Excuse me, but real programmers use butterflies

https://xkcd.com/378/
Straight to jail.

Same as white collar crime, except in academia.
You can blur out your house in maps:

https://www.familyhandyman.com/article/blur-out-house-on-goo...
I don't know why this would be surprising. There's nothing more obvious than the fact that research is riddled with both fraud and laughably shoddy work.
Innocent until proven guilty, it is their job to show that I was preparing some crime, I would not make any arguments.
Bio Hackathon
I'm forming a team to research AI and snake proteins for potential therapeutics. You can read more about our team's proposal on Discord.

https://discord.com/channels/1098625558780317766/12889513553...
It's probably better to say that engineering based on science is usually real. Engineering cares a lot less about falsifying theories and more on what existing theories seem to have general predictive value, and can be used to do stuff, including things where human lives are at risk (tall buildings, fire reduction materials, airplanes). And if there are failures out in the field, they're inspected, and those results are fed back to update both the practices, and the theories.

Personally I believe we live in an objective universe that can be understood by human brains (possibly using AI augmentation) and that our currently most advanced experimentally verified theories correspond to some actual true aspect of our universe. In that sense, science is real when the current theories match those aspects well enough to make generalizable predictions (general relativity and quantum mechanics).
Well, I’m not experienced in training full-sized LLMs, and it’s conceivable that in this particular case the training process is simple enough that nothing is missing. That would be a rarity, though. But see my edit above — I’m not actually reacting to this release when I say that.
What's with the fud
The writers of these episodes were really on another level considering it was a cartoon.

Lisa's first word is still a personal favourite of mine, especially now as a father.
In this situation, a parenting book will be more effective than a python script.
ChatGPT loses billions of dollars, $5bn this year alone just on running the service. Even the subscription-based services like Github Copilot are losing money, $20 lost for every $10 subscriber according to MSFT. The only ones making money I can see are NVidia and maybe the oil and gas companies...
There is a Python library/tool called Bowler (https://pybowler.io/docs/basics-intro) that allows selecting and transforming elements on a concrete syntax tree. From my limited experience with it, I guess it would have been a nice fit for this refactoring.
Unfortunately that's not how it plays out in most large organizations, which have separate network, hypervisor, security, etc., teams. Everyone works off a playbook, whose origins are usually lost in time and space.

If you want them to change the playbook, it'll involve some schlub having to run from pillar to post between those organizations, trying to get everyone to agree to a change to this policy, and you can bet he or she is not paid or motivated to do this. If another vendor comes along who will go with the flow, they get the sale.
Even better: XML signatures, which are very easy to get wrong in both signing and verification.