skysight-inc/HackerNews huggingface dataset:
I'm not the OP but I use this [1] enclosure and [2] NVME SSD on my MacBook Pro and get read & write speeds > 2,500MB/s.

[1] enclosure: https://www.amazon.com/gp/product/B0BB74BQVN/

[2] drive: https://www.amazon.com/gp/product/B0B7CQ2CHH/
I think his explanation was that right angles don't appear in nature so the trait didn't get selected out.
At minimum? In/outbound traffic
Tardigrade genes may hold secret to radiation treatments for humans
Electra – Runnning to time (1988) [video]
The problem is that his well-meaning statements are going to be used as ammo to privatize NOAA, much like someone's well-meaning statements were used to create turmoil in Springfield, Missouri.
I wonder how this will affect latency,
The Mac Studio technically still has socketed SSDs, which presumably cuts costs by not having to manage a separate motherboard SKU for every SSD capacity, but they went out of their way to design a proprietary SSD module format rather than just using the standard...
Probably someone repairs them and sells them.

For an individual, it can be easier to focus on one model. You get to use parts and knowledge from past cars.

There's many people doing this with certain models, like hardbody trucks, Jeep XJs, Honda civics
Your argument only works if they were going to buy the book if it were not available by other means.

The position you're taking is the one the publishing industry, RIAA, MPAA, the worst publishers in the games industry, etc have taken via piracy. It has done nothing but hurt themselves, irritate people who would otherwise pay for their output, and prove ineffective.
It's extremely frustrating to me how reliably the anti-JS crowd on HN promotes this sort of "just use HTML / CSS" content. Having a general purpose programming is obviously beneficial for application development. There is no arguments to not use Javascript besides "some users (ie the people here on HN and virtually no one else) don't like to enable Javascript"
Not quite.

If we consider that we are trying to prove "you can reach the local food store from your house" then starting from either side would consist of two proofs by example. And for sure these are different paths one is taking and should be different! But if you consider deeply, both of these proofs are implicitly encoding same information about the space between your house and the local store:

1) there is continuous space between your house and the store i.e. the store is reachable from your house. (as opposed to your house being in on an island and you not being able to swim)
2) you can traverse two points in a continuous space.

What I wanted to opine was merely the fact that since all proofs use logic, assuming certain premise, all theorems about a certain statement being true must be reducible to a single irreducible logical chain of argument. It is true that we use different abstractions that have relevant meaning and ease in different contexts but since all of our abstractions are based upon logic in the first place, it does not seem outlandish to me to think that any logical transformation and subsequent treatment between two proof structures should inherently encode the same facts.
"inks"
Node.js v22 is in LTS
I think they mean for the chat and code editing features.
Anthropic’s article: https://www.anthropic.com/news/github-copilot

GitHub’s article: https://github.blog/news-insights/product-news/bringing-deve...

Google Cloud’s article: https://cloud.google.com/blog/products/ai-machine-learning/g...

Weird that it wasn’t published on the official Gemini news site here: https://blog.google/products/gemini/

Edit: GitHub Copilot is now also available in Xcode: https://github.blog/changelog/2024-10-29-github-copilot-code...

Discussion here: https://news.ycombinator.com/item?id=41987404
Cliff Mass has this kind of weird position on climate change where here fully agrees that it is real and a serious concern, while simultaneously questioning the extent to which it is human-caused and disputing specific weather events as the negative effects of climate change.
You can get some decent size external usb SSDs. I have the Samsung T5 2TB. I think they have larger models now. Works pretty well. And with USB-C speeds are very usable. You can probably get faster/bigger stuff via thunderbolt.

I'm considering getting one and a nice big monitor or TV. It needs to run x-plane 12 at decent speeds and maybe support a bit of light gaming. My macbook M1 pro is actually pretty decent for this but the screen is too small for me to easily read the instruments. I expect this will do better even in the base setup.

Otherwise my needs are pretty modest. I'd love to see steam add some emulation support for these things as I have some older games that I enjoy playing. I currently play those on a crappy old intel laptop running linux. I've also been eyeing a new AMD mini PC with the latest amd stuff (Beelink's SER9).

Seems pretty nice as well and seems like it is more performance for the money. Apple is doing its usual thing of charging you hundreds of euros for 50 euro upgrades. Get the base mac studio instead. It probably makes more sense if you are going down that path.
At least he has proper speakers to go with that ridiculous screen!
You’re exactly right, I omitted the Schonhage Strassen just to simplify the point.
Per the New York Times:

"According to the World Gold Council, recycled gold accounted for 28 percent of the total global gold supply of 4,633 metric tons in 2020; 90 percent of that recycled gold comes from discarded jewelry and the rest from a growing mountain of electronic waste such as cellphones and laptops."
Well, I hear that there's a foundation for it, so: new leadership, new rules. I can't tell from the outside how much of Flutter/Flock is deeply tied to Dart versus it just happens to be a bespoke language because 20% Time exists
Even ignoring looks, which some users value, Apple may have good reasons for this choice.

Because of environmental concerns modern USB cables are fairly stiff. What would the usability of this fairly light mouse be with such a cable attached?

This design also almost guarantees the battery in this device will not be connected to a charger for long durations. That may be good for keeping the battery healthy.
Andddd... the terminal while running under the Wayland session (probably runs under XWayland) doesn't use the same keyboard layout you had set on the install or later in the GUI, defaulting to en-US.
> They're comparing three generations back now?

My guess is the leap from intel to M1 was significant for an upgrade and M1 vs M2/M3 wasn’t really. I’m personally on an M1 and use it heavily but I don’t think I need the M4 jump still.

The mini hardware is appealing to me though.
I use dual 43" 4k TVs as monitors. It's fantastic.
There is plenty of evidence - UKMO reliably outperforms GFS, as does DWD and many other centres.

https://wmolcdnv.ecmwf.int/scores/mean/msl
Exponentiation is not a constant time operation, and floating points have finite precision.
I got the Swedish translation as a kid more than 40 years ago and also spent plenty of time trying to find the goldbug. Still have the book and my kids loved it as well.
Sure, right now the democrat policy is letting migrants in so that they vote for democrats.

As a Hungarian I see my own country going down economically because Hungarians outside my country got voting rights and benefits because of Orban without reqirements for taxation, and now we are stuck with a dictator.

Of course US has a much more stable system, but the leftist strategy there seems to me like a parallel to what Orban was doing on the right.
You don't know what you are reading.. until you read it.

It takes only a second to be polite, apparently that's too much to ask.
Jetbrains is doing its own LLM
Thank you for your feedback.

I've just added the links to both projects in the info modal.

I will look into adding HTML and MathML exports in the next version.
PCIe TPH Coming with Linux 6.13 to Further Enhance 5th Gen AMD EPYC Performance
I consider that a plus. Maybe the AI community wil start to wake up and realize that going all in on cuda is ridiculously stupid.
I wish they would add small UPS inside (like super-capacitor or something like that) there to provide way for forced sleep when power is cut off. It's a neat small device which must be accompanied by huge bulky UPS for reliable operation.

If someone didn't know, macOS ignores fsync, so without UPS your data is not safe. Not an issue for laptops, obviously, but issue for battery-less devices.
>> "ask companies to be responsible for carbon capture or in the short term an offset for their employees breathing on the clock"

Unless you think their employees breathe more when they are on the clock than off it, I'm not sure this makes sense. When they're off the clock, they might be exercising or playing with their kids, so perhaps they actually breathe less when sitting at their desks on the clock.
is there a slim chance at a title change?

or a fat chance?
I already use a 4K TV for a monitor. 8K would just push a need for a more expensive video card, while decreasing how well people can see when I share my screen. Even on a 4K, I need to blow it up to ridiculous zoom levels to make a screen-share readable to others.

I'm sure not everyone would run into that problem, but it is a fairly strong con to be aware of.
Maybe it is just me, but I find it strange (almost dehumanizing) to have to live or sleep in such a pod for months or years. It is like the plot of a SciFi dystopia. Also the price is outrageous $700/month for half a closet with a mat.
Using Memgraph: Knowledge-Driven AutoML in Alzheimer's Research at Cedars-Sinai
It's called "title case."

https://www.scribbr.com/academic-writing/title-case/
You totally can. Here is a O(log n) implementation of the Binet formula with infinite precision:

https://github.com/xyzzyz/FibBinet/blob/master/FibBinet.hs
> 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.

I did this experiment in two locations. If I’m in the more urban area, running the air filter 24/7 was necessary.
> Well, if it's true in a 2024 presidential race "about their policies, Harris would win handily... because voters — whether they know it or not — overwhelmingly prefer the vice president’s agenda to the former president’s"[0] but also true that the race is a coin flip, that suggests some significant margin of people who are doing something else other than policy-interest calculations.

I looked at that article. Distinctly missing from the methodology is "and how much do you actually care about this issue?". I might agree with Candidate A on dogs, mom's apple pie, and a thousand other issues, but Candidate B only on Hot Button Issue A and Hot Button Issue B - but if my concern is about Hot Button Issues A and B, then agreeing with a greater number of positions from Candidate A is really beside the point.
Somewhat related, but I found Andrew Blum's book The Weather Machine: A Journey Inside the Forecast an interesting read:

> In The Weather Machine, Andrew Blum takes readers on a fascinating journey through an everyday miracle. In a quest to understand how the forecast works, he visits old weather stations and watches new satellites blast off. He follows the dogged efforts of scientists to create a supercomputer model of the atmosphere and traces the surprising history of the algorithms that power their work. He discovers that we have quietly entered a golden age of meteorology—our tools allow us to predict weather more accurately than ever, and yet we haven’t learned to trust them, nor can we guarantee the fragile international alliances that allow our modern weather machine to exist.

* https://www.goodreads.com/book/show/42079139-the-weather-mac...

* https://www.andrewblum.net/the-weather-machine-2

Also his book Tubes, the Internet's physical infrastructure. He also appears to be working on a book on the electrical grid:

* https://www.andrewblum.net/electric-earth
> talking with some people still in the field it seems that these organizations (NOAA, ECMWF) are stuck with NWP and refuse to embrace AI models
This is trivially verifiable as not true. ECMWF is all over AI:

https://www.ecmwf.int/en/newsletter/178/news/aifs-new-ecmwf-...

https://github.com/ecmwf-lab/ai-models

And they are hiring with competitive salaries (for Europe).
LPCAMM2 solves this.
Yeah, Claude consistently impresses me.

A commenter on another thread mentioned it but it’s very similar to how search felt in the early 2000s. I ask it a question and get my answer.

Sometimes it’s a little (or a lot) wrong or outdated, but at least I get something to tinker with.
With a large sample size, it's astronomically unlikely for there to be a confounding trait that is important to the outcome and is also widespread in only one of the experimental arms. If you were to write a simulation showing the issue I might be able explain more specifically why I think the simulation doesn't reflect reality.
Gb/s is not the same as GB/s. 120Gb/s could be referring to the speed of Thunderbolt 5. You misquoted 273GB/s, the memory bandwidth of the M4 Pro.
Since a couple of years ago, I spent a year or so like this, with the TV resting on the desk directly.

It looked pretty nice, but it had some problems.

- The only actual 8K modes reported on the HDMI were some variant of YUV, it means you could not select what your OS considered an RGB mode

- Even using it at 4K, with the 55" TV a couple of feet from the back of the desk, my eyes could not keep all of it perfectly in focus.

- The power consumption was much higher than a typical ~30" monitor, and the amount of heat created was also significant. This became hard to deal with in summer.

Eventually I gave up on it and returned to a ~30" monitor.
Function-calling is a powerful feature in Large Language Models (LLMs), enabling code execution in response to user queries1Semantic Kernel simplifies this by allowing built-in or custom plugins2. This article explores how Semantic Kernel creates a function-calling JSON schema, crucial for determining the correct function to invoke.
Apple really is the kind of cherry picking comparisons. They seem to compare the new Mini with the M1 Mini, the Core i7 Mini, and the M2 Mini, all in different categories, whenever it benefits them.
Am I the only one who thinks the colors are bad? Seems designed for a 4th grader.
You get the partner something shiny too!
The 100K GPU XAI Colossus Cluster That Supermicro Helped Build for Musk
It'll tell your boss if they should keep you around or replace you with AI.
https://archive.ph/gkj30
I’d be very interested in the opposite! Lots of scanned or legacy images that would be nice to convert to LaTeX, or to create a robust PDF ingestion pipeline.
The list of issues / caveats seems pretty significant compared to "I have a small bezel between my screens".
LLMs can be useful, but outside of a couple of niche areas, they aren't incredibly so as near as I can see.
Genuinely an S-tier move by Github / MSFT. Cursor didn't really work out for me and I've been happily using using Claude projects for most of my prototyping. I'm hoping I can use it directly in VS Code without pay-as-you-go pricing or a Claude API key.

Copilot has been so-so in my experience but I still use it very often to infer Typescript types automatically (the VS Code Cmd + I shortcut is excellent!).
I'm the same, but had a lot of issues getting structured output from Anthropic. Ended up always writing response processors. Frustrated by how fragile that was, decided to try OpenAI structured outputs and it just worked and since they also have prompt caching now, it worked out very well for my use case.

Anthropic's seems to have addressed the issue using pydantic but I haven't had a chance to test it yet.

I pretty much use Anthropic for everything else.
I read the letter from Microsoft and it's very interesting. Tech Giants are beginning to look more and more like political parties.
You're focusing on an app, instead of ringing person's UX and _the_ doorbell itself.

My suggestion: find a niche, like a doorbell for hearing impaired home owners. Otherwise you'll be recreating Nest. Google won't buy identical product twice, to kill it. A generic Nest-like product has little chances to take over the market.

A button feels more natural and is much more approachable over an QR code. QR may be a nice fail-over for when no one is opening the door in reaction to knocking or pushing a button. But QR as the main method? Maybe for evolving markets or harsh neighborhoods where wireless doorbells get stolen - if that's even a thing.

You're looking into providing value to home-owners, by making it easier for someone outside their homes. In most cases this dumb button that makes some sound inside the house just works. Little area for improvement here, for most people.

Your potential market for people willing to stick a QR code on their door are:

> "I'm hearing-impaired. Please use below QR code if I don't hear you knock"

> "I'm not opening? chat with me here [QR code]"

↑ this is your potential target. You already see that most comments in this thread tell you that people don't want QR codes on their doors. You have an idea for a solution still looking for a problem. Accessibility around hearing loss may be one.

You can help people. And from a business perspective, you may be able to get government grants for such project, which may be better for you than crowd-sourcing. And, you may get customers who get their purchases partially covered by gov health programs, if you properly interact with related accessibility-related gov bodies (YMMV around the world of course), apply for getting your stuff assessed for free advertisements inside hearing loss-related clinics etc. And again - you can make a product that makes impaired folks' lives better. Win-win.

There are multiple ESP32-based doorbell projects (I like this one[0]) that can be expanded easily with code changes. I can't really see how a QR code is better. Make your product either equally interesting to public or covering some niche use-case. And again: Nest...

[0] https://tristam.ie/2023/758/
That's a fair response; thanks for taking the time.

I was primarily reacting to this part of your message...

> I'd argue that two correct proofs are always the same.

...with emphasis on the "always". To my eyes, a proof is any object that witnesses the truth of a proposition. The proof can be more than a witness, but to be called a proof, it must do at least that much.

To say that "two correct proofs are always the same" is, to me, to say that proofs can be no more than witnesses of the proposition; to be the same means to be indistinguishable. My argument is that two correct proofs may be distinct in useful ways.

I suppose this discussion depends on what "same" means ("depends on what the meaning of the word 'is' is", heh). Do you mean something other than what I mean? Your use of "logically equivalent" is probably telling -- so, two proofs should have the same deductive power? We often speak of propositions this way, but I'm not sure how to understand that notion on proofs. Terence Tao gives some possible notions of proof equivalence in a comment on the OP [0]; you might enjoy reading them and considering which is closest to your intuitive idea of equivalence :)

[0]: https://gowers.wordpress.com/2007/10/04/when-are-two-proofs-...
Why? He says he should have planned ahead like that to try and head off obvious criticisms, but it's clear this was a decision sent to him for review. Endorsements tend to happen before elections, so the timing wasn't chosen by him.

I don't know why anyone would disbelieve this. The justification as written is fully rational and not unexpected.
When I was saying 'easier' if we chose to do logic inside a theory using the Curry-Howard correspondence then we find out that it is intuitionistic, and as you mentioned 'proofs' that means it may be important to you vs. someone who is say using lambda calculus as just a programing language.

The Curry-Howard correspondence results in an isomorphism 'Programs'(Haskel Functions) and intuitional proof systems, if you assume they are traditional proofs internally you will have a bad time.

What is important is what we lose in respect to what we often assume due to the typical conventions.

Note that this has been a popular resource to introduce the concepts for a while, and I was encouraging you to mostly learn the tradoffs of call/cc to help on that path and avoid globals, not that it is the only or even good solution.

> This course is an introduction to the research trying to connect the proof theory of classical logic and computer science. We omit important and standard
topics, among them the connection between the computational interpretation
of classical logic and the programming operator callcc.

Grounding and negation as failure are also popular, especially with ML which under the VC dimensionality interpretation of learnability is still a choice function due to the set shattering.

https://cdn.aaai.org/ojs/7590/7590-13-11120-1-2-20201228.pdf

That said, I do retract my suggestion as you are in JavaScript, the obviousness in Scheme that callcc is external is not there.
Since Nadella took over, Microsoft stock has gone up from $30 to $400 with a market value of over $3T. Satya understood that for MS to compete, they have to get out of the "Windows Only" mentality. For example, .NET Core was a huge thing when it finally came out. I don't think that he has made any terrible decisions for the company. May be for some users like you, sure. But not for the company overall.
Apple puts the memory, CPU, and GPU all on the same chip. This generates less waste as you only need a single package and socket, and uses less energy during operation.
Yes, metrics alone are not sufficient here. But I did not want to include opinionated targets where optimization towards might be problematic.

For me, I had 2 reasons to look at the metrics: First, I wanted to split my work into smaller chunks and commit more often, and I wanted to track whether I achieved this goal. Second, it occurred to me that I was using some IDE refactorings a lot of times, but I was wondering where my „blind spots“ where, i.e which types of refactorings I was using rarely or wasn’t even aware of. This inspired me to track IDE refactorings in the plugin as well.

However, there might still be the use case of some kind of „trainers“ that could be included in the plugin that help you improving your coding. Running tests more often, continuously integrating your branches, committing more often - these are not silver bullet mechanisms, but they do make sense a lot of times and a tool might help here.
It appears op has a different experience. Each human assistant is different.
I watched the video and that's what the fictional presenter says. I don't think it really makes sense though, but maybe you can get passed that because the species coming into existence at all is so contrived and unlikely?

The vampires appeared to have less of a gene pool and more of a gene cleanroom. Knife edge stuff there.