skysight-inc/HackerNews huggingface dataset:
Nice job! I'm always surprised how relatively little is findably recorded about Google's history. It's one of the most important and influential companies of the past hundred years. I love to read all the different bits of insider info and company lore that I can. I think I have some old Apache log files that still contain lines with the "BackRub" user agent.
Thanks for the feedback!

Taking a look at using a dmg for download + notarizing the DMG so that there isn't a warning.

And then will look at fixing the bug you mentioned RE clicking on the icon and not seeing any changes.

Lastly, planning on adding in Sparkle so that updates can be sent out automatically.
Compare Russell's problem of induction. (The chicken observes that every day the farmer comes to feed her, until...)
uBlackList is fantastic. It even works for DuckDuckGo! If anyone is interested, here are some ruleset subscriptions to start with.

https://github.com/rjaus/awesome-ublacklist
«the AI industry is forecast to expand “exponentially” and consume at least 10 times its 2023 demand by 2026, said the IEA»

10x in 3 years!

If it keeps growing at this rate AI will soon account for most of energy needs.
> It's not just Reddit. Q&A forum Quora is getting a huge visibility bump in Google search results,

Why? Landing on a quora page has to be the most confusing web experience in existence right now.

Quora just reminds of yahoo answers but rebranded. I can't be the only one with that association and find it hard to take seriously. Assuming you can even find the content your looking for on a quora page.
Why would they? Plenty of PC users prefer the m.wikipedia.org layout, even on desktop.
[dupe]

Some more discussion: https://news.ycombinator.com/item?id=40059174
A KV store is both good enough and highly performant. I use Redis for storing embeddings and expire them after a while. Unless you have a highly specialized use case it’s not economical to persistently store chunk embedding.

Redis also does have vector search capability as well. However, the most popular answer you’ll get here is to use Postgres (pgvectpr).
concurrent work (https://arxiv.org/ftp/arxiv/papers/2401/2401.04349.pdf) has shown website fingerprinting, recognizing something like the static login page of youtube/google/facebook etc is very much doable.

that said, I don't expect to see any of these attacks in the wild. they're primarily demonstrations of the technique and to show that the channel is there

as is often the case with side-channel attacks, a serious attacker would much more likely go for un-/recently patched traditional vulnerabilities
io_uring support is obviously great & excellent, fulfills the "high performance" part well. brought an immediately smile to my face.

i was not expecting "Wasm + WASI" support at all. that's very cool. implementation is wasi_poll.zig (https://github.com/mitchellh/libxev/blob/main/src/backend/wa...). not to be unkind, but this makes me wonder very much if WASI is already missing the mark, if polling is the solution offered.

gotta say, this is some very understandable clean code. further enhancing my sense that i really ought be playing with zig.
I wonder if alerts did come in, but Microsoft didn't respond quickly enough. That's giving them the benefit of the doubt, though; very possible they weren't monitoring this system. If they were, they probably would have identified the fact that it was exposed to the internet via a public GitHub repository....
It was literally under the department of intellectual wankery. Them shutting it down is the pot calling the kettle….
Cyc: History's Forgotten AI Project
Would Google really admit there was a bug in their search engine? Paid search results is what makes Google the most money. Admitting they can't deliver bug-free results causes people to lose confidence and decide to advertise elsewhere.
- Alternative app marketplaces become allowed.

- Apple sees emulators as a potential market for alternative app stores and proactively chooses to allow them in the Apple App Store.

- This is a clear example of how competition in the app market place being a positive thing.

- Developer creates an alternative app marketplace, with an emulator as one of its main apps on launch, realizing the competition that forced Apple to update their rules to allow emulators in their own store.

I'm sorry you feel forced to download a separate app store, but don't you see how you in the end are benefitting from this change even without using the AltStore? Give it some time and you will probably have another emulator in the app store you can choose to download.
This happened when I was in HS in the 1980's I think it was around 86-87 that they outright banned beepers/pagers, no exceptions.
>categorizing people by skin colour is ridiculous for almost all purposes

Sure. But race is most often about genetic (or ethno-linguistic) heritage, not skin color. A person from Japan might have the same skin color as someone from Greece.
Yeah, I don't get how that context makes anything better. All it says to me is Bostrom is trying to claim he's not racist because he knows his racist view will get him called a racist and therefor he's not racist.

The argument doesn't make sense. You don't get to claim your view that black people are inferior to "mankind" isn't racist just because someone calls you a racist
I have a theory that reddit was pretty decent when it first started because the majority of the site users were at least university or college students/age.

Nowadays the average age is high school, and probably trending to grade school

These are the people who are influencing the Google search user at large now.

We’re fucked
Wow. Weird.

We never had this in the Netherlands. But we got them later.

In fact for a long time they were the only way to be reachable in hospitals because they banned mobile phones for fear of interference with medical equipment.
Unfortunately many subs are set up so that if you go against the hivemind, you get instabanned, or close to it. There seem to be many mods on Reddit who have nothing more rewarding going on in their lives, or else just cherish that small bit of power over others.
Filters for scanlines, blur, etc have existed for years. No need to bake that into the panel - it can be done in software easily.
and the feminine version mentioned briefly in the article, flâneuse

https://www.theparisreview.org/blog/2016/08/25/radical-flane...
clearly someone here is probably coming from a wealthy country and never had food insecurity in their vicinity.

I do not mean to give you a "woke" lesson or whatever, but the reality where I come from is that people do not have the instruction level to know that this product is harmful to the health. The child will just ask for it, and if they are lucky/hard working enough to afford it, parents will buy it.
I'm arguing from a moral standpoint, not a legal one.
https://youtu.be/XEIvtm4FegI?t=26

flah-neur
Open platform allows you to use non formlabs resins, it works fine but tbh what you pay for with formlabs is getting the perfect prints every time. The form 3 works so well because all of the resins have such optimized settings and you can just let it print without worrying about issues. If you want to use some other resin I doubt you would see as high of a success rate.
Can embeddings be used to capture stylistic features of text, rather than semantic? Like writing style?
What a dick
I hardly know anything about the Mormons - I thought they were pretty isolationist, which seems to go completely against what the NSA and especially the CIA does - what would be their agenda ??
Are you trying to say that people didn't know the n word was offensive in....1996?
Yep, model checkers are one of the more powerful tools for working with Boolean models. You might find some of the work from Jasmine Fisher's lab interesting, especially when she was at Microsoft Research.

My take on model checking for Boolean networks is that they're too rigid and too difficult to program to answer the really interesting biological questions. My understanding is that they're great for exactly proving exact correctness, but can't tell you if your model is close but not exactly correct. Given the limits of biological data, the close but not perfect models are sometimes the best. Also, you really want to be able to ask weird questions sometimes. Like, how does this model behave if we apply a perturbation, or series of perturbations to it? What if we simulate the model in some weird, non-conventional way? Then configuring the model checker to give you information about that situation can be really difficult. Like PhD thesis level difficult.

That's why I have always just relied on brute-force simulations. Compute is cheap, my time is not (even as a grad student). Much easier to just submit a job to the cluster and wait a day then try to figure out how to get Z3 to do what I want.

Others will probably disagree.

Unfortunately, I'm not really familiar enough with Petri nets to comment on the relationship to boolean models.
The median American would not have to pay out of pocket, as nearly every American has health insurance (since the ACA, it is actually illegal not to have insurance).
Regarding the alphabetical order, I think one of the oldest alphabetically organized dictonaries extant is ‘Alphabetical collection of all words’ by Hesýchios¹. In his preface (written as a letter to a friend named Eulogios), Hesychios writes that quite a few other people in earlier times have made alphabetical collections of words, but always only for a certain subset, e.g. all homeric words, all words found in the tragedies or in the comedies etc. After them a certain Diogenianós was the first (according to Hesychios) to make an alphabetical collection of all words.²

The names of the older lexicographers Hesychios mentions are: Appíon (Ἀππίων – or Ἀπίων?)³, Apollónios son of Archibios (Ἀπολλώνιος ὁ τοῦ Ἀρχιβίου)⁴, Théon (Θέων)⁵, Dídymos (Δίδυμος)⁶.

¹ https://en.wikipedia.org/wiki/Hesychius_of_Alexandria

² https://el.wikisource.org/wiki/Epistula_ad_Eulogium – “κατὰ στοιχεῖον” is the phrase meaning ‘by / according to the letter’, understood as ‘alphabetical(ly)’; “καθʼ ἕκαστον στοιχεῖον” ‘by / according to every letter’.

³ a search turned up https://en.wikipedia.org/wiki/Apion

⁴ certainly https://en.wikipedia.org/wiki/Apollonius_the_Sophist

⁵ I donʼt know, https://en.wikipedia.org/wiki/Aelius_Theon perhaps?

⁶ a search turned up https://en.wikipedia.org/wiki/Didymus_Chalcenterus
My current main display (Odyssey Ark) weighs 91 pounds, so I think I'm at the point where "small size" is not longer a benefit of modern displays
I'm sorry but I really don't believe a 540 Hz or even 360 Hz LCD is going to be beaten in total end-to-end latency by any kind of CRT. I've yet to see any real world tests to the contrary.

And of course, modern OLED beats the pants off of both in that regard.
It seems you missed a beat here.

The comment you're replying to isn't talking about the layoff round. It's talking about what happens next, when someone from the team gets hired elsewhere and the boss says "we need more people". Who gets brought in?

This is a very common scenario in our line of work.
Would this be a reasonable explanation?

> MLPs are universal function approximators, but these models are big enough that it is better to train many small functions rather than a single unified function. MoE is a mechanism to force different parts of the model to learn distinct functions.
My opinion matters just as much as yours; besides, I'm arguing from a moral standpoint, not a legal one.
It’s ok to hate on Nestle but let’s not forget that most of the food industry is basically leading a war on the world’s health in search of profits.

The amount of terrible ingredients and misleading information they are putting on the market is just stunning. And the cost in terms of people’s health and the cost is enormous.

It’s kind of hard to understand that we let them get away with this.
Most people were playing SNES via composite video or RF out. MiSTER is going to be using RGB. RGB cables for SNES didn't really happen in the US (YPbPr component video seemed to come out with DVDs, and there weren't contemporaneous cables for that for SNES, although they exist now), but S-Video was available and is much better than composite.

On speakers, it's pretty simple. Physical depth is very useful for simple speaker designs, and today's screens are very thin and try not to have a bezel. It's pretty common for speakers to be downward or rear facing to make the front of the tv beautiful. This provides sound, but it's not very good. And you can't get much bass out of a small speaker anyway. A CRT tv was pretty big, adding a sizable speaker wasn't a big deal. Even early flat screens had room for an OK speaker, usually oval to use the width of the screen without adding much to the height.
In the 80's I had a walki-talkie confiscated till the end of the year also. It "just happened" to be crystaled for the same freq the school narcs/maintenance used.
> If it didn't work they wouldn't do it

I don't know if I believe that... I can see companies falling for the politician's fallacy (We must do something -> this is something -> we must do this). They have money to spend to promote their product, advertising is a well known way to spend money to promote a product, therefore they buy advertising.
Yes, giving sugary stuff instead of lowering the surplus margin on high quality food wolf in sheep's skin
I think "moral panic" (to paraphrase Terry Eagleton on ideology) is like halitosis in that it's what the other person has and not oneself. Arguments that invoke it seem always to break down into finger-pointing and one-upmanship.
How do I request a refund, I am in the same boat...
The amazing thing is that 8g is still a lot.
Without any exaggeration the article claims that Nestle is the most evil entity possible because some of its products contain added sugar.
There is Qwen1.5-MoE-A2.7B, which was made by upcycling the weights of Qwen1.5-1.8B, splitting it and finetuning it.
Nobody is saying bot/shill accounts don't exist. Just that they aren't literally everywhere and in insane numbers. Also, it's about the distribution of the bots between the subs: are they mostly on the huge main subs, or do they also expand to the 10,000 person niche subs?

If 1 formula company has 1 reddit bot that posts 1 post every month in every parenting subreddit, is that considered a bot infestation? How many bot posts is necessary to be considered endemic?
You could always bring your parents into this if you really wanted to. For some reason that rarely ever happened...
I can't give my boss any work they don't want to do.

If I find a problem in another team's domain, I can try to interest them in it, and failing that, I can try to interest my boss in it, but if no one gets interested enough to fix the thing, what am I going to do? Work around the problem and sulk.

See Also: Glue Work

https://noidea.dog/glue
For headline only hot take posters, be aware this is not referring to any cost of mitigation or reducing CO2.

It’s the lost income due to the effects of warming such as lower crop production
You'd do better to go work hard for their competitors or create one.
As far as I understand:

The intent of WASI is to provide (among other things) a direct to DOM API. One where e.g. a DOM implemented in Rust can be used from a WASM module written in Rust without executing any Javascript.

Some of that gets fiddly because the DOM API is sort of specified with Javascript semantics.. so they're going for things with less Javascript legacy baggage first, like HTTP requests (server & client), TCP sockets, filesystem access.
AI is the necessary prerequisite of post-scarcity, which solves all of those problems and then some
"Unfortunately, what has happened is that wages haven’t kept up with the cost of living, by and large, for the last 50 years or so"

That's putting it mildly. I lived better 15 years ago making $40k less than I do now. Price increases for consumer goods, energy, food, and property taxes in the last four years have been especially brutal!
That means around 33g per can so almost nothing has changed.
I did miss your point, I misunderstood the hefty price tag was just for the memory. Thank you for not biting my head off! That is pretty mad. I'm struggling to think of any explanation other than yours. Even a few supporting upgrades maybe required for the extra memory (power supplies etc) wouldn't be anywhere near that cost.

I couldn't find much to actually see how many chips used but on https://www.techpowerup.com/review/sapphire-radeon-rx-7600-x... it says H56G42AS8DX-014 which is a x32 (https://product.skhynix.com/products/dram/gddr/gddr6.go?appT...). But either way it can't explain that pricing!
Maybe, I think it seems like that. I felt similar until I had some posts moderated away or banned, which made me realize there is probably a lot more of those going on then I realized. There isn't a big notification when things get removed. There is also trying to post and dealing with automoderator. There's subreddits I don't read or participate in anymore becasue of how annoying it is to get a post through.

I get their necessary, at least for now, because of spam. But like I'm said I think there's a better middle ground and we can rely on the community users more.
To be fair Reddit needs a redesign. The existing UI is pretty good on desktop but sucks with smaller displays.

Of course their last redesign was so bad that they are already working on a new one: https://sh.reddit.com/. It seems better so far, but lets hope it ships before they turn off old.reddit.com
That's different. Most PR justification of anti-consumer behavior deliberately avoids what the topic is really about to control public perception... While complexity is what the PR campaign is about, it's still really about control and artificially creating new revenue streams.
You probably have a social and family life at this score, unlike me lmao
Did those offers apply to general teaching positions, or specialized roles? My mom had a similar offer ~30 years ago when she re-entered the workforce, but she was an ESOL teacher (and at the time, the offer only applied to ESOL and special needs, which both took extra certifications).
Agreed. That was a great read and cautionary tale about not following best practices!
Anything posted to Hacker News is typically fully available via archive.is. (And you can make it available if it wasn't already.)

https://archive.is/Y5ntn
I wrote a comment on some other thread but there's just a lot of wrong place/wrong time at an individual level. If a company is doing a substantial layoff there just isn't the time, energy, or resources to train and fit people who may be generically "better" at some level into roles that already have people presumably doing adequate jobs filling them.

People are not fungible. Someone can be in a role where they're really valuable. But the company evolves and roles evolve and the needs are different. Sure, they might be able to excel in a new role eventually--but maybe it's not optimal to try to make them fit especially at a senior level.
Surgical masks are for droplets, not air filtration.

The medical grade face mask respirators have electric fans to provide air flow as well to prevent precisely this.
Newsweek is making generative AI a fixture in the newsroom
Is anyone else concerned by how close those treads come to the rider's legs? Given that it's meant for tough terrain, I don't think it's a stretch to say riders will likely be wearing loose-fitting clothing like snow pants. Snowmobile tracks don't go all the way under the rider, and are much more covered.

These mockups seem terrifyingly likely to catch a piece of clothing flapping in the wind, and suck the rider underneath. Or tear the clothing off and repeatedly whip the rider with the zipper/button, or even shear through cables/waterproofing with the zipper.

Aside from that, how does this thing stay upright? To my knowledge, snowmobiles stay upright by having a wide base and motorcycles stay upright by the wheels having a gyroscopic force.

This doesn't seem wide enough to be stable on its own (especially in snow/mud/sand). Gyroscopic forces depend on rotational speed, which seems contra-indicative with going over rough terrain. I don't know that one could safely traverse dense woods or rocky terrain fast enough for gyroscopic forces to make it stay mostly upright on its own.

I'm a little curious if this is actually better in any way than a motorcycle tuned for torque instead of top speed, and using very deeply-treaded tires (like tractor tires, e.g [1]). I thought treads were primarily useful for either vehicles with a very high weight:area ratio (too little room for enough wheels to not sink into the mud), or for vehicles that are long and have a very low clearance so they don't get stuck.

This doesn't seem like either. It's not heavy relative to the area it occupies, and motorcycles generally already have a very high body. Honestly, so much of the bottom of a motorcycle is already wheels that I doubt it's even increasing surface area that much relative to tractor tires or something.

1. https://tractortire.com/wp-content/uploads/BHT-Wheels-Ag.jpg
This is actually an incredibly deep and difficult question to answer. I would expect no less from cperciva. :-)

As I mention in the talk, you get very bad tactical performance from taking a uniform random distribution and piping it into the emulator. The fuzzer is exponentially unlikely to hold the jump button for many successive frames without a break. In the fully general case, I think instead of maximum entropy, you want something more like Marcus Hutter's AIXI where you spend energy on inputs inversely proportional to their Kolmogorov complexity. Unfortunately, that's uncomputable, but it turns out that just switching to toggling bits with low probability does a lot better than pure randomness. The approach is analogous to swarm testing (https://users.cs.utah.edu/~regehr/papers/swarm12.pdf).

All of which is to say, the result that we show here is vastly less jumpy than our first tries. The reason it's still more jumpy than a human player is that our platform has no idea where it is in the game, or even that it's playing a game. So if a jump doesn't harm it in the exploration process, there's some chance the first input getting somewhere new will involve a jump, and that will then get locked in.

We do have the capability to do optimization on inputs (what conventional PBT calls "shrinking"), and indeed if you apply this to Mario you can get it to jump a lot less and complete levels a lot faster. That capability didn't exist yet when this video was recorded. We should totally do a another post on this topic!
> I got a strong feeling that Lewis' arguments and exposition were guided by something other than logic, though they pretended to be following it. The trilemma is an example of this.

One way to discover that we necessarily have worldviews outside of logic is to look at a statement like this, and realize it appeals to something outside of logic (feelings) to critique how someone else is only pretending to follow it.
I just think it's hilarious that the Swiss founder, Heinrich Nestle, legally changed his very German name to Henri Nestlé because he thought it sounded more posh and bourgeois, thus masking his family's modest origins.
do you have a simple python impl? :)
True, though often that sort of work "feels" different from the more traditional fake work. It's at least built with the intent / belief that a customer will actually use it.
Because the state wants people's wealth to be like a bar of soap; every time it changes hands, a little comes off. During one year, the same dollar might circulate, becoming part of twelve people's income. The state gets a slice from each one, even though it's the same dollar.
Redis sounds like a good option. I like that it’s not more infrastructure, I already have redis setup for my app so I’m not adding more to the stack.
New plan needed to return rocks from Mars
Bombing civilians and blocking food food aid also isn't nice.

Sitting in an office is much nicer.