skysight-inc/HackerNews huggingface dataset:
I am pretty happy in Intel+Linux. My device basically lasts all day. It does get kind of hot if I'm running some crunchy numerical code, but that's usually pretty short (assuming the thing I'm running is a laptop appropriate toy problem).
If you can simulate you can check and throw out the garbage, or get more training data for the next iteration.
Off the top of my head:

Javascript: http://tau-prolog.org/

Java: https://apice.unibo.it/xwiki/bin/view/Tuprolog/ (also SWI, Ciao and Sicstus have Java bridges)

Go: https://github.com/ichiban/prolog

Common Lisp: https://www.cliki.net/Prolog

Racket: https://docs.racket-lang.org/racklog/

Guile: https://gitlab.com/gule-log/guile-log

Erlang: https://github.com/rvirding/erlog

Also SWI and Ciao have a pretty straight forward FFI for C.
Ah, I see your point.

Here's a January 6, 2009 snapshot from the Way Back Machine. This was before he publicly released the code. The entire project is MIT licensed and only contained one file: the whitepaper.
https://web.archive.org/web/20090106201347/http://sourceforg...

I should have linked to that.

> if you think this archive may be inauthentic

I don't think it's inauthentic. I'm saying Amazon could think it's inauthentic, and not tell me.
> From fab perspective, they used the same and it becomes CHEAPER not more expensive to make it.

They may have used the same five nanometer process, but that doesn't mean Apple's own costs went down. I don't know what their negotiations look like, but TSMC have stated that they'd be raising prices on already-established chip technology. In general, given supply issues for many of the components that go into making a laptop over the past few years, it would be a miracle for Apple's costs not to have risen.

Combine that with general increases in the price level, and 20% is probably not that far off.
We don't have to have "so few people on earth we are stuck". As the BBC article[1] says China could go from having 100 workers supporting 20 elderly people to 100 workers supporting 120 elderly people. So workers have to support 6x as many old people. It's this inversion that I think he's worried about, more than running out of people whole sale.

[1] - https://www.bbc.com/future/article/20220531-why-chinas-popul...
Let’s hope they fixed the 32MB TLB bottleneck
If home inspections on TikTok have shown me anything, it's to never do this. Too much potential reward (savings on the fixes, rights of refusal) for such a small outlay (a couple of hundred dollars).
Microsoft has ported Windows and Office to ARM for a decade, and they have both x86-to-arm (Windows 10) and x64-to-arm (Windows 11) translation technologies. They also have ARM-based Surface devices in the Microsoft Store (looks like the Surface Pro X is the current model).

That said, the big business is still big business: Azure (Cloud), Office, and device management (MDM) / active directory are big focuses even in a heterogeneous computing environment that includes Chromebooks and Macs.
What gravitational fields? Thought gravity isn't a dorce nor a field.
I'm hoping they destroy eachother
> but did that blow up when string theory didn’t happen at the LHC?

String theory isn't really possible to rule out via any experiment I've ever seen. At best you can rule out some versions of it, but even that is hard AFAIK.
As someone grew up in similar environment, I don't miss this at all.

I would rather buy grocery once a week with a huge load put in the trunk and drive back home, instead of buy a little bit every next day and walk home carrying the bags. I don't want to carry a gallon milk or a Watermolen, or push/drag a cart on the street.

I think people who envy this kind of environment just don't know how inconvenient it is for a working family with a few kids. But it is kind of OK if you live with grandpa / grandmom, who will do grocery almost everyday, or if you don't do grocery just eat in restaurants or buy food online.
I needed more RAM to run SQL in a VM that I didn't expect I would need.

If you can guarantee you won't need more, sure it's plenty viable. If you can't make that guarantee, you need to remember there is no upgrade path. You will be selling the machine and buying a new one.
> financed by Apple's money

> huge win for consumers

doubt
I think that was a reflection of the game developer’s political views and the gameplay they strove to author.
I tried to have fun with Twitter's Periscope a year ago, which has been out for a while. It's a group video chat app where anyone can pop in. In that way it's sort of like clubhouse, but with video. When I would get on, it was 80% people sitting around talking to their friends, often in thick accents about nothing of particular interest (e.g people I don't know, things the chat participants experienced together that I have insufficient context to understand). That's probably 95% of the internet voice and video chats and I'm just not aware of it because I'm not randomly dropping in on people's conversations like you're allowed to do on periscope. Anyway, it's not the most easily monetizable thing, I'd imagine.

On Telegram voice chat, there's always some jerk or lunatic who talks over everyone who the rest of the chat participants have to tell to shut up. I think this is just a telegram problem because clubhouse has better moderation features.

Anyway, if you have a group of people you know and want to talk why not use Zoom? It's a better experience in every way. What's the benefit of letting random people drop in? Maybe with very clever moderation features it could work, but as is it seems kind of pointless.
I'd still buy the 14" Pro for the more ports, slower chip for more $ or not.

And real function keys instead of a touchbar?

They seem to be making weirdly inconsistent choices in the product line.

I thought they were going to be getting rid of the touchbar (and maybe adding more ports?) and they were only still in the legacy 13" because it was legacy. But apparently they mean to indefinitely have a 13" Pro with a touchbar and a 14" Pro (actually the same size device, just less bezel, I think?) with function keys?

And the new M2 Air has a magsafe power connector (like the M1 14" and 16" Pro)... but the new M2 13" Pro does not? Why?
Running Intel Binaries in Linux VMs with Rosetta
Your analogy is broken in many different ways:

- Trees produce O2 as a byproduct of the work they need to live, whether it is available for you or not is irrelevant to them. People working in Free Software are doing with the primary purpose of getting it available to people, and a secondary purpose of getting more people involved, collaborating, improving it, etc.

- Much like we need to keep the environment healthy and not just take the O2 produced by trees for granted, we need to foment an economy where developers can choose to develop Free Software without sacrificing themselves.

People working in F/OSS need to to have their livelihood secured somehow. This does not mean that all F/OSS developers need to turn it into a profession, but it does mean that we as consumers should understand that if we want to see an increased global output of FOSS, we need to contribute and support its economy.

- Software is never finished. I've been using Emacs for almost 25 years of my life, but do you think I'd still be using it if it got stuck on version 17?

The worst part though is this:

> The producers presumably got their money’s worth already

That is a terribly wrong assumption. Just like startups can go for a long time without being profitable, a lot of people working on F/OSS projects might be doing for the future expectation of turning it into a profitable venture. Personally speaking, if I were to bill for all the time that I've put into my own open source project [0] I'd would have stopped about two years ago, and if I stopped then it would never reach the stage that is reaching now where I can actually try to market it properly.

Mind you, this does not mean that people should be forced to pay, but it means that it would help a lot if more people started to realize that it could be economically interesting for them to pay for some F/OSS projects.

[0]: https://hub20.io
Dams often aren't built for power generation, but to better control the river. Energy generation is only a side benefit. Also: A burst dam has predictable and limited consequences. There's still no final assessment for the cost of the Fukushima cleanup or when it will be finished or what they are even gonna do with all the radioactive earth and such.

No, apparently not all reactors are built that sturdily. Certainly the proposed SMRs and micro reactors have no such ambitions. Fukushima was built to withstand Tsunamis and earth quakes. The topic of "impossible accidents" actually happening makes the public a little uneasy about predictions by pro-nuclear salespeople.

The whole argument about dams vs nuclear plants is pointless.
Agreed. Just wanted to point out that it is possible if you have a flexible definition of "coding on an iPad".
I hoped the notch would be just an experiment and Apple would get rid of it the next iteration. It seems I was wrong. It looks so weird to have your top menu bar split in two, I really don’t get why it is necessary.
That's polynomial scaling, not exponential.
Same desire: big and light for nomadic working. Laptops in this price range are all powerful enough these days.
That seems like an enormous pain if you have dozens or hundreds of services. It could take hours to do this one at a time. (I'm assuming one minute per service, though that depends on how hard it is to find the "add another authenticator" page for each service.)

It's possible I'm unaware that there is a simple protocol for this. Am I incorrect here?
This is interesting because I have direct experience with this on real hardware recently. I have a GeForce 4 MX440 graphics card connected via DVI to a native 1920x1200 display. Windows 98 will let me set the native resolution, but if I move the mouse outside the bounds (maybe 1152x864?) the whole screen will "pan" with the cursor and wrap to the other side of the screen. It's almost like 98 can display 1920x1200 but can only interact with a subset of it. I thought it was just some strange driver limit or an issue with my hardware, but maybe it's a limit in the core of the OS.
Create macOS or Linux virtual machines
Apple Wallet – Order Tracking API
Maybe 3-5 years until iOS/iPadOS and MacOS are essentially the same. It doesn’t make sense to keep them separate code based when iOS is developing into a hybrid form factor OS, with mouse, multitasking, windows, file system, external monitor, usb accessories, keyboard, etc.

My guess is non-pro laptops will basically be iOS, and then there will be a MacOS Pro, which unlocks some capabilities for developers, but all in a unified code base.

First step was to share processor architecture and work in the ability for iOS apps to run in MacOS. But iOS is very much converging into a replacement for MacOS. And just like iPhone iOS strips out features you unlock with iPadOS, same for the iOS-ification of MacOS.
For a backend focused dev today what would you suggest to do to be future proof as they say?
I coded on my iPad for a few months (jailbroken with X11) and loved it. I’ve accepted I’ll need to run Linux on an old one if I ever want to use one as a proper workstation. I can’t foresee Apple ever relaxing the security enough to allow a proper development environment.
Close enough. I love sleek, dark, brushed-metal computers. Looks very cool.
I wrote a generic VESA framebuffer driver for Win9x a while back; it was surprisingly easy to get something working, as all it had to do was switch modes and then give the DIBENG the framebuffer to draw on. A few hundred lines of Asm were sufficient, most of it being the mode switch and configuration logic.

What I didn't do was give it a VxD, so windowed DOS boxes didn't fully work --- the architecture of 9x is a hypervisor and what isn't trapped/virtualised goes directly to the HW, so the DOS boxes end up messing the state of each other and the "system VM" where the GUI runs. Unfortunately I don't know of a way to have a similarly generic virtualisation of the hardware.
From the presentation, taken from Anandtech's liveblog:

https://images.anandtech.com/doci/17429/34312453.jpg

Same power budget.
Not if it's built correctly. The problem is that would be weight-prohibitive (vs. putting a small nuclear thermoelectric generator into a very tough housing, which has been done for years).
> selling Windows laptops gets harder and harder the further Apple gets ahead

That's Apple's marketing but the 12th Gen P chips are perfectly capable of keeping up with Apple on the performance side and AMD's likely to be able to compete on the power consumption side as well. Yes, x86 is likely to never match ARM on battery life, but I believe they can be reasonably close for it not to be an issue.
That is fine if it is just a loss to you and your investors. Not to your customers.

It is like Elizabeth Holmes being told that her tests were faulty and she still does not fix them.
Perhaps the most significant problem of many that I have seen regarding my own participation in social media is that none of the large platforms seem to want me. In most cases, this is because I insist on posting links to articles on the Cheapskate's Guide.

you just answered your own problem.

Anyone can create their own social media site, but good luck creating the users, too.
> A quantum effect reveals that even if subatomic particles are not subject to gravitational forces, they can feel the effects of warping.

Eh? That warping is the gravitational force.
> implementation of FIDO2 that is NOT linked to any specific device and can be modified - along with direct access to the keys. Those are the users property and should not be held hostage by hostile designs. Users should have the right to move their keys, without justification, and use whatever manager they want

Is this not possible with current designs?
Reallocating the backing store for a vector is O(n), exactly like the cost of inserting in the middle, so it doesn't change anything much.
In the case of Canada, most timber lots are owned by the government (Crown land), and the right to harvest* it is awarded by auction (I think). Harvesters must also plant new trees. How is it profitable? There is a lot of land. You can drive for many hours down well-maintained logging roads through the BC interior and never see a building anywhere, or even come across any other cars.

* This is a point of contention for the US government because they feel that the Canadian lumber industry is government-subsidized and unfairly competes with US lumber producers. As a result, the US applies import taxes on Canadian lumber.
M1 Pro is either 6+2 or 8+2 depending on which model you select.
I actually don't think they've abandoned Kharkiv, and I don't think Kyiv ever really was an objective. Kharkiv makes sense for several reasons (sizable Russian population, proximity to border and located near vast amounts of natural resources) while Kyiv is nothing but problems with no return.

Ukraine being able to (at least temporarily) push the Russians from Kharkiv was huge for them, while the attack on Kyiv always seemed like just a list of targets that Russia just wanted to take out early on. Of course, I have no idea what is going on behind the scenes so who really knows.
Yah reddit does shadowban when they detect automated spammy activity. Such as creating a lot of accounts with the same IP. Shadowbans are different from bans done by admins.
> This means keys need to be transported between devices

Pure keys are on tokens that support Bluetooth/NFC/USB to talk to whatever devices you want. One can use a built in key on a device with a security enclave which means using one device to auth addition of another, but you might do that with alerts to authorize, etc.

Anyone who doesn't have a powned problem is using something like TOTP auth codes which has all of the downside of Fido and none of the convenience.
Rcarriga/neotest: A modern, powerful testing plugin for Neovim
> makes use of the larger screen of the iPad in every possible way

For example, the Xsnow accumulation on the top in-app widgets! I wonder - if you shake the iPad, will it clear away?
M1 Mac Mini does natively support up to two external monitors – one via the HDMI port and a second via USB-C.
How to Add In-App Messages to a Flutter App
too bad 2012 was a turmoiled period for microsoft, windows 8 for phone was a concrete seed for an unified development environment with an unified api.

a series of strategic and communication mistakes kinda wasted the shot, and when they finally fixed the desktop side of the experience was too little too late.
Given-when-then and arrange-act-assert are different variants on the same idea: tests shoukd show that a postcondition holds after an action occurs under certain preconditions.

It's the same thing as Hoare triples, really. It's sound computer science.
I think this specific change is making Python simpler. It was a weird exception that previously only a limited subset of all possible expressions could be used as a decorator. Now the rule is just "you can decorate a function or class with any expression".
No, that's not a refinement. What it means is that if the initial IR says "add x and y, and if it overflows return anything at all", then you can refine that to "add x and y, with wraparound at 2^64" because the latter has a subset of the behavior of the former.
In the course of my career I've learned a simple rule for processing programming wisdom. I don't follow any programming principle or practice unless:

- I have seen value from it firsthand, or

- I'm working alongside somebody who says they have seen value from it firsthand, or

- I've read something that has persuaded me of the likely benefit, and I'm curious to see if I can figure out how to realize it in a real project, as an experiment.

The obvious upside of this is that I don't get ripped off by useless bullshit. I can't tell you how much "best practices" programming "wisdom" I ignored that later disappeared without a trace, completely unmourned, like ashtrays on airplanes.

But it also saves you from doing good stuff wrong, or good stuff in the wrong context. A principle or practice may be amazingly effective, but if you don't understand it, you likely won't get much benefit from it. And very often if you don't understand something, it's because you've never seen a context in which it makes sense. If you try it out, you should try it as a conscious experiment, and drop it if you can't make it pay for itself. Don't keep doing it out of a sense of duty, or a feeling that "good programmers do this."

I'll never be entirely sure if something is 100% bullshit, or if I've never seen the right context for it, or if I'm just to stupid to understand it. I have finally, thanks to my first time working in an OO monolith in a dynamically typed language, for the first time after more than twenty years in the industry, understood what some of the old OO design ideas are about. It's a shame that my initial exposure to those ideas was through many years of watching people misapply them to create unnecessary mess in Java services.

Maybe I'm wrong about a lot of other things. Maybe someday I'll be working on a project and a light bulb will go off in my head: "Oh my God, so THIS is what dependency injection is good for!" I can't know if that will happen, but I do know that I won't spend the rest of my career setting up dependency injection on every single project I work on just because other people regard it as a prudent and mature thing to do.
My favorite part of the vibration theory... from the Wikipedia article:

> Carvone presented a perplexing situation to vibration theory. Carvone has two isomers, which have identical vibrations, yet one smells like mint and the other like caraway (for which the compound is named).

> An experiment by Turin filmed by the 1995 BBC Horizon documentary "A Code in the Nose" consisted of mixing the mint isomer with butanone, on the theory that the shape of the G-protein-coupled receptor prevented the carbonyl group in the mint isomer from being detected by the "biological spectroscope". The experiment succeeded with the trained perfumers used as subjects, who perceived that a mixture of 60% butanone and 40% mint carvone smelled like caraway.
Aside from the potential stability concerns already mentioned in sibling comments, the aluminum case is essential for dispersing heat, as the MacBook Air relies on passive cooling instead of using a fan.
That's still a polynomial, not an exponential
All else being equal, I'd trust the New Yorker's fact checking much more than the NY Post's.
Sure is! And he's pointing out that understanding what that _difference is_ is pretty important. "everything that COULD be radioactive or contaminated" is a worthless and meaningless phrase, and in fact represents a _worthless and meaningless idea_.

Describing what constitutes a meaningful and worrisome amount of radiation is fundamentally critical to the topic, and pretending there's some kind of 'just to be safe' level of assumption we can make is silly.
What exactly is your point? You can just add a yubikey or any other device that uses WebAuthn to the service you want to authenticate with.
Well in Perl there is...

warn("foo")

In Python you have to at least:

- remember not to forget to import sys
- remember the file= syntax for the print statement
- type about 10 extra characters

Bunch of annoying stuff when you are hurriedly debugging something...
Nothing. They are designed to survive fire among many other contingencies. People who moan and groan about dry cask storage generally have no idea what they are talking about.
Microsoft cares about their B2B products. While end users complain about Windows being a bloated mess, corporations still see no better alternative platform for deploying and managing a fleet of thousands (or tens of thousands) of machines.
My MagSafe cord for the 2021 MBP stays at home and it's USB-C while on the go. Still, the return of MagSafe is welcome just so folks have the option.
Ask HN: Why are there no good note taking apps
Why are there no good note taking apps on github or elsewhere that you can self host? Its really not that hard but almost all of them miss some crucial points.

I tried CodiMD, HedgeDoc, Jooplin, Standard Notes, Trillium and a few others.

- Use Markdown or plaintext for notes. This way they are easy to edit and display in almost everything. Don't render anything automatically for me if i don't want to (Trillium im looking at you FFS).
- Let me use folders (im looking at you CodiMD, Hedgedoc, ...) - who in the world doesn't want to organize notes in any way? I don't need graphs or LaTeX, i need folders and tags and references and ways to organize myself.
- Offer a Web Editor with proper account and user management (CodiMD, HedgeDoc, ...) and a custom landing page if you offer one at all. Let me setup accounts for other people and let me choose who i want to share notes with and who can edit them - just like nextcloud does. I dont need a Web Editor but its a really nice feature so why not implement it in a useful way that its actually managable?
- Let me share notes online. Let me generate a Link that i can send others. Let them either enter a password or make it possible to revoke the link and genereate a new one or set a time limit for sharing. Bonus points if the notes are stored encrypted and are shared E2E with the password in the URL just like Mega did. I wouldn't even need a Web Editor if i got this instead.
(- Dont use some over the top database structure or framework if not <really> needed)

I feel like most of those note taking app creators dont even use their own product. Also i dont care about a fancy looking UI that uses 8GB of RAM and takes 10 Seconds to load, just make it work.
I have a launch day MBP16" and I haven't noticed the notch a single day so far. I just have more screen space now. Does it really bother you in your day to day?
For context, a large container ship can carry 250,000 metric tons.