skysight-inc/HackerNews huggingface dataset:
> The latter gets talked about and praised.

As someone who writes that kind of source code: It's not art, it's years of discipline and careful attention to detail.

A different way to say it: A song, and its performance, are art. The sheet music, and the filing system, are not. Yet, both are important and critical tools for preserving and communicating the song. The "legibility" of sheet music comes through discipline, but isn't the art itself.

Git is the filing system, and source code is the sheet music.
Just ignore it. Tips are for above and beyond service here in the Netherlands (and in most of Europe). Anything below 'actually quite good' does not warrant a tip. Let the American tourists tip if they want.
I don’t think I’ve heard people complain about the surface performance, power usage, or battery life in a long time. Probably not since the surface pro 3, around the time that intel was making haswell.

Also the Surface Pro 7 was fanless with x86 processors, plus the small one (surface go, I think) is fanless and x86 but does have performance issues.
The internet is getting too full so unfortunately there was only room for one image in the article.
If you live in a tipping society, you should tip (for services like being waited on). As others have said, you don't have to, but that makes you the <explicative>.
Lots of people in tech have never heard of pair programming, because it's an absurd idea. This site isn't just silicon valley. This is a tiny fraction of the tech universe.
suburbs are the worst.

Natural noises have a rhythm that doesn’t stress us out and wake us. Methodical.

A busy road can mostly start to blend into white noise. Unless it’s absolute sociopaths honking in residential neighborhoods.

Suburbs though have leaf blowers that your asshole neighbor uses 2 hours before it’s legal to use it.

That noise is inconsistent, and it is the worst sound. Some people just suck though.
If you're limiting the size of the model to 110 million parameters (105MiB assuming int8) because that's what will fit onto your FPGA then of course it's going to be more energy efficient than a Broadwell era Xeon with a 24GB RTX 3090. It's like concluding that a rickshaw is more efficient than a train, something that will absolutely be true in a technical sense if you're only transporting a single passenger, but makes no sense if you're transporting hundreds if not thousands of passengers.

A more apt comparison would have been with a phone made in the past 5 years, even without an AI accelerator chip I'm sure you could manage 20-30+ t/s from a 110m model but this depends entirely on the memory bandwidth of the phone.
When searching for online pricing, seeing 'menu' prices gives one impression.

Hey, this burger is only $6?! Great value!

So... you end up going there based on some mental impression of getting a $6 burger for... $6.
On this note - and as a response to the point a commenter made that too much freedom in dialogue might actually be a bad thing - LLMs could then be used to expand on the initial dialogue in a way that feels more 'organic' every time you hear it, but is still close to the artists' vision.
More likely future versions of the Secure Enclave (since the SE already uses L4).
Debian Sid No-Feature KeePassXC Package
I think the others answered your question.

In addition, I suggest you to forget this "degree-5 polynomials" thing. They are not different from degree 2 polynomials in any meaningful way, if you talk about computing their roots or reason about their roots.
Ego. CEOs tend to be extroverted and love lording around physically at the office.

"Look at all these people I boss around! I have low self esteem and I really need this validation of my own personal self worth."

Some Elizabeth Homes energy right there.
The original idea is sound: "we are squeezing all tools into the iPad".

The problem is that you can't squeeze an object without resorting to animation. So instead they went for crushing, which carries destructive undertones. A lot of people have strong emotional attachments to objects like pianos and vinyl players; destroying them is a powerful trigger.

If this had been done with animation, with some djinn magically squeezing everything into an iPad, it would have been just fine.

This said, there is no such thing as bad publicity - here we are, talking about the umpteenth version of a product we would otherwise take for granted. The ad might have been distasteful but it did the job.
Hey folks! Just a small web app I put together that I figured I'd share. In case it goes down, here's the source[1] for those interested!

[1]: https://github.com/jtanza/post-pigeon
But even the newspaper itself was chock full of ads. Sometimes it was a full page ad. We seem to forget this in these discussions.

I have no issues with ad supported anything. I do have issues with the ad tech being used to have ads on a website. The actors running them have been shown to do very bad things at various levels from running malicious code, to running video underneath an image just to juice their numbers for charging their customers more. Because of their historical behavior, I will do everything in my powers to block them.

Create an ad system that is not evil, and I'll allow ads. Until then...
I mean that's true, but at the risk of stating the obvious, people should not be mistaken to think that this represents the "information content" of the brain (except perhaps in a very narrow and technical sense).

If you did such 3D scans at similar resolution of all the hardware comprising the internet, for example, it would be vastly bigger than a human brain. It might even be bigger than all the human brains combined, although I'm not sure. It's not very clear whether such comparisons really mean anything (other than "wow that research team really pulled off something impressive" or "wow there are a lot of very small things in a given volume of matter"). A similar volume of toenails would contain a similar amount of 3D scan data.
The net price is still the same. You could make the reverse argument just as easy that if people are better informed they will spend more!
Right, but that means it's not a decent starting measure.

To me, "decent starting measure if there is no appetite for something more in-depth" sounds like "just drop it in, it's enough to get started, we'll figure out the rest later", but that could be temporarily harmful.

Exercising judgment is the opposite of that, no? Then you're going into depth.
Have we forgotten the cautionary tale of Steve Ballmer's Windows Phone boondoggle already? Ballmer wanted to use the same codebase for desktops, laptops, phones and tablets.

It goes back further than that too. Microsoft bought the Sidekick and squandered their lead by bringing it onto the Microsoft platform.

I'm reminded of this quote: "A Foolish Consistency is the Hobgoblin of Little Minds."

Laptops and tablets are different devices. We should stop trying to merge them. Every time we do, we end up with something that is a worse version of both things. Tablets need a battery. If the display is detachable, then that creates a weight problem for the laptop. The tablet keyboard is worse than any laptop keyboard.

I said over a decade ago I thought Apple was smart to just have a tablet OS as well as OSX. Don't spend 3 years trying to merge those things. It's a waste of time and gains you nothing. Even the tablet and phone OSs are somewhat distinct (but a lot less so than with OSX).

I always thought Eric Schmidt (at the time) did the right thing with ChromeOS and Android too. There were always questions from people seeking faux "consistency" like "why have 2 OSs? Shouldn't we merge them?" Again, phones and laptops are different things. Let each OS evolve and see if one emerges as a "winner". Otherwise, leave them alone.
You can get lots of games to work through Apple's Game Porting Kit. My favorite way to do that is with Whisky: https://getwhisky.app
If it is not a black swan event it should had been considered in the budget.
I've seen this at hotels and such, but never in my life have I been presented with a mandatory fee at a restaurant. I get the tax and I tip and that's it.

Is this a California thing in recent years? Is it just that I don't eat at the right kind of restaurants? Where and when did this start happening?
There are some situations where the business owners are correct, especially if their competitors are permitted to tack on extra fees at checkout. Sometimes it is necessary to establish a global rule to prevent prisoner's-dilemma defections.
Fuji Heavy Industries would like a word about pianos, guitars, trumpets, and, if we're honest with ourselves, everything else on that press.

Though the tone of the ad was still... Orwellian: imagine a hydraulic press, stamping on human creativity, forever.
And different cities. https://www.cdtfa.ca.gov/taxes-and-fees/rates.aspx
Even running your own local resolver, if you generate enough traffic they'll still block you. I think their definition of open relay is based on traffic volume.

(which is their right, of course - just a warning that might help someone not find this out at 4am like I did)
The only "good side" of having price sticker without tax is that taxes can change as they wish and it cannot be used as an excuse to change the price anyway.
It's not that common but sometimes governments do apply VAT changes and usually sellers uses it to push prices up more, because people are already expecting it. Or if the VAT goes down, they don't reduce the final price that much.

But overall, as an European, I prefer how we do it.
I know it's silly to say "Steve Jobs would never...", but Steve did earnestly love music, it was a huge part of his personality. I absolutely think he would have found this ad distasteful.
Most of the classic cars destroyed in movies are replicas built specifically for the occasion.
I'm curious about where one draws the line.

A "tip" has gone from some extra cash for an unexpectedly great job, to essentially expected.
Why is science slowing down?
Does this mean you self-host your MX, but use a different host for relaying your email to the outside?
Make me want to replay Heroes of Might and Magic
Those who build weapons to kill children, then, are productivity heroes.
The interview mentions the word "protocol" 26 times, but sadly no detail on what a successful social media protocol might look like, or how it could get adopted given where we are today.

What I believe we've witnessed, with the recent launch of many Twitter clones and subsequent lack of sustained traction, is that large social networks are _really hard_ to replicate, and therefore extremely valuable. So you're not going to see any of today's social media companies opening up their networks through open protocols. If anything, the opposite continues to happen, as networks shut down APIs (except for ads) and disable third party clients.

To me, the only solution is (sadly) a government mandate, and one that restores citizens' ownership of their social media profiles and networks through a requirement to publish open APIs for the data. Unfortunately, this seems very unlikely to ever happen. Technology companies today are so rich and powerful, they have lobbying teams which will ensure such regulation never passes (at least in the US, where it could have some impact).
We've started using this. It's fantastic! Great work. Thank you :)
I have read and heard really good reviews about ThinkPad and what its your experience with regards to battery life of your T14? how many hours you will say can be working on it without charge it?
That one I'd be more sympathetic to. The fraction of GDP that America's health care sector rakes off is far out of line with other first-world economies. (And, by most metrics, their health systems deliver same-or-better results.) In effect: Any company which wants to employ actual Americans (one who'll have to get heath coverage) is forced to send huge-and-growing protection payments to America's health care system mafia.
Because the restaurants will raise the fees that are baked in the prices.
Right, so the queen lays the eggs, and there her care stops. Is she the mother since she made the eggs, or would the drones that care for them be the mothers?
Or, businesses could do like they do in Europe: set the same price after taxes in every state.
I'm in the opposite camp, I want EU to adopt US system, and list fees and taxes separately :) Better yet, I want to have a system, when your gross salary is paid to your bank account, and then you have to wire the money to a tax office by yourself. All that to raise awareness how much money actually goes to a business, and how much is stolen by the government.
Also fraud.
Please tell me more about your desire to “civilize” people through conformity to your chosen social norms
> Which itself is not know to be bugfree.

Not totally correct, from:

https://sel4.systems/Info/FAQ/proof.html

The binary code of the ARM and RISCV64 versions of the seL4 microkernel correctly implement the behaviour described in its abstract specification and nothing more. Furthermore, the specification and the seL4 binary satisfy the classic security properties called *integrity* and *confidentiality*.
[...]
Previously, in 2009, we had only proved functional correctness between the C code of the kernel and its specification. Now we have additionally shown binary correctness, that is, the compiler and linker need not be trusted, and we have shown that the specification indeed implies strong security properties as intended.

So the specification has indeed been proven to be free of certain security bugs.
> I know it's more complicated than this

it really really really isn't
The latter can be avoided with “shopt -s failglob”.
Companies are legally required to break out VAT taxes on a bill because it’s a value added tax so it matters if something is an end product like a car or something request to make that end product.

Basically if you buy a PC and the VAT on that sale was 200$ then the company selling you the item might send in 50$ and receipts for 150$ in VAT on items they used to manufacture that PC. Without that exception there’s a huge incentive to vertically integrate manufacturing which would have negative economic consequences.
Why are they opposing the law then? Seems like it would solve the prisoner's dilemma issue.
>Many business owners — and restaurant owners in particular — have been dreading the change, which is poised to ban separate surcharges that restaurateurs have increasingly relied on to pay higher wages to staff, and to absorb discrete costs such as San Francisco's mandatory health care payments for workers.

How can a meal in a restaurant near the University of Basel in Basel, Switzerland cost roughly the same as one in San Francisco when Basel's cost of living makes San Francisco look like an economically depressed suburb of Detroit?
M series have always been extremely competitive on single-core, but not really "the champ". Now this one is beating the Core i9-14900KS in a device with only modest copper heatsinking (with a heatsink likely less than 3mm thick)! That merits the article title.
Businesses hate capitalism. They don't want to compete on pricing and quality.
Really horrible UX.

You send a mail to an address - and then need to click "View Results". This sends you to "https://dkimvalidator.com/results" with a message of "I haven't received an email recently to....".

They do catch Ctrl-F5 keypress for reload. But if you just go to the URL bar and press enter you are returned to the front page with a new ID. You can paste the old address and then get the results but not a nice experience.

So. Nice domain name and points for effort. But a far cry away from
https://www.learndmarc.com/ and the old dog https://www.mail-tester.com/ which both are really great. Less battery included but MxToolbox Supertool is still preferable to this (https://mxtoolbox.com/SuperTool.aspx).

Even shivdeepaks weekend project (https://dmarcverified.com) is more straight-forward and to the point.

So not to be a party pooper but as this was not a "Show HN" this is not really worth your time.
Additional government regulations will always require additional resources by a business to be compliant. By over regulating, the government is killing small businesses. The only organizations that can afford the resources to manage government bureaucracy are large companies. So I wouldn't be so quick to dismiss that Uber drivers statement.
Not only that, no tipping. Wages are negotiated between employees and employers, customers have no obligations in it.
Yaan LeCun @ Meta has been similarly skeptical that performance of LLMs and generative AI systems can dramatically improve without a change in approach.
Which is why it should be mandatory to show at least three numbers on price labels: product or service price, tax (optionally split by taxing authority), and final cost.

Fees are different from taxes in that they're not mandated and the customer has no direct way to affect them.
I'm quite worried as I'm on a transatlantic flight during this event, and there have been 6 solar eruptions with at least 4 CMEs (NOAA not up to date with the enlil spiral just yet). Here are a couple useful links I'm using to keep track of this event: NOAA Space Weather Prediction Center dashboards [1], FlightAware Flight Delays and Cancellations [2] and NOAA Global Positioning System Community Dashboard [3], Prof. Mathew Owens post [4]

[1] https://www.swpc.noaa.gov/communities/aviation-community-das...
[2] https://www.flightaware.com/live/cancelled/today
[3] https://www.swpc.noaa.gov/communities/global-positioning-sys...
[4] https://x.com/mathewjowens/status/1788655731471696372
the project seems active but last (github) release was 3 years ago?
Looking at the links, none of them suggest that surgeries are performed on children. Puberty blockers aren't surgery. Intersex children are surgically mutilated without their consent but adult trans people need an OK from two psychiatrists. If I had had puberty blockers (reversible) as a child, I wouldn't have had to go through something painful. I was only able to start hormones at the age of 23 when all the changes had already happened. Hormones aren't able to reverse everything. Then people complain that we don't look good enough when we were never given the chance (unless you're rich enough to be able to afford surgeries, which I'm not).
I can just visualize the post iPad high school jazz band -- twenty kids sitting in chairs with their tablets, rhythmically tapping virtual buttons on their touchscreen. One stands for her solo, tapping her screen at a different cadence. Oh, she's playing trumpet? I thought she was a saxophonist!

What artistry! What musicianship! Thank God for Apple and the new iPad!
I’m not sure If you are really convinced that’s true or it’s supposed to be understood as an exaggeration.

It is subjective, and I’ll grant it’s not the most intuitive thing to look at, but I don’t agree it’s worse than assembly. Besides the readability of the specification is not some priori limitation.

Sel4 spec example

definition

set_endpoint :: "endpoint ⇒ data ⇒ state ⇒ state

where

set_endpoint ep data s ≡ s

(ep := (IdleEP, data))
It depends on how much code runs on it. After a certain scale you want better tolerance for failures by isolating those failures. Team structure can also play a role.
I believe that refreshed MacBooks are not expected at WWDC and there may be quite a wait as we are mid-cycle.
> Steam's existence and destruction of the second-hard market for games, with little downside

Why do you think it's trivial? I'm asking sincerely here.
ChatGPT trains robot dog to walk on Swiss ball
The Possibilities of AI [Entire Talk] – Sam Altman (OpenAI) [video]
I literally gave an example and was downvoted lol
Every year, I come back to "On The Shortness of Life" by Seneca to ground myself to the fact that life keeps on happening and I have to remind myself that life is long enough if I think about it...
I chose the analogy to try to reach people who don't find absolutely revolting the sight of musical instruments or photo lenses being destroyed.

I have spent most of my childhood dreaming that someday, maybe, I would own a prime photo lens and a trumpet.

To see a big company make a mockery of those artefacts of human creativity almost makes me cry (it actually hurts a little).
My experience with MathOverflow was funny, the first time I posted a question it was almost immediatly downvoted and criticized by the moderators. Later the same day, I was surprised when my question was answered by Terence Tao, then the moderators quickly changed their opinion and people started to upvote the question.
It is because sales tax is highly irregular, highly local, and changes often without any coordination across the multiple entities that can impose sales taxes. Manufacturers control published pricing for their products in advertising, physically on the container, etc. They are not subject to these local retail taxes, which can change the price >10% between locales.

This discrepancy is intrinsic to the fact that manufacturers set and advertise prices and then local governments effectively modify those prices unilaterally. At some point the customer will have to contend with the reality that the price at the manufacturer and the price at checkout don't match and control of that is spread across many organizations.
> ... say the changes will bring higher prices and sticker shock, which could then raise a psychological hurdle in customers' dining habits.

This person is essentially admitting that people may not eat out if they knew they are being overcharged.

If a business relies on false advertising, maybe it shouldn't exist.
The snails produced red, purple, and a unique red/purple. It’s more likely they had the deep reddish purple.[1]

[1]https://en.m.wikipedia.org/wiki/Tyrian_purple
I don't know how iOS works but if it was an app would other browsers be able to use Safari's rendering engine? There is also the lower functionality JS engine that Apple forces those browsers to use (if I'm not mistaken.)
Can you use https://jam.dev/ to file the bug report?

Joking aside, this looks really cool!
It's about Apple not reading the room. The creative community see that AI vendors assume that they have the right to ingest IP without compensation, train their models on it, resell derivative works based on it, and there is nothing that can be done about it. Then Apple releases this stupid ad suggesting that all tools of the creative profession will be destroyed after they get packaged into a tablet that can do nothing by itself unless it is loaded with samples and algorithms based on the creative works of others. In short, artists are being told that while AI is stealing value from them and their creations, Apple will steal their tools and creations and put them behind the iPad paywall. It's one more middle finger to the creatives from the company that used to say "Think Different". Stupid and unnecessary.
Exactly as difficult as applying the taxes after sale...