skysight-inc/HackerNews huggingface dataset:
Author here, Cone is a pretty fascinating language.

It builds a borrow checker on top of any user-specified allocator, whether that be single ownership, reference counting, arenas, garbage collection, or any other user-specified strategy. A user can even code their own.

It's a very promising approach, because it preserves the borrow checker's strengths while addressing its the borrow checker's development velocity downsides. GC and RC often make a program's overall architecture looser and more flexible, but by offering borrow checking for everything else, it allows a program to much more cut down on its memory safety overhead.

What Cone does differently than other languages is that it decouples the allocation strategy from the type of data you're working with. This makes it much easier to change your code to use different memory safety styles. In a way, it's like Rust but allows for more flexibility on memory management.

It's still in progress, but I encourage anyone interested in languages and memory safety to take a look: https://cone.jondgoodwin.com/
That said, popular websites on/for Tor are free of JavaScript and they have implemented everything (such as captchas, or the "JavaScript is enabled" warning, and so forth) using pure HTML and CSS. They do use OpenResty[1], too, which is NGINX + Lua. Good stuff.

[1] https://openresty.org/, https://github.com/openresty/lua-nginx-module
Nest smart thermostat co-founder is back with a new home device focused on food
If I remember right the first MacBook Pro with a touch bar wasn't announced at an event either, which you'd think they'd want to demo in person.
Ask HN: How would you market this?
Hey folks,

This post is a bit of a last resort since we've been running out of ideas to market our startup.

We're building a service that scrapes the internet for data on how others have built successful businesses and uses AI to filter through the information and find the most practical insights.

Then the insights are made available to our members in an easy-to-digest format.

We've tried a couple of strategies so far (Joining communities, getting on 1-on-1 calls, going to events, etc).

If you had to market and get sales for this service, what would you do?

(This is the website btw: ostradis.com)
Not all RAM is dirt cheap. RAM in DDR4 sockets is dirt cheap.
There's no such thing as "the Linux package manager". If you want something traditional, dnf runs circles around anything available on macOS, and nixpkg is from another universe altogether.
I wouldn't mind if you write some more about the book.
Discussed here: https://news.ycombinator.com/item?id=34391043

Also submitted here: https://news.ycombinator.com/item?id=34409204

and here: https://news.ycombinator.com/item?id=34409860
I work in PHP each day. I prefer the Yii2 framework and sometimes use Symfony. For some reason I just can't get into Laravel. I tried but the rapid development speed of Yii2 really is the best for my workflow.
ChatGPT Still Has a Long Way to Go
> Can you give me a few real life examples where you got bit by the "magic" conventions or ran into any serious issue from not explicitly setting properties on your models?

I shouldn't need "real life examples" to explain why using objects with magic dynamic properties instead of declaring the properties on the class is stupid. If I can't look at a model class and know what properties and methods it has, why is it even a class? With all the improvements made to PHP in the past decade, it feels like going back to the days when I was just using associative arrays to represent database objects.

> Have you worked with Laravel in practice?

Yes, I tried using it, was immediately put off by the issues I've described, then tried Symfony and never looked back. For every piece of dumb nonsensical magic Laravel does, you can look at Symfony to see how it should be done properly.
Jerry Pournelle's column was very entertaining and well written, but it taught me an important lesson. I knew something about the computers of the day (perhaps more than Pournelle), and I often found him giving bizarre, if not incorrect, advice (and sometimes, when he had a problem, he would just call his bud Bill Gates). Reading the column, it was clear he was the expert, even when he was not. So I learned that it is important to distinguish between good writing as entertainment, and good writing as expertise.
Apple quotes that the HDMI port in these can do 4k 240hz
I mean, duh? Why would anyone with half a brain sue Midjourney, when it's unknown what it's trained on, let alone OpenAI, who are additionally backed by Microsoft? It's pretty clear what case has the best chance.
That is generally how chips go year-over-year. The Intel MacBook Pros were never that dramatic a leap either.
max-width gets set to vh, not vw. I do dislike this solution because the ratio is encoded twice.

I’m sure there are other ways to achieve the same, some are perhaps more elegant?
Ok lol 15th century it is...

What was the typical job?
What was life expectancy?
How warm was a typical home in the winter?
How many books did an average person see (much less, read) in the lives?
What was travel like?

Also wealth disparity is a stupid metric. If you and I are homeless under the bridge, it does me no good that we are equal. If I have a house and you have an even nicer house, I am fine. (though I'd rather have the nicer house)
>Do you know anyone who has actually done this?

I have.

>your suggestion sinks time into creating a mini-bureaucracy to ensure quality decision making

My main suggestion is to hire an engineer/architect, they will manage all of this crap. They will work FOR you and not for the contractor and money doesn't come out of their pocket when they reject something.

>For example I imagine it would be quite hard to source a small dental clinic builder who does high quality work

It's not, they don't need to know how to design it, they just need to have done commercial work before and be used to work on a project that has architects/engineers watching them. Dental clinic was just a random example. Government buildings might have been a better one.

>and is also willing to sign a 200-page city level government procurement contracts without significant negotiation or persuasion.

In every region, there should be one contract that everyone is used to work with and that is fairly balanced. You should not write a new one or try to negotiate clauses. They are long because they have a clause for almost every possible type of conflict that could happen. No one actually reads them cover-to-cover because it's mostly just common sense or things that don't apply but someone has to put it in writing to make it official. If the project goes well, you will never open it.

It provides instructions on things like how to approve an extra and payment schedules, how to fire them, how to reject work, how to contest a decisions from the expert, maximum delays for important things, etc. If you want a hands-off approach, it will protect you. The more involved you want to be, the less you need it.
In case PWM is an issue for you, the new Macbook Air M2 might be worth trying since it finally ditches PWM.
and that's why you have a chart of every place you fly to, from, or through, sitting on your knee or not very far from it.
If energy was predictably more expensive, that would be one way to sort it out. You wouldn't buy a house or an apartment without analyzing living costs. Contractors would suddenly get very interested in building more energy efficient housing.
I've also heard that in Russia, pensioners get a free amount of energy per month. That leads to a lot of wastage. For example if the pensions could be in cash, then the person would be motivated to save energy.

You do need cultural change too though. One way is to just demand visibility, not make any demands on actions. We have a published "energy class" for apartments and houses here. Our current apartment is class F or so - so we know our living cost is more sensitive to district heat prices than a class B apartment would be (those are newer and have in general higher purchase price).
Some thoughts on the ETH's Threema analysis
I would say no earlier than October 1977:

https://flightaware.com/resources/registration/N47943
Using Mapbox to plan a city: a use case
The M1 and M1 Pro chips are absolutely insane. Been using them ever since day 1 and for me there is no way to go back to using Arch Linux natively unless Qualcomm or someone else starts making some good ARM chips.
As far as I can see the laptops in TFA are 14 and 16”.

The 13” remains a heavier Air, with two ports on the same side and no magsafe: https://www.apple.com/macbook-pro-13/specs/
I keep hearing this but I never had a bs job, don't know anyone who's hired for one (also it doesn't make sense.)

What is your job that you do?
There's a $700 price difference but I'd say it's definitely worth it if you can swing it.
Really don't understand why Apple still selling 13" MBP, as MBP 14 is much better, and you can get it with up to 96GB of memory now. I would assume they keep 13" just for people who still likes TouchBar.
People go through your entire post history and criticize you for breaking the rules by posting your homophobic transphobic bullshit here, and you should expect it. Hacker News is not the place to spread your insults and hate speech, like Truth Social. Freedom of speech doesn't mean freedom of consequences, and when you post that kind of bullshit, one of the consequences is that people know you're an asshole. If you're embarrassed about people reading what you wrote, realizing what kind of a person you really are, and telling you what they think about it, then don't ask for it by trolling like Fred Flintstone and Archie Bunker. Grow up, and take responsibility for your own actions.
Tor was developed by the US Navy. The military understands how crucial encrypted messaging is, and doesn't particularly care whether or not it's a dagger through the heart of other TLAs. In a bureaucratic battle between the military and domestic intelligence agencies, the military wins.
Others have filled in some of the productivity benefits, but it also avoids a thousand little papercuts. It doesn't have uninstallable crapware like Apple News.
iOS supports both fingerprinting AND inputting of a PIN ... in iOS?

Did not know that. Then again, not sure how we can do that ... in iOS.

https://discussions.apple.com/thread/7647773
Those tools will last forever so that money makes sense. Apples engages in planned obsolescence so the cost isnt the same. https://en.m.wikipedia.org/wiki/Planned_obsolescence
https://en.m.wikipedia.org/wiki/Batterygate
If you’re talking about FTX, their version of altruism was donating vast sums to political parties. I would call that more power-seeking than altruism, whatever the media calls it.
IIRC, Apple offered (offers? I haven’t checked) the 13” M1 which was based on the previous chassis, then launched the 14/16” on the new one.
Perhaps, but it's charging at the same rate regardless.
With a desktop device, the classic filesystem packrat might be best off just buying an external HDD with double-digit TB worth of storage and leaving it plugged in all the time.
First Mac to support 8K explicitly (in M2 Pro config)
Umm. I wonder whether there was an element of filial piety in the beating she gave Masson--her father was a psychoanalyst.
I feel like this is the only legal defense required: https://xkcd.com/659/

TL;DC once you take apart the thing and put the lego pieces back in the box, there's no more thing, only pieces
> I used to praise macOS for its stability. It's still on average very stable, but in the last ~5 years the upgrade experience has not been rock solid anymore. I must have used at least a dozen Macbook Pro/Air and Mac Pro in that time, so I know it's not just 1 buggy laptop.

If you think that is bad... don't get me started on Screen Time in macOS. It is 100% broken, in every way, for kids and adults, in the most inexplicable ways possible. [Example: The "internet filter" fails open after a few hours. You thought your 8-year-old was only on approved sites? MacOS says yes, but actually no.]
Ask HN: Is there a way to search by Newest on Twitter anymore?
I used to use the search by Newest option to find others tweeting about outages, now that option is gone and these types of searches are useless as they return results from years ago. Is there any hidden option to restore this functionality?
I’m surprised there are still people out there using their Mac to manage their iPhone.
A regular worker hasn't seen a car in 1900 and lived in a tenament with 4 generations crammed into a room. You can afford that on 50 a day if you wanted to live that way. That's my point, we don't want to live that way so we work more.
My own experience is different. \Years ago I would wait at least 6 months or more before doing a mac upgrade because of the inevitable problems. With Ventura I didn't even wait for the first point release, and had no problems whatsoever. (I did have two complete backups handy just in case.)

I'm not invaliding your experience, just mentioning that others have different experiences.
Yikes. I thought the point of Tor was uncompromising security? This is going to bite some less-experienced people in the ass.
The thing about power-user software is that you can customize and package it to the point where it's indistinguishable from any other software, a polished end-user experience -- the user accepts the workflow of the given configuration and rolls with it, without ever touching the config. That's how some people use Emacs -- they just learn the bindings of the default distribution. But, for Emacs, there are also some distributions like Doom Emacs and such. They are just different user-friendly distros.

What's more, if you have good GUI capabilities (which Mage will have), you could build visual user interfaces for configuration (I don't plan to make such UIs btw, but someone with a good-enough UI sense and interest in this stuff could attempt it at some point, I guess).

If all you do is stick to some distro with some visual config tool, then you won't even have to know it's common lisp (unless some error is signalled and the interactive debugger pops up).
Could be. If they sold the email addresses, that is one reason they would not "disclose" it, it was just routine business (and not business they are eager to disclose, although I suppose it's mentioned in some fine print in their privacy statement somewhere, hypothetically, maybe).
> That's specified right in the article title.

My point was that a lot of the grammar seems exactly the same as Forth's, and different to, say, Postscript's.
Someone has to do this work, and I this is a good example of a company giving back to what was originally a non-industry project (Ruby).
Show HN: Deployment Tracking for Kubernetes
Putting all the fear mongering away - this is pretty cool. Just finished The Peripheral and it's in the same ball-park with self copies too.
Yes, the year over year improvements were 90% just the tsmc node changes. But the ridiculous (and IMO amazing) performance per watt is a mix of iOS/macOS and their chip design. Those efficiency cores are unmatched, paired with the right scheduling from the OS.

The M2 is underwhelming as its the same 5nm as the M1 was.

But rumors say the M2 pro and max are on the 3nm node. And it took so long for the release, as 3nm was delayed.

Apple has a monopoly right now on 3nm, which is a shame. But if we only got tsmc to fire on all cylinders because apple stuffed them with money, then so be it.
Chances are Docker would be a dog on that 2011 too, if you were on MacOS. I honestly don't know how Docker got so popular when it sucks so much on anything that is not Linux.
Is there an example of this service somewhere?

I would think you'd need to identify your target customer. Build a profile of them. What do they like to read? How do they find new products? Is there a magazine (old skool) or trade show or are they government customers or universities. Then copy how others are marketing to them.
This is the real problem. M2 is just using LPDDR5. The memory modules themselves don't appear to be anything special; it's just the memory interface bus that is different. Apple is charging multiple times the actual cost per GB, and they do the same thing for SSDs. The entry-level product is a decent value, but the upgrades are ridiculous.
I didn't buy an M1 because I didn't want the "first" Apple processor. Maybe it's just my bias from seeing lots of Intel competitors come-and-go? I don't really care about specific improvements, I just want all the minor things that the engineers didn't get to finish the first time around.

In my case, living in the US, we all do our taxes in the first three-ish months of the year. Last year Turbo Tax told me they wouldn't support my 2013 MBP this tax season, so I decided to wait until fall 2022 and get whatever Apple released. Fall 2022 came without a release, so I've been biting my nails: Turbo Tax won't run on my MBP, and I don't want to upgrade to an "outdated" M1.

(As you can infer, I'm planning on using my next MBP for ~10 years.)
The Mini-LED screen is not great though. Sometimes I actually miss LCD. The brightness isn't uniform (it vignettes towards the edge), and you get lighting artefacts when quickly switching from a black screen (eg switching tabs).
You are right. Also corporations don't care about "fairness" or people.
My megacorp sees our AI has an upcoming "secret sauce"/"edge" for our platform.
They have sued companies in the past just to stall them, while we work on competing features and I expect them to do the same again.

AI is going to be a major competitive edge for corporations, and lawfare between Winners and Losers will be intense. I say corporations because I don't think normal people will have the capital to train AI's or even run them.

The difference between midjourney and stable diffusion is great example to look at these days. Midjourney is making waves things like 80's movie shrek and skyrim.
We're getting there:

>Could a Computer Take Over?

>Ed Rush, 1977

"Just how ridiculous IS the idea of a computer deciding to take over the world and be
its dictator?
Upon hearing this question, most people
who are not computer oriented will laugh
and say "That's only in science fiction
stories." They will be much more likely to
complain about "becoming a number," with
everyone from the grocery store to the government wanting their number instead of
their name.

Those who are more familiar with computers will laugh off the concept and charge it
to paranoia due to ignorance. "A computer
is little more than a lot of wires conducting
currents here and there," they will say. "Besides, if it-gets uppity you can always pull
the plug."

However, that group of people who are
both computer knowledgeable and fans of
the art form known as science fiction, but
more properly called speculative fiction,
might ask "Can you always pull the plug?
Could a computer really seize the reins of
government? And if so, how ?"
In trying to answer these last questions,
let us first speculate on the capabilities the
computer itself would have to have. "
I know this isn't an Asahi Linux thread, but I cannot help to ask about it. Plus I am big fan of Alyssa Rosenzweig's work (and Justine Tunney), so I pay close attention to Asahi Linux (and LibCosmo/politan) progress.

First, it's great to hear from Real World people like you about their Asahi Linux experience. It sounds like the baseline is done and now they will pick away at the remaining pieces.

Real question: What is the driver for Asahi Linux to exist at all? Please don't think I am trolling when I ask this question. At 10,000ft, any sane person would say: "Why? It's Apple. Let them do them: Mac OS X." I expect Asahi Linux folks to reply: "Well, duh: Because."

Is it unlocking the insane performance per watt of Apple Mx chips for Linux?

Is it enabling the world's greatest laptops for Linux?

Is it the pure technical challenge of reverse engineering a closed hardware system?

Is it everything?

I am really curious to hear what people think.
That doesn't work on MSVC, and ignores multiple other issues with the 3 lines of code I shared (and as you correctly identified doesn't work with runtime format strings.

It also doesn't work if your code isn't a textbook example of being wrong. [0] is _slightly_ more contrived but still suffers all of the exact same problems, despite all of the information being available at compile time.

[0] https://gcc.godbolt.org/z/9vK3W4bYh
The good news is that generation uses obsolete cellular modems that thanks to the 3G sunset can no longer connect to current networks.
With R&M, I always thought of "Intergalactic Cable" as one of those 4th wall episodes, the writers knew they had nothing and that was part of the joke.
I keep hearing about black rock but that's not who's moving into unneighborhood.
I don't think other real-world examples are going to tell you if this is actually a good idea for your business or not.

Understanding your business & workload in more detail would be critical in developing even the remotest amount of realistic advice on this matter.

> Managing complexity

Event streaming is almost always going to be more complicated than boring old SQL database access. This is what would probably kill the project more than any specific performance consideration.
It has.

The NoScript approach is dumb because it easily supports temporary and permanent white-listing of sites, which is agreeable to many (but still problematic depending on what your risk profile).

With NoScript’s current approach, you get ruined when your JavaScript-free-optimized starts sending you nasty JavaScript.
That's absurd, a substantial majority of the complaints about low-cost housing come from living people.
You're better off buying an older Intel-based Mac Mini, then. Asahi Linux (Linux for ARM Macs) only supports OpenGL 2 atm. They'll definitely get Vulkan and later GL versions eventually but it will be awhile.
Hmmm almost like whoever has a head start and unlimited finances and resources due to being the reserve currency could have done exactly that.