skysight-inc/HackerNews huggingface dataset:
> Websites that re-implement text boxes, history, scrolling, so many things, never get every detail right.

As browsers continue to give developers more low-level control, the less of a problem this is. Take one of your examples, history. This used to be a high-level feature implemented only by the browser and if you built an SPA your users either had a very bad experience or you had get "clever" with various tricks. Now, we have a nice history API.

You say that everyone benefits from the same years of experience and testing but at the same time they're limited to a single vendor. A single idea of how it should work. And a single implementation. Right now if I don't like how validation works/looks that is implemented in JavaScript, I can choose any number of alternatives or implement my own ideas.

The browser should help developers build the best possible solutions, it should not implement those solutions itself.

Browsers themselves have always had weird edge-cases and as a web developer I've always had to work around them (see this article). Sometimes even depending on the browser. The whole idea of an "SPA" was never even imagined by browser makers but developers made that happen.
The M3 airs came out in March of this year, so it’s a bit soon.
I disagree with this on two points.

First, oftentimes the interest in proving long-standing, difficult mathematical problems is because we hope a proof will demonstrate new tools for tackling similar problems. In that sense, the exact content of a proof is quite important. Not to mention, there is value in having multiple proofs that each demonstrate quite different toolkits. Mere truth is not often the most important thing -- after all, mathematicians can (and do!) take certain propositions as premises of downstream work. If we discover a proof for one of those premises, that just means we can drop the premise from downstream work. Not having a proof doesn't block us from making use of the proposition anyway.

Second, sometimes the content of the proof is relevant formally. A sibling comment gave an example in terms of paths between two points; it is often the case that you care not only that the points are merely connected, but you also have a preference for which path is taken. Or, you can do an analysis of the paths themselves, and determine their length or average furthest distance from the nearest McDonalds. A path is "just" a proof of connectivity, but the individual paths can be quite distinct when studied themselves. Less abstractly, a constructive proof will yield an algorithm that can be performed, and we know quite well that the variety of sorting algorithms (that "merely" prove that "all lists are sortable") actually vary in quite important ways, including asymptotics and stability.
A Proof is not a statement. A theorem is a statement.

Proofs are usually not completely formal or even formalizable. Math is not completely well founded.
"Unravelling it all the way" might be an open research project, or a new conjecture directly inspired by the second, apparently different proof. Showing these two profs to be equivalent might depend on a major new idea that happens after the two proofs are createdm

This is hinted at in the OP discussion of Terry Tao.
To be fair even Java solves this problem with checked exceptions. It forces you to handle them or pass them on. It's really just C++ and C# that have a bit of wild west error handling.
WoW was probably the first game that was ported to the ARM architecture (2020), so it's not that recent.
Vector databases are the wrong abstraction
Tokio-Rs: Bytes:From_owner
Mr Frumble the apple man has dumped his load of apples on the road by mistake. Lowly thought he had the only apple (n.b. Lowly worm is driving his apple shaped car) on the road, but my isn’t he mistaken!
What are opinions on refurbished macs? I got one and love it so far
Show HN: Chatsimple – RAG with real-time voice APIs
Hey HN,
I have 6 years of experience in conversational AI. When the LLM boom started, I knew it would open new ways for businesses to engage with customers. So, I decided to start Chatsimple to see if I could help businesses to build human-business interfaces.

Fast forward a year and a half, and with the release of real-time voice APIs and Eleven Labs, the industry has been disrupted again. My team & I put together something to show what RAG for voice could look like.

How is it different for Bland AI and other alternatives:
- Instead of going the direct call route like Bland et al, we put together a creative UX that lives on a website. Since it’s not where most folks expect a caller, we saw more interesting behavior in initial testing vs AI sales cold calls.

There’s 5min of free voice API playing around for anyone interested. Any feedback would be super appreciated!

Loom demo: https://www.loom.com/share/78a5ce82e24543bfae40c05957a1e7d5
Sorry, but how is that a response to what the GP said? It was not necessary to keep making Windows worse and worse to decouple it from other MS products.
Unfortunately a low of newer displays (especially OLED ones) don't have regular horizontal RGB/BGR layouts anymore. I have seen both vertical subpixel layouts as well as triangle layouts or other funky subpixel arrangements. Even if you configure/update your software to those different subpixel layouts the result is not going to be as good.
It's not just RAM.

It's Unified RAM. So that memory is also used for the GPU & Neural Cores (which is for Apple Intelligence).

This is actually why companies moved away from the unified memory arch decades ago.

It'll be interesting to see as AI continues to advance, if Apple is forced to depart from their unified memory architecture due to growing GPU memory needs.
But LLMs cost money so it'll need a monthly subscription with tiers (for visitors too!)
.. the one from 1906
Only WoW, LoL and Dota are being translated through the Rosetta.
https://remotedesktop.google.com/
Most definitely, Ray Porter's performances are a masterclass in first-person sci-fi adventure narration.

His Project Hail Mary audiobook is unparalleled.
I tried various "weird phones" on my way to standard Android, among them a high-end WinCE phone (Xperia X1a) and a WP8 one (Lumia 520). Make no mistake about it, WP8 was a good mobile OS, even if they did stick the dreaded "Windows" name in there. Smooth, reliable, battery efficient, well-thought-out UI. But alas, too late. By then Android had captured the "not iOS" market and it would have taken a miracle to bring a third OS to the mainstream.

I very briefly tried WP10, and it actually seemed a step backwards; in their desperate attempt to somehow unify the desktop and phone thing, be it in code base or user experience or whatever, they tried too hard.
I'm at the point where I wonder what my options are for unauthorized capacity-expanding repairs.
So you are saying that the two proofs are different, but there is a third proof that gives each of the first two as corollaries.

So ... the first two proofs are different, then.
Workers are required to pay taxes on tips, but employers are only required to report cash tips at something like 9% of sales. This means that when workers were mainly tipped in cash, they could hide a fair amount of their tip income if they were averaging more than 9% tips -- though they were legally required to report it, not reporting it was essentially risk-free. I assume that charged tips are reported by their actual amount.
Celebrating 20 Years of Selenium
The MacBook Pros with either a base M4, M4 Pro, or M4 Max are said to be due for announcement tomorrow.
.. but most concurrency is done in distributed systems, where Rust provides little to no protection.

Although making a Rust monolith would be great!
> I don't think these even boot once the SSDs die.

All Macs that I know of let you configure the boot drive. I had an older Mac Mini with a spinning HDD. I added an external SSD, set that up as the boot drive, and never touched the slow drive again. I'd be extremely surprised if you couldn't do the same with this.
> so how are you accounting for it?

One way is with modeling assumptions. Recall that the T test was invented to be used in controlled beer fermentation experiments, which I think should fall into your "hard" science category. But the T test has strict distributional assumptions, without which the test is not valid and its results are meaningless.

Another way is that we can improve our modeling assumptions, or at least our interpretation of modeled results, by doing basic descriptive data analysis before experimenting. Unless you are extremely starved for data, you will very quickly notice if your data follows something like a power law distribution. Then you can adjust your experimentation and modeling accordingly, even if it's just tempering your ability to draw conclusions for a randomized controlled trial.

Yet another way is with replication of experiments. We are not talking about observational data here, so these experiments can be replicated. A power-law distribution, again, would be noticeable here, and we'd see a high variance in results across individual experiments.

> You don't see a difference between actually necessarily controlling a cause by causal intervention, vs., "somehow, hopefully, on average" possible relevant causes are controlled for?

I don't, because "actually necessarily controlling a cause by causal intervention" does not exist in real life. It's just a matter of how much the data varies around the average case, which tends to be greater in the social sciences than in the natural sciences... on average, with plenty of variation around that average.
I would genuinely be buying one today if the memory upgrades were half as much and I could go to 128GB or even 96.
SoCal inventor looking for solution to ward off unwanted visitors
Interesting read.

I noticed something, you achieved near 100% accuracy on most domains in every domain but scientific which made me wonder, how much is that could be due to how "strict" and "profrssional" these papers could be, or maybe how a slightly disproportionate number of the training data for these LLM could be from science based articles and papers, as they are generally viewed to be "high quality"

Interesting read either way, best of luck on your project (:
Really digging this idea.

I've spent plenty of time trying to dig into the network tab to automate requests to a website without an API. Cool to see the process streamlined with LLMs. Wishing you all the best of luck!
To be fair, my anecdotal coworker evidence with Wayland has been "the Webex client doesn't work" with the ten-second remedy of showing them how to set their default desktop back to X11.
Russian State TV Channels Demand 2 Undecillion Rubles from Google
I messed it up too. Edison wanted to disparage AC.
A lie is a lie, and GP's point still stands. In effect, you're proving their point by doing everything possible to justify a state of affairs for a preponderance of people whereby it's okay to water down the reality of the situation to "spare them an emotional reaction".

I can understand where GP is coming from. A lot of my professional career even exists because someone has to cut through the massive layer of bullshit and distortion people generate in an org to be able to make substantive statements about what is the truth, born out by quantitative data and observation.

After a while in the field, you really start to lose your appreciation for other people walking around "sparing" one another from the Truth.
Many people are eager to plug in their air purifiers and get started, but they often miss the fine print about checking inside the unit. Leaving the plastic bag on the filter basically turns the purifier into a fan, without any actual filtering. I saw someone post that they ran theirs like that for months before realizing it—no air getting filtered the whole time! Your dust photo reminded me, so just wanted to mention it in case you hadn’t checked for the bag inside.
Salesforce is not sold as a CRM though, and that's the problem. They position themselves as the do-everything-you-can-dream-of engine for your business' IT transformation. It's like it's rule 34 of the business word: If you can think of it, Salesforce has a checkbox on a powerpoint somewhere about it.

What this results in is that upper management sees all the features and capabilities in a flashy sales pitch, they close a deal with Salesforce (probably after some less-than-noble negotiation tactics deployed by SF salespeople), and then the mandate comes from the top: "We must implement Salesforce!" And all the tech people look awkwardly at each other not having the faintest fucking clue what that even means.
Jesus, are people really this naive to think Bezos didn’t orchestrate all of this intentionally?
With the inclusion of a Thunderbolt 5 port, I think that apple might have a new high resolution, high refresh rate monitor in the works.
I meant to say, "Founder using Flutter here".
Seems like a totally different thing, very political and adult oriented.
carbon neutral, HA what nonsense.

edit to clarify: I don’t think reducing out carbon emissions is nonsense, that should be our top priority as a society, that’s also (part of) why AI is quite shit honestly, I couldn’t care less if they were just burning money by developing nothing burgers but they’re also burning through all our natural resources at insane rates.

However I do think the term “carbon neutral” is quite nonsensical and just seems like a term to make the consumer feel less guilty about themselves, hell sometimes it’s even used to make the company execs feel better about themselvss. I didn’t forget about that HORRIBLE, TERRIBLE “mother earth” commercial apple ran. DISGUSTING.
Precocious young people should do deep technical training
There are a number of companies that specialize in making hubs/NVMe enclosures that match the aesthetics of the Mac Mini and sit directly underneath it.

For example: https://www.amazon.com/dp/B08S47KBMC/
This is just my purely anecdotal observation and may not be useful but for my hobby servers blogs, chat servers, etc... I only accept HTTP/2.0. This blocks all the older and poorly maintained bots. All modern browsers can use HTTP/2.0. If I had some API exposed then I would probably make an exception for that URL as some of the API tools also use old HTTP libraries. For what it's worth I have never had an issue with someone not being able to reach any of my sites using a real browser. Ultimately the answer to your question depends on analyzing your logs for legit traffic.

I would not do this in an enterprise environment without extension logging, monitoring, investigation into IP's using != HTTP/2.0 and customer notifications, maybe even customer discussion on community portals. Another place this will not work is Tor hidden sites unless you have a signed onion domain using HTTPS.

Nginx example using return code 444: [1][2]

if ($server_protocol != HTTP/2.0) { return 444; }

[1] - https://nginx.org/en/docs/http/ngx_http_rewrite_module.html#...

[2] - https://stackoverflow.com/questions/41421111/http-444-no-res...
Ensemble: Generate optimal embeddings for any ML task
I cannot edit anymore, but this is the talk descrption: https://www.thestrangeloop.com/2016/reproducibility.html
> I wonder how many consumers fall into this sunk cost fallacy scenario that Apple has designed.

Millions. Let that sink in.
Much more lightweight! All the durable execution logic runs inside your program persisting state in Postgres, no need for a separate workflow server.

That's why Durable Swarm can be a true drop-in replacement for Swarm, because your Swarm agentic workflows still execute normally in Python. Temporal and Orleans are far more heavyweight solutions that require you to radically rearchitect your program.
That’s a shit ton of dust. Is this in an industrial factory?

I agree that mine also gets dirty as well but nothing like your picture where it’s caked there.

I typically just wipe it clean after a couple of weeks. Can even go a month without any issues. I even have a dog that sheds like a mofo
studios can create infinite remakes of successful movies and "digital actors" dont generate controversies
thats all theory
thing is that I mess with large two volt(nominal)
storage cells,the largest are over 250lbs and sit
like dumb beasts,waiting to oblige anyones low voltage requests,hundreds of amps on tap
be nothing to bolt ,some nice shiny copper handles to the terminals and mist them down with some warm salt water
I also mess around with microscopes,and compared to bugs,humans are very poorly made,so many tiny
things are flawless living perfection,and some like wolf(jumping) spiders are smart,smart enough
that they see us seeing them,and are ok with that
one thing that I have observed that plays into the
static electricity thing,is that many of the tiny
critters that I watch,are impecably clean,no dust
or dirt on them at all,perfectly clean,unlike a human finger,which is one zillabutt uggly thing,under magnification
I replace the filter on mine every couple months. It's clear of bags and the filters are regularly filthy.
There are no slots, it's all soldered directly to the motherboard. Even in the Mac Studio, which does use modular SSDs, they're proprietary modules rather than anything you can easily swap out yourself.
> Gr eat again
Educational environment with artificial intelligence that connects you to the labor market
iMac was yesterday, Mini today and MacBook Pro tomorrow.

Mac Studio and Mac Pro are getting upgrades next year apparently.
You can't compare 10 years ago Java to current Go. 10 years ago was Java 8, we are currently on Java 23. The performance difference is massive between these 2 runtimes especially between the available garbage collectors.

Hazelcast has a good blog [0] on their benchmarks between 8 and some of the more modern runtimes, here is one of their conclusions:

> JDK 8 is an antiquated runtime. The default Parallel collector enters huge Full GC pauses and the G1, although having less frequent Full GCs, is stuck in an old version that uses just one thread to perform it, resulting in even longer pauses. Even on a moderate heap of 12 GB, the pauses were exceeding 20 seconds for Parallel and a full minute for G1. The ConcurrentMarkSweep collector is strictly worse than G1 in all scenarios, and its failure mode are multi-minute Full GC pause

[0] https://hazelcast.com/blog/performance-of-modern-java-on-dat...
That is correct[0], as known from the iPad M4 analysis.

I will say SVT-AV1 has had some significant ARM64 performance improvements lately (~300% YoY, with bitrate savings at a given preset[1][2], so call it a 400% increase), so for many use-cases software AV1 encoding (rather than hardware encoding) is likely the preferred modality.

The exceptions, IMO, are concurrant gaming with streaming (niche on MacOS?) and video server transcoding. However, even these exceptions are tenuous: Because Apple Silicon doesn't play x86's logical core / boost clock games, and considering the huge multi-threaded performance of M4, I think streaming with SW encoding of AV1 is quite feasible (for single streams) for both streaming and transcoding. x86 needs a dedicated AV1 encoder more-so due to the single-threaded perf hit from running a multi-threaded background workload. And the bit-rate efficiency will be much better from SW encoding.

That said, latency will suffer and I would still appreciate a HW AV1 encoder.

[0] https://en.wikipedia.org/wiki/Apple_M4
[1] https://www.phoronix.com/news/SVT-AV1-1.8-Released
[2] https://www.phoronix.com/news/Intel-SVT-AV1-2.0
It's hard to compare Rust or C++ to GC langs like C# and Java because their runtimes are greedy. The CLR will easily take 10x more memory than it's currently using such that future allocations are much, much faster. So measuring the memory consumption of a JVM/CLR application is not simple. You need to ask the GC how much memory you're actually using - you can't just check the task monitor.

Also you can do that same thing in Rust or C++ too. Very common in C++, speeds up programs quite a bit.
> When you say "SF is pushing a microservices architecture for e-commerce hard", I wonder if you mean they attempt to rope customers into buying into the Mulesoft ecosystem

Yup, bingo!

Before I got laid off, I was working on... monolithic (for the lack of a better term) SFCC systems, never headless. The vast majority of the few SFCC job postings I've come across have been asking for Mulesoft experience, and that summer job also featured it, though I never worked directly on it, only the SFCC instances that sat behind it.

I've never worked with any Salesforce sales team prior to actually getting to work, and in fact, all of my work in the past 7-ish years (and most of it before) has been post-launch development and support.

EDIT: And when I started looking at what Mulesoft was, why, and how to use it, all I found was hype about APIs; nothing about why you would point web browsers at it for HTML. The documentation might as well have said it was a genie that made all your wishes come true.
At this point it feels like (correct me if I'm am wrong) that Apple's AI is often performed "in the cloud". I suspect though that if Apple moves increasingly to on-device AI (as I suspect they will — if not for bandwidth and backend resource reasons then for privacy ones) Apple's Silicon will have adopted more and more specialized AI components — perhaps diminishing the need for use of off-board memory.
In a sample of 10,000, the number who have trait T9 is about 20. The chance of all 20 being in a randomly chosen half of the sample is about 1 in 500,000. It's quite unlikely that trait T9 is randomized this way, and it's also quite unlikely that the effects of just 20 T9 individuals on the outcome of interest are so strong that a typical analysis would find a significant difference between the treatment and control arms. The chance of both these things being simultaneously true is negligible. Do I misunderstand you?
in the name of [share price] performance and [market] power efficiency
That was the low point for MacBooks. The newer models are much better.
Asymptotics and stability are different theorems.

An algorithm is not a proof. It is a technique for proof.
Two algorithms can be different, while not being meaningfully different profs that a list is sortable.

To the extent that they are different, they proof different theorems, such as "list can be sorted in O(f) time" for an f of interest.
OpenAI CFO Sarah Friar says #AI isn't experimental anymore. She says banks, financial institutions and fintech's are using it everyday in their business.

https://www.youtube.com/watch?v=eCqFgVqWbEs
I wish I could do this… best part of building for devs is being able to provide simple, good UX with minimal UI.
Three points:

- Running an Air Filter 24/7 has huge diminishing returns (i.e. waste of electricity). They are best run at max fan speed for short durations instead.

- Elevate it with a platform.

- Get a vacuum (or even a robo vacuum). I grew up in a 100+ year old house, it wasn't dusty, and had hard-woods/brick everywhere.
Man I loved Richard Scary growing up.

I initially thought my 1.5 year old didn’t quite have the attention span for Cars and Trucks and Things that Go yet, but recently, after learning the word bus, he picked it up and dutifully started going through each page and finding all of the buses.
Linked PDF says Copyright 1906, and I see no edition number -- apparently the first.
Show HN: pgQR: Postgres Extension to Generate QR Codes
And what’s worse is at the same time shadow libraries like Z-Lib and LibGen became popular. If they had left the copyright infringement to shadow libraries, maybe making a blog post saying you totally shouldn’t go there because free books are evil and they have a full archive of our books for free, then the same thing would have happened, that is free full access to books on a wide scale, with minimal legal pushback for IA via genuinely vile publishers looking to hoard IP they should have lost decades ago.
The title leaves out essential context. This is a discussion on Reddit among Canadian teachers about how student conduct and behaviour has changed over time.