skysight-inc/HackerNews huggingface dataset:
On the Mac, it's quite easy to have customized keyboard layouts to make it easy to type characters you use frequently. If you want to have Option-f and Option-p to give you 𝆑 and 𝆏, you can. https://software.sil.org/ukelele/ is a nice GUI that lets you start from your current preferred layout and make changes.
The article does a good job of clearly stating that the 48% is compared to 2019, but words like "surge" and "spike" do not closely match that factual basis and imho are misleading.

Attributing the 48% to AI specifically is largely baseless though. From my skim, the Google report does not make any specific claims about the increase in datacenter emission coming from AI. The closest claims are on page 12 where "the rapid advancement of AI has brought necessary increased attention to its energy consumption and resource demands" is juxtaposed with "total data center electricity consumption grew 17%"

In particular the third "key point" seems highly misleading.

> The company attributed the emissions spike to an increase in data center energy consumption and supply chain emissions driven by rapid advancements in and demand for AI.

The word "spike" does not occur in the document and the 48% number is never close to a mention of AI. While the 17% "spike" may have been attributed to AI by Google, I think it is clear the document does not attribute the 48% to AI.
> here's a random news segment

Where the announcer is actually overpronouncing while still keeping (expectedly) some elision. In your example, Boric’s formal register is closer to what one would usually listen.

> chileans are ok with people saying we don't speak well

I never claimed that, I am merely addressing your “one of the most understandable” statement.
i'm pretty sure there are aztecs and mayas who go to the philippines and southeast asia to fight today (to fight drug lords and the dictatorship of myanmar, respectively)
https://archive.is/20240702204831/https://www.bloomberg.com/...
(Doesn't the author kind of hint at that at some point? At least partially AI-composed or 'assisted' ...
Creativity is essentially a kind of quality, though.
In my imagination, I picture a long-time Google employee who spent his/her entire career dutifully pouring over every minutia of their search infrastructure to squeeze the most performance out of every watt, in a quest to make Google a better, more environmentally friendly company. And then comes AI...
That's a non-sequitur, and also not necessarily true?

For one, if you sincerely believe that social media is "mind pollution" then I don't see how sleep optimization is responsible. If someone has an unhealthy relationship with social media and invests in a more comfortable bed to keep themselves off their phone at night, isn't that a net win?

And for two, the minority of people in my circle even use social media. If you legitimately struggle with it, you can cut it out of your lifestyle without significant physiological impairment. You might live in an era of constant distraction, but many of us find it simple to cut-out external noise and simply exist. Mind pollution a-la tabloids and TMZ has existed for a long time, and social media isn't even it's zenith.
go ahead and try this site that's in production:

https://linkscopic.com/

notice the: <script>document.addEventListener("DOMContentLoaded", function() {
const go = new Go();
WebAssembly.instantiateStreaming(fetch("/assets/other/json.wasm.gz?id=1EBB13D9-6DBB-4E2F-89A6-D40F0C456B3D"), go.importObject).then((result) => {
go.run(result.instance);
WasmReady('space.html');
});
});</script>

at the bottom of the html. ALL the client side stuff is golang wasm. Is it slow?
Wow, that's really amazing. Will definitely try soon!
yeah, literally the only difference i can think of is 'contigo' (which is 'con vos' in argentina)
> Their goal? To have a fully functional "Alpha" version of the Ladybird browser ready sometime in 2026.

Mmmmmmh, I don't think this is a good goal. I would expect quicker iterations even with the web browser complexities.
Timnit Gebru was fired in late 2020 for publicly examining the energy consumption of LLMs, perhaps that would be a more poignant start-time.
It's not about RBAC at all.
Goal is not to expose ssh socket to the Internet!
ssh tcp is encapsulated in https packet and ONLY after successful certificate auth by HAProxy.
I can only state that KAN paper used LBFGS and that LBFGS is remarkably different from SGD.

One of the differences is a dynamic learning rate guided by approximation of the local curvature.
Neat, afaict, if someone fine-tunes for their own data, the gliner stack is OSS so they may be able to just fork & rerun/continue
A British clergyman who predicted black holes in 1783
SEEKING WORK | PA, USA | REMOTE

Open to short-term or long-term. Potentially open to relocation.

Email: contact@armichael.com

Resume: www.armichael.com/armichael_resume.pdf

Hi, I'm Andrew. I have experience doing backend/data/infra for small startups, I can work efficiently either with a team or independently, and I have wide exposure to a variety of technologies, problem spaces, and programming paradigms.

"You're like a laser-guided missile I can point at technical problems" -- a past employer

Skills:

- Scripting/tooling/automation/configuration in *nix environments

- Relational databases and schema design

- API design and integrations

- Server and database administration

- Documentation, technical writing, diagrams, charts, runbooks

- Mathematics and logic (I have a wealth of experience in college-level education)

- Infrastructure administration and provisioning

- Analytics

- AI search and media processing

Technologies: Linux, PostgreSQL, Python, Emacs, Docker + docker-compose, misc Lisp and Scheme dialects, Java, Bash, Lua, Make, JavaScript / TypeScript + Node.js / Deno, Terraform, Ansible, Nginx, Caddy, AI, ML, LLMs, Metabase, AWS, GCP, Supabase, DigitalOcean, Netlify, HuggingFace; learning Nix
> stacking

It's interesting how chip designs are mimicking terminator brain chip design and real estate (limits of horizontal expansion of designs force them to go up).
> What a treasure it would be to have an LLM that is trained on every single piece of philosophical, religious, political, economic, etc. writing from the earliest Sumerian clay tablets to the current copyright cut-off date.

It strikes me that such an LLM would have weights tuned only predicting the languages that were put into it. It would be unable to connect those texts to modern ideas and modern language.

You can ask it a out Vatican texts, but only in Vatican language.
Taking a board observer seat would expose you to more insider scrutiny, not less.
> For example, there is now significant doubt in the medical community over the validity of “Shaken Baby Syndrome,” or SBS

There's not much doubt anywhere that shaking babies causes head trauma and can even kill the baby. The problem comes from concluding that every baby with head trauma/brain swelling/subdural hematomas must have been the result of frustrated parents/caregivers who shook the baby. Doctors have been way too quick to jump to Shaken Baby Syndrome and innocent people suffer for it.

You'd think that Sotomayor would be more careful about wording. I'd just hate for someone to read a sentence like "there is now significant doubt in the medical community over the validity of “Shaken Baby Syndrome,” and think they can shake their newborn or that we should stop warning new parents about the dangers of taking their frustrations out on an incessantly screaming/crying kid that way.
Meta Ruling Gives US Citizens Path to Sue for Alleged H-1B Abuse
Are you insinuating that the article writer doesn't know what 2*2 is? As their original answer was, "I don't know".
Not by default, but put in your ~/.XCompose:

<Multi_key> <O> <o> : "" U2603 # SNOWMAN

or whatever it is you want, where "" contains a snowman that HN strips. (Depending on your system, you may then need an `ibus restart` or some such thing to have your change picked up.)
probably a better cross-atlantic example would be something like 'perambulator' where the other dialect doesn't have a conflicting meaning for the word
Show HN: Zero Knowledge Zip, Neuralink Compression Challenge Submission
That's exactly how I read it. Sounds like they have a set of underlying templates to train from, and one of those must have been some type of Apple Weather app recreation.
Personally, something I think would stand out is an explanation of decisions made for the project, such as in a README. I'd love to know why you picked React for the project and it may not sound great in recruiting context to say, "I thought it would make me more likely to be hired." Of course, that's a very understandable motivation but it's not going to fly in a real-world job setting (though, I've heard stories; don't count on it happening to you).

That said, I think, e.g., "I wanted to learn what I could do with React" sounds like it would be a pretty good reason to choose React. The important thing is being honest with why you chose something even if the reason seems boring or same-y. (Hiring managers love boring and same-y.)
You’re not getting a size reduction if you maintain a library boundary, though. What you’re doing is isomorphic to dynamically linking except the app code is in the library and the library code is in the main binary.
I always put the rootfs in the kernel. It mounts on mfs or tmpfs. SD card is read-only. After boot, I can pull out the card. No need to boot over HTTP.
> In my case, I have a superior who administers Sonar and is, let’s say, completely committed to it. For any ‘exception granted’ we would have to book time with them days in advance then white-board the reason why Sonar is wrong, or produce a sample program - who has got time for that with tight deadlines?

This superior (sic) is what a negative productivity employee looks like.
here (argentina, non-native) we usually say 'el auto' but have significant use of 'coche'. 'carro' means something different; using it for an automobile sounds mexican

but if you showed an argentine a picture of a car, they might very well say 'auto' while perhaps someone from elsewhere would say 'coche', leading to a basically incorrect point of difference being measured in this study between the two dialects
Are the defaults emphatic to the engineer or to the ruleset?
First encase them in carbonite so they’re not so wiggly.
I guess so... This is reason for `consteval` and such.
I feel like the time when three monitors were ideal there were a lot fewer distractions on the computer. It was more about having a terminal open, your code, and maybe a browser/manual for looking up API calls. Now as the article mentions it is slack, youtube and probably social media.
This is why I mentioned batch gradient line search. You can combine it with conjugate gradient.

And small LeNet (I think it is first convolutional network that obtained good score on MNIST) is orders of magnitude bigger than KAN's in the original paper. And it will be, if we believe scaling claims from the KAN paper.
You need to learn to game it. People care about this stuff are usually stupid. When I led a large support organization I had an SVP who really cared about open incident duration.

His pattern for giving a fuck was predictable. My strategy was to hold certain tickets in an undead state (not impacting the metric), then reopen them and close them, demonstrating a metric improvement.

He got his improvement and big shot street cred, users weren’t impacted, and I didn’t have to ruin support to try to grind out small gains.
This is an incredibly good decision on Apple's part.

OpenAI is a relatively new company with a not so great history when it comes to corporate governance / stability / consistency. If I were Apple and wanted to make sure I'm partnering with a startup that won't implode in 12 months, I'd demand a board seat too (even if it gets negotiated down to an observer seat).
Dupe: https://news.ycombinator.com/item?id=40859993

(Though this has a less misleading title.)
Yes... but how often have you experienced a non-clueless linter?

Some tools bias people into doing bad things. It's not exactly the tools fault, and they may even have good uses (like Bash linters), but tools guide people and it's good to remind people not to follow.
Gpt4o says “the dude is an idiot, dude”
Only on established trails afaik. You can't just wander all over someone's property.
Phil Schiller could make far more money by selling his options/shares in Apple at more opportunistic times.

Or he could rob a bank. Probably easier and about as blatant as trading OpenAI shares whilst on the board.
An additional insight which can reduce the search space: SC following an SC is a no-op (it changes nothing about the state but the number of steps). The only two productive action or action sequences are P and SCP where SCP doubles the size of the string in 3 steps. Switching the C++ code to use this insight [edit: and switching to a priority queue to allow for multiple simultaneous steps] cut the execution time by about 90% in my testing of it. That's not as fast as the picat solution on the same computer for me, but it's much closer than the original C++ code.

Not properly benchmarked but my times are roughly:

picat: 0.06 seconds

C++ using SCP and a priority queue: 0.36 seconds

C++ original: 3.8 seconds

The times are consistent across runs but I don't have a benchmarking program on that computer to give better numbers.
Fyi, we use asterisks to put emphasis on text on HN
I'm all for doing down Nobel prize winning Paul Nobel prize winning Krugman and his Nobel prize (did you know he got a Nobel prize?) but as hideously as most of that has aged the bit about most people having nothing to say to each other was spot on.
Battle lines:

OpenAI: Microsoft + Apple

Anthropic: Amazon

Google vs all

Facebook the anarchist

Nvidia arms dealer
I’m sure he cares very little what you think he should do.
In the 1990s I loved the macro feature of WP 5.1. Macros and Reveal Codes let me write a basic Emacs keyboard emulator to accommodate my fingers' muscle memory.

When Windows got to be a thing, my law firm considered switching to WP for Windows because WP 5.1 for DOS was the unquestioned industry standard for lawyers. But we surveyed our clients (almost all of them were big companies) and learned that they were going over to Word for Windows. So we said, "who gives a [hoot] what other law firms are using" and switched to Word for Windows. It was more than a bit of a downgrade from WP 5.1 in DOS
Germany meme is nice, but it is probably just a dent in global coal use that breaks new record almost every year. Transition to nuclear/solar is still fantasy.

https://ourworldindata.org/energy-production-consumption

https://app.electricitymaps.com/map
Flight Number System
You're right, that's not how it would work! If you look at our license - all the Jupyter code stays BSD3. If we modify any BSD3 code, the modified code stays BSD3. All the new code we write - in separate files - is AGPLv3 however and is clearly delineated in the repo in the file headers.
yes - but i don't follow him. yet there is was.
i guess some sort of promotion.
What can you do with $1M? Writing a web browser is difficult, so the salary for 1 developer is about $300k/year. Then you can have 3 developers. Can 3 developers create a web browser in a year? I don't think so. If those 3 developers can do that, then they'll ask for more than $400k/yr/person. That means, IMO, this project will go nowhere. However, any project that can create jobs is good, in fact very good.
https://archive.ph/y66r7
Well, it kind of does. Normally, the PXE network booting will use DHCP (or bootp or whatever) to fetch the boot image location, then it will fetch that boot image. Historically, that has worked this way:

1. bootp says boot image is at <ip address>/path/to/img
2. PXE network stack fetches that image via TFTP (which is awful)
3. PXE network stack boots that image

In most cases, the boot image would be a chainloader like pxelinux, and that would fetch a config file which told it the kernel path, the initrd path, and the commandline, and then the user could choose to boot that image, and then pxelinux would fetch the files via TFTP (which is still awful) and boot them.

In this new, HTTP-based case, we replace each instance of "TFTP" with "HTTP", which we can authenticate (ish), which we can easily firewall, which doesn't have weird compatibility issues, and so on.

Note that, before now, you could replace pxelinux with iPXE, and iPXE could fetch files via HTTP (which is awesome), but you still had to fetch iPXE and its config file via TFTP.

Note that TFTP is an unauthenticated, UDP-based, extremely limited protocol which has almost no support for anything but the most basic "get this file" or "take this file" functionality. Being able to replace it is a joy and a wonder.
Just in case anyone was worried that Unherd couldn't set the bar for journalism lower.

No, we are not the Soviets now. The entire geopolitical atmosphere of today is defined by globalist policy and the countries that resist it. In pretty much the exact same turn-of-events as the Cold War, Russia insists on remaining sovereign and unaccountable and the US continues to insist on deepening international relations. Even with the least-charitable interpretation of both the USSR and America's Cold War decorum, it only makes sense to draw these parallels if you want to portray Russia as the new America. And Russia isn't behaving like Cold War America, they're behaving like Cold War Russia.

...not like you'd expect any different, though. Click the little "(unherd.com)" icon next to the article title, and browse through their catalog of flagged sensationalist opinion pieces.
Not as dumb as it sounds if you're into that. The protagonist in the later chapter of my book wore a specific ear piercing with a camera facing out and a speaker facing in for AI communication; though it was set during the singularity, and they did have molecular fabricators and other hand-wavy technology to make it possible.
Gebru's estimates of AI energy consumption were adopted from Strubell. Strubell's estimates of AI energy consumption are ridiculous and according to David Patterson range from 88x to 10000x high. My humble opinion on the affair is that the conflict between Gebru and the rest of the company arose from Gebru's refusal to use the best and most comprehensive information on AI energy consumption, that is what they had access to firsthand as a privilege of being a Google insider.
How does backspin work in slow motion
Unlike so-called "tech" companies who are very careful to avoid hyperbole and exaggeration.
As someone with highly unpronoceable nickname said, my only complaint is that only first order methods are used.

Second order methods are fun, actually. I like them. ;)
... and they were right, and there was a massive destruction of capital invested in companies that installed dark fiber and went bankrupt. The difference was that the dark fiber then got lit later on, because it was useful physical infrastructure.

The same cannot be said of the present AI boondoggles.
Thanks Marc! We'll check them out. So far, with our limited experience with local models, we'd simply been thinking to use Ollama so thanks for the heads up!
I did a quick search. I think the price went up a while ago.

I would gladly pay a buck or two a month per group to attend. Have you asked your members?

There was a post here recently on replacements for meetup.com
pretty sure lol that what snowden has shown reveals you are quite wrong
this 'biphasic programming' thing is item #9 in pg's list of 'what made lisp different' from 02001: https://paulgraham.com/diff.html

it's interesting to read this biphasic programming article in the context of pg's tendentious reading of programming language history

> Over time, the default language, embodied in a succession of popular languages, has gradually evolved toward Lisp. 1-5 are now widespread. 6 is starting to appear in the mainstream. Python has a form of 7, though there doesn't seem to be any syntax for it. 8, which (with 9) is what makes Lisp macros possible, is so far still unique to Lisp, perhaps because (a) it requires those parens, or something just as bad, and (b) if you add that final increment of power, you can no longer claim to have invented a new language, but only to have designed a new dialect of Lisp ; -)

it of course isn't absolutely unique to lisp; forth also has it

i think the academic concept of 'staged programming' https://scholar.google.com/scholar?cites=2747410401001453059... is a generalization of this, and partial evaluation is a very general way to blur the lines between compile time and run time
What a nothing-burger, Figma says they didn't do any custom training or fine tuning and they think the look a like problem is due to a design system they commissioned. They don't explicitly say the design system was created by a human but odds are... Also, the thing that was "ripped off" is the weather app. Oh, you mean the app that looks nearly identical on every platform and website ever? Wow, I'm shocked.
What a blast from the past. This was my introduction to alt codes.
> Thus, you end up with an infinite regression, and you can't ultimately prove the consistency of any of these theories.

There is similar issue with even ZFC and PA. It’s not really a dealbreaker imo.

> Suppose that the longest-running n-state machine M can always be proven to halt using a proof of under f(n) symbols, where f(n) is some fixed computable function. Then, you could construct a TM that, given n, enumerates every valid proof of length less than f(n) symbols

The issue with that argument is that the TM which enumerates every valid proof can’t exist in the first place.

If you fix an axiomatic theory, it’s already known that the theory has a limit.[1]

If every theory has a limit, you need countably infinitely many axiomatic theories together to prove BB(n) for all n. So there’s no TM which can even enumerate all the proofs, since a TM must have finite states, and thus can’t enumerate infinitely many proof systems.

(In fact for similar reasons I believe a Halt program, which has infinite states but which works for all TMs with finite states, platonically exists. It’s an emulator and an infinitely long busy beaver number lookup table. The diagonalization argument doesn’t apply, since the infinite Halt doesn’t accept itself as input.

This Halt would have countably many states since each busy beaver number is finitely calculated and there’s only countably many of them.)

So it’s not clear that f(n) is uncomputable. If f(n) is the symbol count and not the binary encoded length of the symbols, it even seems that it’s trivially bounded by some constant for all n. The proof could be one symbol the meaning of which is encoded in the theory.

It is a fascinating question though. I’m sure there is some function of axiomatic theory proof checker TM size and binary encoded proof length which does grow with n. It’s unclear if it would be uncomputable though.

The consequence of it being uncomputable is that the universe doesn’t have the resources to even encode the theory and/or represent it’s proofs.

In fact I suppose even as long as it grows at all, there would be a limit to BB(n) which can be possibly determined. Very fascinating

[1]: page 5 https://www.scottaaronson.com/papers/bb.pdf
Discussion (130 points, 5 hours ago, 39 comments) https://news.ycombinator.com/item?id=40858583
Google is paying for access to a resource (eyeballs) to sell to customers (advertisers). Not to mention that Apple users pay more for more things.

In OpenAI’s case, they’re paying in server costs for access to users (customers) that they want to move from the free tier to the premium tier. The economics are very different and this case is worth much less for OpenAI compared to Google’s case for Google.
Didn't they train the initial version of this AI app on the design system that Apple made exclusively for Figma? If so, can't it be argued that the AI is just doing its job based on the limited learning set it's been trained with?
They do

// Nosonar