skysight-inc/HackerNews huggingface dataset:
May the effect you see, when you spell it out, be not a result of “seeing” tokens, but a result of the fact that a model learned – at a higher level – how lists in text can be summarized, summed up, filtered and counted?

Iow, what makes you think that it’s exactly letter-tokens that help it and not the high-level concept of spelling things out itself?
more of Kiel Mutschelknaus's candy: https://www.instagram.com/kiel.d.m/?hl=en
Courrier Font – Google Search
Not like that, but once you get to first party Alexa Skill themselves there's a bunch of match rules that make up a big chunk of the traffic. Don't know exactly how much. The longtail is done through ML means.
As stated in the GPL: The “source code” for a work means the preferred form of the work for making modifications to it.

Arguably having the weights and code to execute the model available is the preferred form to modify a LLM.
Dungeon World is a PBTA (Powered by the Apocalypse) game, one of many games inspired by Apocalypse World. I don't know much about DW in particular, other than it's an early PBTA hack and not generally considered one of the better examples of the system anymore, but it still has a lot of fans.

However, these games share a lot in common, usually including a focus on Moves. The GM determines if something is a Move or not. If it's a move the player gets to roll for it, and if it's not a Move, it just happens. Moves tend to cover very broad areas of actions and are lot less specific and nitpicky than D&D rules.

Unlike D&D, the GM also has Moves. These moves are usually tailored to the particular PBTA game and generally include various ways to keep pressure on the players in a way that fits the theme and setting and mood of the particular game. It codifies the GM's job in a way that makes it more approachable for many. D&D is among the most difficult systems to GM and it leads to a shortage of people wanting to GM vs those wanting to play. Experienced DMs over many years learn to be a little looser and how to wing things and improvise and make the jobs easier for themselves. PBTA games are designed to teach the GM how to do this from the start, partly by teaching the players that this is expected and correct.
RateYourMusic is more ambitious version of a very similar idea, especially if you're just looking to do some discovery.
> This is not an evidence of scientific fraud -- rather, it is a predictable outcome of a publishing incentive scheme that rewards hype and novelty over robust science.

And knowing all this, this behavy should be considered borderline scientific fraud at this point.
Thanks for an interesting read. I don't think it's a convincing argument for general purpose languages, though.

In Lean, the zero check is still there, just not in the arithmetic operator itself but in the various division related theorems you need to use in order to do anything useful with the division. But in C/Java/Python/whatever, there are no such guardrails, so 0 or 37 or whatever bogus value is returned from a division by zero will propagate to the rest of the program and cause subtler and harder-to-find bugs.
Increase counter when you start loading

Have timeout

Decrement counter after successful load and parse

Check counter on startup. If it is like 3, maybe consider you are crashing
I TA'd BE/CS/CNS/Bi/etc 191 years ago, we had some freshman in the class, and there was definitely the expectation they'd have some familiarity with differential equations; for example, the mass-action model of chemical reaction networks relies on them.

These sorts of classes tend to get students in a broad range of levels, and I think there's the expectation that they'll figure out whatever they're unfamiliar with. I doubt this class is targeted to graduate students, but Caltech classes tend not to have a graduate/undergraduate distinction.
> Something went wrong, but don’t fret — let’s give it another shot.

:(
I get that canary rollout is tricky in this business, since it's all about stopping the spread of viruses and attacks.

That said, this incident review doesn't mention numbers, unless I missed it; how colossal of a fuck up it was.

The reality is that they don't apologize "bad shit just happens", they work their engineers to the grave, make no apology and completely screw up. This reads like a minor bump in processes.

Crowdstrike engineered the biggest computer attack the world has ever seen, with a sole purpose of preventing those. They're slowly becoming the Oracle of security and I see no sign of improvement here.
Again: you don't generally get bounties for finding "bugs"; you get them exclusively for finding qualified vulnerabilities.
It wasn't for diaper ordering, Alexa has a feature to detect particular sounds (like glass breaking, dog barking etc) for monitoring and alerting purposes. Basically it involved adding hotword recognition for not just the N number of hotwords but also Y number of sounds for particular devices.
Operational control yes, but the assumption was these weapons where sitting in a friendly territory. Ukraine definitely had enough control for diplomacy to come into play. ~1,700 nuclear warheads spread across a large number of different sites is a nightmare to try and secure when the country was effectively falling apart.

As to bombing 130 nuclear silos with non nuclear ordnance is problematic and doesn’t destroy the enriched uranium which means building a bomb from the wreckage isn’t nearly as expensive as starting from scratch. None of this came into play because the Ukraine government was still reasonably friendly at the time.
> Solamnia knights

Krynn/Dragonlance
Well, blind trusts of immediate family.
Understood, I'm not suggesting that your feedback would make an appreciable change to the model, but provide "human" data for refinement. Continuous feedback from each user would supply more data than having a static model.
I don't think I've put the same amount of thought into it, but my gut feeling is:

1. If you're summarizing "a contiguous chunk exists from A to B", that would require a mutable rebalancing tree and the borders constantly shift and merge and subdivide.

2. If you're instead just summarizing "the range between constant indices X-Y is [1/0/both] right now", then that can be done with a fixed tree arrangement that can have an exact layout in memory.

A simple example of the latter would be 8 leaves of 01110000, 4 parents of [both, 1, 0, 0], 2 grandparents of [both, 0], etc. The 3-value aspects could also be encoded into two bitmasks, if "has a 1" and "has a 0".
Mother-in-Law just got a smishing text yesterday for a USPS scam.

Luckily, she couldn't remember her username/password (she doesn't have one there) so she didn't enter anything, but I got a call.

The link was on .top
A serious security issue indeed, if someone knows the hash.

How I manage this is that every time I want to open-source a previously private feature, I take the changeset diff and apply that to the files in the public repository. Same features, but plausibly different hash.
I didn't realize "staff engineer" was a common software title as far back as 1996.
> delete: remove or obliterate (written or printed matter), especially by drawing a line through it or marking it with a delete sign

Which is, indeed, what every modern database does.
Same thing, really - /proc/mounts is a symlink to /proc/self/mounts.
This class is actually BE, not Bi; it's a different department, and I certainly think diffeq would be expected.
It's not Alexa hooked up to some gimmicky LLM. I don't want to give away too many details given that this is a throwaway account, but the way Alexa's ecosystem works is they have "skills" Alexa users can instantiate. Our API would have increased the utility (and therefore usage) of some of the top skills by quite a lot.

I think of the Alexa team the same way I think of juiced up bodybuilders who think they can beat up anyone even though they've never trained MMA. The Alexa team looks in the mirror and sees big muscles, but they don't know how to use those muscles to fight. Yes, the strength and muscle helps, but ultimately to do well at MMA you have to develop specific skills, and you need to start with humility.

Anyway, the past is the past. It sounds like Jassy is focused on turning around this division, which is a good thing IMO.
Write the category name on a piece of paper, tape said paper to the card.

Repeat every quarter.

There are at least two cards with useful quarterly bonus categories.
While all that is true... the other part is that it's not like non-medical professionals are particularly good at knowing what they are talking about or acting in their own best interest either. In many cases, the institutional care is both horrible and better than what you'd get without it.
Unfortunately, that's not possible yet. We want to fix that, but very few people use public pages, and even fewer use public dashboards, so we didn't prioritize it.

Thanks for reporting it, it helps us understand what people want!
Android is a piece of sh.. from developer perspective (and arguably from a user one).

Known fact, take it or leave it :)

To be fair UI development can not be simple in itself.

Because of the exponentially growing state machine => simple Rails style general purpose frameworks are impossible, it will always be a challenging problem.
I've seen bots make that kind of PR spam a few times. They'll make a PR that adds a random HTML or markdown file or whatever containing gambling spam or whatever and then presumably post links to github.com/$yourorg/$yourrepo/blob/$sha/thatfile I can't link an example because all the ones I know about were nuked by GH Support.
Disabling the engines sounds like a pretty good deal compared to what bad software could make a warship do.
Humans 1, Chimps 0: Correcting the Record
> I don't get why they'd do it. What's the advantage to OpenAI of giving away their core product for free?

No one else can provide AI web services while the leader gives it away for free. They can corner or at least consolidate the market then monetize later. We have seen this kind of loss leading many times with groups like Uber and Facebook. It is a risky strategy for OpenAI and might not work for the company, but for the founders they just need to make it look good for a few quarters and they can cash out when they want or stick around if it does work.
Radio Chatter for Sleep
Due to the way tokenization usually works with LLMs (using BPE — Byte Pair Encoding), there's actually usually already a 256-element embedding within the token-space that represents "raw bytes." You could say that this 256-element set is "pre-seeded" into any BPE encoding — and will remain as part of the encoding as long as at least one document in the dataset used to determine the tokenization, uses each byte at least once in a non-high-frequency-suffix-predictable way.

These tokens are also already very much in use by the tokenizer — they get emitted in sequences, to encode single Unicode codepoints that weren't common enough in the dataset to get their own tokens, and so instead require multiple tokens to represent them. I believe most tokenizers (e.g. tiktoken) just take the UTF-8 byte-sequences underlying these codepoints and encode them literally as sequences of the above 256-element set.

If you're curious, here's the definition of the encoding used by most modern LLMs, in newline-delimited "[base64 of raw input byte sequence] [tokenID to encode as]" format: https://openaipublic.blob.core.windows.net/encodings/cl100k_... . If you decode it, you can observe that the rest of the 256-element single-byte embedding space gets mapped to tokenIDs immediately following those of the ASCII printables.
I don't think you understand what a pyramid scheme is. There are some unethical providers who optimize for their own profit rather than the patient's best interests but those are a small minority. And it is entirely normal to separate implant design from installation; those things take different skills and equipment.
Do you have any examples? I'm not a racer but a bike commuter, and I'm curious about what technologies we could've gotten but didn't.
I work on a piece of software that is installed on a very large number of servers we do not own. The crowd strike incident is exactly our nightmare scenario. We are extremely cautious about updates, we roll it out very slowly with tons of metrics and automatic rollbacks. I’ve told my manager to bookmark articles about the crowdstrike incident and share it with anyone who complains about how slow the update process is.

The two golden rules are to let host owners control when to update whenever possible, and when it isn’t to deploy very very slowly. If a customer has a CI/CD system, you should make it possible for them to deploy your updates through the same mechanism. So your change gets all the same deployment safety guardrails and automated tests and rollbacks for free. When that isn’t possible, deploy very slowly and monitor. If you start seeing disruptions in metrics (like agents suddenly not checking in because of a reboot loop) rollback or at least pause the deployment.
>The "verification" nodes don't do anything to prevent censorship by miners.

Absolutely agreed; however, eventually some non-hostile miner will randomly generate an acceptable `nonce` [entire point of hashing/energy-usage] which DOES include the censored-by-some transaction.

An additional function of the node-verification network (which uses essentially no energy, relative to mining) it to maintain the entirety of `mempool`, which is where unaccepted transaction-attempts live until mined into a block [which is then "accepted/denied" by same node-pool].

tl;dr: as far a probabilities go, unless you own exactly 100% of mining pool, it is impossible to censor a tx from the node's mempool; all you can do with <100% is DELAY transactions.
America's War on Theater
They deployed changes to their software directly to customer production machines

This is part of the premise of EDR software.
I'm glad you're excited about Briefer!

We've already seen hacky solutions starting to be replaced and that makes me quite happy.
You ever heard of the word "enshittification"? I'm sure you have.

This is what they're on the road to. AI last week, crypto this week. Maybe NFT next week?

In all seriousness, this has the potential in killing their brand image as a viable alternative to Big Tech and considering there's not much email alternatives aside from self hosting (which is a nightmare in its own right), this is worrying.
There's a whole body of regulation around service providers to the U.S. Government making it an effective requirement to use this stuff, starting with the FedRAMP Authorization Act (https://www.congress.gov/117/bills/hr7776/BILLS-117hr7776enr...).

See also Section 4.2.4 of the FedRAMP Moderate Readiness Assessment Report (RAR) which can be found here: https://www.fedramp.gov/documents-templates/ as an example.

You cannot obtain an Authorization To Operate (ATO) unless you've satisfied the Assessor that you're in compliance.
Yeah, there is not much appetite to connect the North to London.
I’ll vouch that walking out on an interview is one of the best feelings in the world.

I’m didn’t raise my voice or curse or anything like that. I just said “this isn’t a good fit. Thank you for your time”, got up, and left.
So ironic that they all thought Twitter was a left-wing propoganda machine even though I don't think Jack Dorsey ever made a political statement. Meanwhile, we have an explicitly pro-Trump guy running the site now and they think it's based.
This may not be real. I've seen no confirmation or means to reproduce it.

https://x.com/awawawhoami/status/1816225589755294128

https://x.com/BigMeeish/status/1816238982948348306
I've been developing Android since 2012. It was worse then. Still sucks now but isn't as bad. Esoteric errors are still the norm. With 10 years of experience you only have to swear a whole day when updating a library, instead of spending a week.

GPT does poorly with beginners - it's definitely something humans have advantage with AI and I expect the gap to get bigger.

I do not touch legacy projects anymore because they're always horribly broken, half the libraries no longer exist. Many of them are easier to rewrite than fix. You get weird bugs where A needs to be 1.71.0 but B needs A at 1.69.0 or 2+. Upgrading A to 2.0.1 will fix A and B but break CDEFG. Upgrading everything to max breaks switch-case, turns some of your brackets to lambdas, requires you to change your UI from XML to Kotlin, etc, etc.

If you want something to hack stuff with, I made this: https://github.com/smuzani/android-minimalist-template

Originally it was designed for AI with smaller context windows. But it works as a simplified version of our production codebase. The principle behind this is that you should have good peripheral vision and that the shape of the code resembles what it's trying to build.
The great thing about this game is that whoever knows UUoC will be the winner.

cat file.txt | tr a-z A-Z | sort (loser)

tr < file.txt a-z A-Z | sort (winner!)
Switzerland mandates government agencies use open-source software
I can't access the profile of the user in question, and the page tells me it's because they're suspended, so seems pretty real to me.
If you want to know why people don't take the BBC seriously and have a bit more respect for the Russian position, it is because 60% of those arguments are just not taking a serious situation seriously.

Armies don't just charge out because Putin has his "dream", and certainly not sustaining the sort of punishment that the Russians have had to undergo in Ukraine. We can see from the response to Prigozhin's coup that the military actually supports the war to a significant extent; if it was unpopular then Putin would have been rolled by now. You aren't trying to understand the Russian motivation; this is unhelpful straw-manning and caricaturing.

And othering the Russians with irrational motivations is stupid. As a culture we've passed up too many opportunities to calm the situation down because of a russophobic attitude out of the US. Years of unhinged rhetoric from 2016 onwards turned out to be unhelpful in de-escalating a dangerous situation.

> Countries can be invaded even if they didn't "provoke" it...

I'm not going to quote specific parts but addressing the points you raise from this onwards - nearly nothing justifies war. But what does happen regularly is unfair war. The lesson out of something like the Afghanistan invasion in 2001 is if a major power tells you to do something you have about a month to comply before something unjustified happens and the faster the weak roll over the better it is for them.

If I can swallow that and stay friends with my US friends - which I can - then I can handle almost anything.

> At no point was Russia happy about the USSR member states leaving, and Putin has repeatedly stated that this is the "greatest geopolitical disaster of the last century".

That would be like the British PM lamenting the fall of the British empire. I don't see why believing that would lead to a war or even bad feelings. I do see why NATO expansion into Eastern Europe would though, especially given that with hindsight we know NATO sees Ukraine as an arena to inflict crippling losses on Russia. People in the Russian military probably have sleepless nights worrying about NATO.

And I note you didn't link to speeches by Putin. That'd be wise, it is rare to see a western media outlet accurately representing even western politicians. Not as a partisan thing, but as a blanket failure. It is better to go to the source material.
New meta: Jump the downhills.
> Reducing the number of clicks is not going to make me change my decision and suddenly order more things.

What about 'subscribe and save' on amazon. I never use it, but curious if it has a similar fate as ordering on alexa.
Only if you have a valid fitness metric. If you have humans looking at hands, then that's a good metric, as long as you really do have a human in the loop. Any automated metric (eg something that can evaluate hands) is great for measuring that specific dimension of fitness (after all, it was developed by a human, so it's really just an indirect way of feeding the human's evaluation into the machine). But it's useless for any other dimension. It'll happily rate the perfect hand coming out of a dogchickenpeach above the deformed hand petting the perfectly formed dog.

It's the same as any other kind of signal processing. You can increase the noise, but you can't get more signal than you started with.

Here, if the LLM decides that "monkey" is most often followed by "butt" and occasionally by "trainer", then it'll generate synthetic data with those frequencies and training on that data will not change its probability estimates at all. It will, however, drown out the signal that "you are a monkey butt" is more likely than "phlegm cigar monkey butt", if you'll forgive me the liberty of using those phrases to represent statistical correlations just beyond the frontier of what the LLM has learned. The synthetic data will teach it that everything it doesn't already know is equally probable, which will overwhelm human source data in which it isn't.
There are nuclei with only neutrons. We call those "neutron stars".

They're ... both big (by atomic scales) and massive (atomic and astronomical).
I don't really want to defend X here but this is probably a non-story or at least not the one the tweet is implying. FB has a similar list, and it's not because of some secret agenda but because taking down posts that get a bunch of user-reports is actually a pretty effective system, except for high-profile accounts that have every single post reported by people who just don't like them. You end up having to maintain a "don't automod" list.
Most of my stack overflow points are from helping people run their build in Eclipse :)

Gradle is deprecated now though. And Jetpack Compose is about as convenient as Flutter.
This is hysterical. I never owned one until I worked on the product because I worried it was always recording/transmitting. Turns out it’s not. Promise.

You don’t need a shadowy government cabal to explain Alexa persisting too long in the strategy described in the article. Just a powerful chief executive with an attachment to the product, the sunk cost fallacy, a company with too much revenue to know what to do with, some gameable downstream impact metrics, the inertia of large institutions, and empire building.

It still could’ve become an incredible product if they’d gotten on the LLM chat/agent train early enough, but alas. I mostly use mine to set timers when my hands are full in the kitchen.
Anybody who is surprised by this has not been paying attention to how the recent acquirer of Twitter has stewarded it thus far.
You would probably end up writing copies of such books, since same proof will be included multiple times. And more copies written by humans means more errors.

Automated theorem proverbs can probably solve this problem though..

I had a professor who derived Riemann metric from just area of triangle and limits over the course of a semester. So I see what you're getting at, but such books will probably he too long for most people to read anyway.
Love the UX, AI is unlocking a completely new ux paradigm and kudos to you for pushing it forward!
Incredibly common in the US as well to use different units per item. All the better because our garbage measuring system can make unit switches significantly trickier.
Agree to disagree. I always like expressiveness of Ruby, so `2.days` and `2.days()` look totally normal to me.

> `strongman.open( door )` is just that much clearer, flexible and explicit.

Where the strongman came from? Entirely different semantics.
Failover?
Yeah, and we can blame a lot of that on the Git developers, but they never use words like ‘public’ and ‘private’ to indicate things they’re not.

Regardless, the vulnerability in Github forks falls squarely on Github, and is not mitigated by Git being hard to understand in the first place.