skysight-inc/HackerNews huggingface dataset:
That's not even true as you can get lots of exceptions for the same instruction. For example a load can all of these and more (but only one will be reported at a time): instruction fetch page fault, load misaligned, and load page fault.

More characteristic are assumptions about side effects (none for integer, and cumulative flags for FP) and number of register file ports needed.
I'm sure the law can care about such things, e.g. why we have homicide, voluntary manslaughter, involuntary manslaughter.
> sales would need to grow at 350% for 3 years

I assume you mean 350% per year over 3 years. That works out to sales growing (1+3.5)^3 = 91-fold over three years.

Sure, it could happen. What's more, if OpenAI achieves AGI, growth could be even faster. But what are the odds?

For investors counting on those crazy insane growth rates to justify a present valuation "above" $100B, the potential payoff is vertigo-inducing uncertain.
these are great. under civics, I didn't see "file an Access to Information (FOIA) request" which would have been good. under IT security, it's actually not bad from a beginner perspective as you need to know those things to know what the next levels up are. the music tree could use some detail, but overall I shared it with friends.
> the $40m/yr

did you mean 400K? That IS in the 990.
The way we do it is not the same way they do it. They literally only predict the next probable tokens. The way they do it is amazing, and the fact that they can do it as well as they do is amazing, but human thinking is a lot more nuanced than just predicting.

The fact that AI seems to be so reasoned is not that they are doing reasoning, but because there is a phenomenal amount of reasoning inherently embedded in their training data.

AI actually thinks in the same way that the figures on a movie screen actually move. It's a trick, and the difference may be pedantic, but it's very important in order to have a real discussion about the ramifications of it.
> Would it be actually possible to write something like an "a la carte temporal logic library" for other proving languages that could get you some of the confidence you can get from TLA+'s modeling?

Temporal logic is just a specific instance of a modal logic, which can be modeled with reasonable ease using a "possible worlds"-based encoding. Note that TLA+ combines temporal logic with non-determinism, which is a different modality.
> Still, at least to some extent, this could allow a larger model to achieve similar performance to a Strawberry enhanced GPT-4o by adding more parameters, without the impact on speed and compute cost.

I see a contradiction here, do you?
Amazon Meta or Google should please create and maintain a corporate fork. The performance fixes could happen faster and would probably pay for themselves. No more problems with issues like this. Would provide some people with good jobs.
>"He thinks he knows everything!"

God, this is crazy. If she relies on proficient people, she must trust them. I cannot understand her motivation—just for fun or cruel?
It really depends, even if found to be in violation of the license the outcome could be "promise not to do it again".
I mean... some do, some don't. With experience comes appreciation for simplicity and flexibility.
If the source was SO, the LLMs would mock you for asking dumb questions and vote to close your question as a duplicate.
I generally agree, though a lot of these could be salvaged by a little bit of reordering. However, I have to pick:

> Using keyboard shortcuts has nothing to do with coding.

Unless you're coding with a pencil or a mouse, it very much does. People like to repeat the "most of my time coding is spend on thinking; typing speed is irrelevant" mantra quite mindlessly, and then they fail to appreciate just how much time they actually spend typing, miss that their bad typing ability is still impacting their overall speed (see: Amdahl's law) and is hindering them from working at a higher conceptual level than just characters and syntax tokens.

Proficiency with keyboard shortcuts of your environment makes high-level operations like "swap these condition branches" or "move these functions over to that class" or "rename this function" atomic or near-atomic operations that you can use on the fly, without thinking much about it. This in turn makes you reason in those higher-level terms more, improving utilization of your thinking capabilities in the non-typing phase too.

So yeah, I'd very much classify keyboard shortcut proficiency (including the associated mentality) as a mid-level critical coding skill.
I don't think the author was implying that.

But yes, that is the charge.
As always, the DEI bogeyman probably has little if anything to do with the success(or failure) of something.
i think that in cassowary that involves removing roughly one constraint for each thing on the row, then adding a new constraint for the newly adjacent rows? then because it uses an incremental solver it can reuse the part of the previous solution for the rows above the deleted row, just recomputing the positions of the rows below

but that's a question of performance. 'maintainability' would be removing the code that adds the row to the list, which is trivial with cassowary
Commentors on any website aren’t a monolith. You’re making up some fictional person to be mad at.
It's not a contradiction. Copyleft is the ultimate Judo move. The stronger copyright is, the stronger copyleft is.
Nice! I have something similar that works for other binary types too, try it out! https://www.jackyoustra.com/binary
Try this: https://www.jackyoustra.com/binary
Backups exist on Signal Android.
Whilst I’d personally potentially profit from a merger (having earned a chunk of shares from when I used to work for Kroger), I’d personally like to see the merger shitcanned because I seriously doubt it’s going to be anything but a money grab for the corporation.
That's exactly what I said?!
There are legendary Prodigy tracks reconstructions by Jim Pavloff, see:

1. "Smack my bitch up" https://www.youtube.com/watch?v=eU5Dn-WaElI

2. "Voodoo people" https://www.youtube.com/watch?v=6ZYLp5uX9Yw

Those pieces sound exactly the same as the original, but it does not violate copyright because they've been produced by hand. Mind blowing!
Yes it's less efficient and reliable than regular Doom, but it's not just limited to Doom. You could have it simulate a very graphically advanced game that barely runs on current hardware and it would run at the exact same speed as Doom.
Some people survive for quite some time, depending on where they are.

But notably, if they're linked to academic institutions, you and yours might get significant benefits around continuing education.
Not sure what you mean by the last part, that aside, it veers into introducing language inimical to civility. Both together, makes it also unfair.
This is politically motivated pure and simple. Most companies dump their boosters in the ocean and no one bats an eye. Unfortunately Musk should have foreseen not rolling the dice on the starlink mission when the Polaris got pushed back.
Between these two things, if going to a big-box grocery store isn't the most depressing thing. Notwithstanding the high prices and maybe one staffed checkout lane being open. It used to be that it practically knocked out Boris Yeltsin visiting an American grocery store on the variety and amount of stocked food.
I don’t know if that would really help, I have a hard time imagining exactly what that model would be doing in practise.

To be honest none of the stuff in the paper is very practical, you almost certainly do not want a diffusion model trying to be an entire game under any circumstances.

What you might want to do is use a diffusion model to transform a low poly, low fidelity game world into something photorealistic. So the geometry, player movement and physics etc would all make sense, and then the model paints over it something that looks like reality based on some primitive texture cues in the low fidelity render.

I’d bet money that something like that will happen and it is the future of games and video.
Wat. The keyboard you pop up this way will autocomplete your words, autocorrect your typos, and allow you to input whole words by swiping, twirling gestures. It's very much not your legacy typewriter keyboard, even though the order of the letters is the same. Maintaining the order of a couple dozen keys is not expensive or hard.
Veritasium's latest video is on voting systems: https://www.youtube.com/watch?v=qf7ws2DF-zk
Zuckerberg's Spineless Surrender: Rehashing Old News to Enable False Narratives
This is great — I dragged a binary to the demo URL and it made me realize I had forgotten to pass `-ldflags="-s -w"` to strip the DWARF and symbol tables when I was building the binary. This will take my binaries from 25 MB down to 18 MB, a ~30% reduction in space. The container I'm building drops from 45 MB down to 36 MB, a 20% reduction. Every little bit helps when it comes to deploy times and space/speed savings!

(for the container image size analysis I used dive, available here https://github.com/wagoodman/dive)
A bit of a contrived example, but something like this (two for statements):

[x*y for x in range (10) for y in range(10)]

It's not often, but occasionally there are moments where I'm writing code in Kotlin and wish I could use a list comprehension. I do prefer Kotlin overall, but there's a few things that I think would be "nice to have" from Python. Especially the yield keyword, such a wonderful way to write your own iterators.
This actually happened in WW2, after fully breaking the Enigma codes the Allies had to carefully choose which intelligence to act on and not act on, sometimes with poor results for their own side. But the alternative would have been that the Germans would have to conclude their communications were compromised and change something, rendering a lot of the effort to crack enigma in the first place moot. The Turing movie mentioned in another comment is excellent and touches on this topic.
I spoke of "physics" first and foremost as a scientific paradigm. It's a time-honored variety of applied mathematics.

The map is not the territory, regardless of how accurately its models describe reality. The standard model is great, don't get me wrong, but it's still a map, one of many.

"Physical" models are no longer the only context where quantum tools are relevant or useful. Look into Jerome Busemeyer if you want to learn more.
Tesla's Rivals Still Can't Use Its Superchargers
This database, originally shared on Reddit [1], provides extensive analysis of 150+ smart lights:

- Specs: wattage, protocols, CCT range, brightness

- White light: CCT deviation, blackbody deviation

- RGB: gamut area, spectral distribution

- Color quality: CRI, TM-30 Rf/Rg (full reports)

- Dimming behavior

- Flicker: waveforms, SVM, Pst LM

- Thermal imaging

Testing uses spectrometers, integration spheres, and LabFlicker meters. Covers brands like Philips Hue, LIFX, Wyze, Nanoleaf, among others.

I've been recently considering changing my GU10 bulbs to the Hue ones, so I find the report useful to compare with Nanoleaf one ([2] and [3]).

[1] https://www.reddit.com/r/Hue/comments/1f38q6v/i_just_finishe...

[2] https://optimizeyourbiology.com/smart-light/philips-hue-mr16...

[3] https://optimizeyourbiology.com/smart-light/nanoleaf-mr16/
I was thinking of Go's static binaries. These are dynamically-linked. Yet they are still quite large. Too big for me.
Here in Southeast Asia we have a wealth of myths and histories that barely made it into popular culture.

AAA games are expensive, multi-year projects. Completing such an endeavor requires a ton of faith and persistant backing that cannot be taken for granted in a developing country. The success of this game fills me with hope.
It’s missing things that are harder to work around if you already have code relying on those missing bits or done in an architecture it can’t transpile
> gung-ho on censorship? What the actual f** is this?

Unintenti**l irony
Gift link: https://www.nytimes.com/2024/08/27/business/energy-environme...
I'm fairly certain that's often a deciding factor in legal questions?

If your originally produced content, without ever having seen the other thing, is substantially similar to something that already exists, you are much more likely to be in trouble (in the sense that someone will take issue, not in the sense that you can be convicted) than if you copied something existing, and transformed it into something unrecognizable.
There's an element of what you might call "taste" in choosing abstractions in software.

Like all matters of taste, there are at least two things to keep in mind:

(1) You can't develop good taste until you have some experience. It's hard to learn software abstractions, and we want engineers to learn about and practice them. Mistakes are crucial to learning, so we should expect some number of abstraction mistakes from even the smartest junior engineers.

(2) Just because something is ugly to a non-expert doesn't mean it's necessarily bad. Bebop, for example, has less mass appeal than bubblegum pop. One of the things that makes bebop impressive to musicians, is the amount of technical and musical skill it takes to play it. But if you're not a musician those virtues may be lost on you whereas the frenetic noise is very apparent.

One of the things Google does better than other huge tech companies (IMO) is demonstrate good taste for abstractions. Those abstractions are often not obvious.

[Obviously the bebop comparison
breaks down, and showing off technical skills isn't a virtue in software. But there are other virtues that are more apparent to experts, such as maintainability, library reviews, integration with existing tooling or practices etc.]
You deal with getting a disparate bunch of people to persuade a mostly documented and mostly functional (as purchased) collection of IT systems to do largely what is required according to an almost complete specification (which changes on a daily basis). All of that is exhaustively and nearly documented correctly.

There's the weird bits where 2=3 but you don't talk about that too often. James was really clever but a bit strange even by your terms and left a lot of stuff that we can get away with describing as legacy. We sometimes have to explain ourselves to management why the system buys a bunch of flowers every Hallowe'en (piss off Google and your wiggly red line - it's hallowed evening and I know how to abbreviate that phrase correctly) and ships them to a graveyard plot in NOLA. We generally blame James but no-one really knows what on earth is going on. We wrote an automated call closer for that one with a random dialogue.

"There is a such thing as too much abstraction and indirection"

Yes there is. You got two words out of sequence!

"Premature abstraction is a type of premature optimization, just in code structure instead of execution."

I will try to follow your suggestion but it sounds like advice to a teenage boy.

English is a programming language too. You can make people do things by using it. How you deploy it is up to you. I try to come across as a complete wanker on internet forums and I'm sure I have been successful here.

(EDIT: sp)
To answer the other part of your question: you don’t manually edit the generated Kotlin. Instead there are mechanisms for writing Kotlin inline in your Swift, dropping Kotlin files into the project, and other platform customization options: https://skip.tools/docs/platformcustomization/
I've been using pypdf for working with PDFs in Python. My uses are pretty humble. I create Jupyter notebooks for managing sheet music that I receive in PDF format, allowing me to do things like break up a book of tunes into individual files, and so forth. This in turns makes it easier to pull up individual tunes on my tablet during a performance. But it looks like you can treat the PDF as a tree structure. I've used that feature for writing some recursive functions.
You could read Guide's message (assuming the first comment is quoting it accurately) as being sarcastic about Tim Peters' banning. The mods probably feel like this is undermining their authoritah, and dropped the banhammer.
So his original comment isn't on Internet Archive somewhere?
> the safest path forward is to assume encryption is broken and move to post-quantum crypto before we “need” to.

An even safer path would be to use both "classical" and post-quantum methods in combination ("hybrid"). You're protected against someone building quantum computers (and inventing new math to break classical cryptography, which is less likely) and also against yet-undiscovered weaknesses of post-quantum primitives.
https://archive.is/e6fWs
like hn comments, amirite
One post. His posting rights haven't been withdrawn, it's one message in context which was elided out.

[edit: I am somewhat surprised people want to down-vote a factual statement, which in part aligns to the OP who changed the title of the post since it was being wrongly inferred his posting rights had gone, not a single post was being hidden. As the saying goes "you do you"]
https://subatic.com/ A video sharing site. Why? To save cost. Each video chunk is stored in Cloudflare R2 which reduces our streaming cost by 99% (no joke). Read about the calculation here: https://subatic.com/story.

This project is also open source : https://github.com/orthdron/subatic

https://readry.com is my latest venture ever since I got into e-readers/kindle. I want to read everything on my kindle and as it turns out, there are no good ways to get anything else apart from "books" on the kindle.

With this I can get my newsletters, top subreddit posts, news, and more, all on kindle. maybe this will help me curb my smartphone addiction.
Just because it is a well known quote, doesn't mean it's a good idea.

No one is above god's law (aka physics).

No one is above the _spirit_ of [man's] laws.
Could still be monumental if that creates the case law to be referenced in the future. Lawsuits are a lot easier to start when you know you're going to win because a previous case was extremely similar, which is to say this could have a major impact on the industry even if the punishment (this time, for doing it while it was uncharted territory) was a slap on the wrist
Gameplay footage of this game was out long before Elden Ring, so saying “they took Elden Ring” is super strange.
Simon: Please keep pushing, and mute nothing.
> the same people

Or may, just maybe, it’s different people and HN is not an amorphous hive mind where everyone thinks the same thing all the time.

It boggles the mind how there’s always someone on HN complaining about HN’s hypocrisy. Clearly not everyone on this site shares opinions on everything, else you wouldn’t be making the criticism.
It looks like 3.0 from the screenshots? But I'm not sure.
> Nope. Nuclear never produced (worldwide) more than ~17% of the electricity

This statement doesn't mean anything and feel disingenuous - we both agree it currently does not produce most of the world electricity. This statistics does not prove or disprove anything.

You have not provided any reasoning or logic to why my counterfactual would be impossible.

> Nope. France never enjoyed a zero-carbon grid: each year between 6% and 12% of electricity is produced by burning fossil fuel

So you are complaining that it's 94% carbon free, better than any major Industrialised economy, by year 1970? What do other countries aim for, 2035 in case of UK? that's 65 years later, you think that's a success? I will take the French deal, thank you very much.

> Nope. You are confusing 'electricity' with 'energy consumed'.

I am familiar enough with the difference to know that you are again and on purpose using a misleading statistic. Most fossil 'energy' consumed is wasted, as combustion based machines are only 30-40% efficient. Replacing Petrol car with electric car cuts energy 'consumption' by a factor of 3. This argument is a farse

Secondly, expected impact from climate change is over 100 million people displaced. One third or one quarter of the emissions is from electricity generation. So millions is accurate.

Thirdly, renewables are worse in this regards because we could have nuclear powered container ships and, if we really wanted, nuclear powered airplanes. You can't have solar/wind powered ships unless you are going back to sails.
There is a huge backlash from progressive gamers and gaming journalists against this game, claiming it lacks a diversity of characters and isn’t inclusive. This attack has resulted in many gamers trying the game just to spite the political bias of journalists. There is also just a huge backlash from prominent streamers and YouTube personalities against the corruption of gaming by “social justice” oriented journalists, DEI consultants, etc. This controversy is a big part of the game’s success.
> […] and his working group's cracking of Germany's Enigma encryption system.

Enigma was already broken. AIUI, Turing et al helped automate the deciphering messages, which was heavy going manually because of the volumes involved.

Bletchley Park did have to do cryptanalysis on Enigma when a new rotor was added though.

Completely 'original' breaking did occur at Bletchley Park with (e.g.) the Lorenz cipher; see William "Bill" Tutte.
Material 3
Easy answer: say no to Microsoft and TPMs.

You can buy a computer with Linux installed, today!

Ubuntu is easy, so is kubuntu.

You can do anything on Linux that you can do on windows and most of the time it's child's play. The past is the past, give up on windows.
Very cool project, I'm definitely going to try this out. One question — why use the OpenAI embeddings API instead of BGE (BERT) or other embeddings model that can be efficiently run client-side? Was there a quality difference or did you just default to using OpenAI embeddings?
Closer to "bingo" than a proper skill tree. I was expecting something more like this: https://roadmap.sh/
The game and the story are good but are nowhere near as polished as some AAA titles (eg it has bad English dub). The DEI contraversies around it caused streamers to talk about the game often and served as advertisement (since the narrative was DEI vs Gamers).
It reads to me as kind of petty sniping that's unlikely to really contribute anything useful to the conversation. But not something that really seems worth hiding either...
The problem was that the Gnome crowd is going increasingly in a different direction. Mutter already doesnt support a number of otherwise universal protocol. The way theming work is compelely changed. There are lots of other reason why staying with gnome was an increasing problem for them. All those reasons are only growing bigger.

So to support what they wanted and what they promise their costumers they would have to do increasingly more and more work, in direct oppositon the the gnome community. Essentially eventially forking it. And then they have to maintain a huge legacy codebase.

And they didnt wirte a completly new one. The compositor was already a project. So was Iced. They use lots of other existing project in the Rust ecosystem.

Now they are on their own, free to build what they want, rather then endlessly pushing a rock up a mountain. They can now make more fundamental changed that would never have been possible in Gnome. They are also free to build the community they want rather then deal with the Gnome community. This also makes them a player in the Wayland community, another voice that can push protocols.
Yes, and they'll be well paid for it