skysight-inc/HackerNews huggingface dataset:
> More refined, my claim is that it is a super powerful tool that brings substantial benefits. And that it's a mistake to not use this tool.

I mostly agree with this. I wouldn't say it's super powerful, but it's a super convenient tool that quickly eliminates a broad class of errors without that much effort or contortions in our programs. I do think that the sweetspot for types is something like OCaml or Rust, and that going even into Haskell style (monads) starts to expend too much effort on the types compared to functionality.

I am hopeful that other techniques will come along and complement types to more easily statically check more complex properties of our code. I've been hearing great things about TLA+ style property-based specifications that I'd like to try at some point.

> For instance, there's the Rust crate dfdx, which uses dependent typing to encode the shapes of tensors. [1]

I don't think shapes of tensors is a particularly complex property. It's nice that this is enforced, but I still see it in the area of very simple properties. Rust's borrow checking is actually a better example of a more complex property of a program being statically verified.

> This isn't quite right. At least, I think what you're saying is that "physics proofs don't set up typing rules therefore they don't use types." But then again, proofs aren't necessarily programs. Is every physics proof computable? I'm not a physicist so I'll defer that to an expert.

Physics is basically all about computation, and very little about proof. The point of physics is usually to compute a property of a physical system based on some model, then perform an experiment and measure the same property. If the measurement agrees with the computation, that's a "proof" that the model is "correct" (in quotes because of course these are not what we normally mean by those words in formal contexts).

And in those computations, physicists don't use types in any way you might see in a computer science paper in their computations. Measurement units are somewhat similar at a very high level, but they are used very differently in practice.

I go into a little more detail on this in [0].

[0] https://news.ycombinator.com/item?id=38692762
You're right, there's absolutely nothing that can be done in this situation. Same as in 1917, nothing could've been done about the czar either.
I use them for coding, you'd be surprised at how much you can get done with deepseek coder 6.7b

Most GPT plugins for code editors will also work for local models since you can have OpenAI API stubs running locally.

Clearly it is nowhere near GPT-4 capacity, but if you ask simple boilerplate things ("write a class with the following methods", then "write unit tests for it") it will mostly work. Even if it doesn't, you can manually fix it, and it still can save you some time.

Always review code generated by LLM, regardless if it comes from GPT-4!
re cp/m, what machine was that?
I don't know, because I haven't used Sonos for this purpose. But it's easy to imagine that a mobile handset with an array of microphones that you tend to hold near yourself would be more suited at the hardware level.
100% this. Maxing out the 401k annually at the relatively low salary of 150k in NYC is easy. Doing that in St Louis at 50k livable wage is super hard. Car payments? Ditto.
I worked in an office with 10 other people once.

It worked well, as long as the other people were devs or admins who didn't phone all the time.
>Alemannic does not include Standard High German.

https://en.wikipedia.org/wiki/High_German_languages

>>The High German languages (German: hochdeutsche Mundarten, i.e. High German dialects), or simply High German (Hochdeutsch) – not to be confused with Standard High German which is commonly also called "High German"
> Capablanca's famous adage "I see only one move ahead, but always the best move" turns out to be true

I know there is a tendency to frame human intelligence in terms of the age’s breakthrough technology. But man if that isn’t reminiscent of token prediction.
Any chance you thinking about the rollover of a number in "The Story of Mel, A Real Programmer"?
Most people are intelligent, that's why they can get good, but being smart not only has a big effect on the ceiling, but also on the speed to get to the same level, which in turn affects motivation, so you can't judge it to be an inferior factor

But this isn't a good illustration anyway since it's a very constrained artificial example of a game based on pattern matching
So how did it happen that GCM modes for SSH contained a fix, but ChaCha20-Poly1305 did not?
Because the person in the article left their laptop unregistered and unlocked on purpose. When it was stolen, the thief was able to register it as though it were brand new (which it basically was).
You need only look at cellular carriers and the rampant social engineering going on that gets people's cell numbers (and thus SMS messages) diverted to understand that you can't give people an inch here or the entire system falls apart. The system must be designed around human factors like customer service agents being yelled at by a scammer pretending to be the legitimate owner.

By definition making a system even somewhat secure against social engineering and the like means it is less forgiving of mistakes.

And once again I must keep reminding people that "Find My" is an opt-in feature that you are not required to use.
If the judge uses ChatGPT too, I feel I am in a good position.
He didn't specify general vs. special but there were lots of developments leading to special relativity too: https://en.m.wikipedia.org/wiki/History_of_special_relativit...
You do realize that commercial banks create most of the money in the economy and QE is merely the central bank flooding the banks with reserves to back the money they already created?

Honestly, how can you be this dense. The difference in the past years wasn't QE or "money printing", it was that the government performed fiscal stimulus, which tends to put money into the hands of people more than letting their bank account be backed by government bonds.

The Economics Explained yotuber made a video about how hyperinflation is already there using a similar graph and where is it exactly?
My practice:

watching https://www.youtube.com/@agadmator chanel.
We really do live on different planets if you really think those prices are real. I never paid prices anything like that in various countries in central Europe, and I sure as hell didn't go to McDonald's. But if I had, a typical meal there is about 10 Euros or so in Germany. What the heck are you ordering, their most expensive bottles of wine or something? Or are you going to the most exclusive restaurants in these cities?
He is somewhat exaggerating, as most of the MOST espensive cEDH decks peak at around 10k, which is frankly a TON of money but comes from 2 or 3 cards. Take Urza for example: the best Urza Poly Kraken deck (uninterruptable combo deck reliably wins turn 3) is like 9k because it has timetwister, tabernacle, and mox diamond, among other $200+ pieces. This deck is a solid 7 cEDH deck, which places it among the best decks ever. However, drop it to a cEDH 5 and the price drops to 2k because you can cut those crazy cards and make other subs. Drop it to a solid budget cEDH deck and you can get it to $500. Each extra insane piece adds only a nominal amount of power.
Interesting. I don't think such banks exist in the west. I only know it used to be that way based on what my dad told me. In my experience (having traveled around a bit to Europe and Australia), banks in most western countries are almost completely centered around mortgages to buy houses and investment properties and won't loan for anything else. Maybe they will make business loans for very high net worth individuals or big companies like large mining projects but seems very rare and I've never heard of anyone getting a loan to fund their small business.
(Complete rewrite) I think this may be true in theory but not a practical way to think about c++, as the language fights you if you try to use in that way.
StreamSets and webMethods, recognized leaders in application integration, API management, and data integration, play pivotal roles in digital transformations for organizations.
Maybe they sued because it was too good.

But then, you're right about the second point. But even here, why would you assume that someone who's a talented fantasy fiction author would also be a talented businessperson? So conversely, if he's a bad businessperson, this doesn't make him necessarily a bad author. I don't have any other examples for authors, but I can name a bunch of rock stars off the top of my head who were fantastic and gifted musicians but totally clueless about business (and many other things too).
I liked this one:

https://cryptobook.nakov.com/
The third parties provide an experience.
Mosh security model depends on trusting SSH as it auth/bootstraps the server daemon with SSH, my educated guess is yes.
> Please read this copyright notice before downloading any of the chapters.

Why would I need to do that if I have no intent to redistribute?

I'm not the one making a copy; the website is.

> CRC Press has generously given us permission to make all chapters available for free download.

Exactly; permission for them to give away copies under terms they have to understand, not me.
> Google sells its own phones which could be configured to have a conversation UI by default (or with Google’s Pixel Buds). This removes the friction of opening an app and setting a mode. Google also has a fleet of home devices already designed for voice interaction.
Google has massive amounts of infrastructure all over the globe, with the lowest latency and fastest response. This undergirds search today, but it could undergird a new generative AI assistant tomorrow.
Google has access to gobs of data specifically tied to human vocal communication, thanks to YouTube in particular.
In short, the Gemini demo may have been faked, but Google is by far the company best positioned to make it real.

How does he square any of that with the rest of the preceding article? Google having a technical advantage on paper and still fumbling the ball is their M.O. for a decade. Their ecosystem of devices, even just sticking to the Google-branded hardware, are inconsistent crap. Take a simple, first part app like Google Calendar and look at how sloppily and poorly it works across Pixel phones, Android Wear devices (including the Pixel Watch) and Home devices. Google sucks at building polished, consumer products.

Google is by far the best company positioned for AI assistants? Is this guy forgetting about Apple, the company that has a much stronger hardware ecosystem and that will demonstrate this in the coming months with a huge hardware launch that only they could do, leveraging a huge base of iOS apps, AirPod users, etc. Apple is building a network of personal hardware devices with a weak but well-integrated personal assistant. In 1-2 years, Siri will get a massive improvement based on recent advances in LLMs and it will be 80% as good as Google’s then probably thrice rebranded AI, but it will be 300% more polished and install automatically on hardware people actually like to use.
Is there a well known strategy game where AI doesn't have better chances to win than a human? Is there possibly, math wise, that such games exist?

I kind of dislike not having a chance when playing against bots.
Microsoft seems to be pretty hands off when it comes to acquisitions. Github/LinkedIn were both a acquired and each have grown a lot since the acquisition.
https://chat.openai.com/share/21ad4c58-f5f3-4824-89a9-f90799...

shrug

I get the impression this sort of blog post is a new form of clickbait. "You won't believe what one word this AI refuses to say!"
It’s very much back on and expanding.
If you send Content-Length: text/plain, I believe there's no browser that will render it as HTML anyway.
By the end of the decade? There's war in Europe right now.
I wonder if this could also be useful in reverse, you'd have a large expensive llm producing a few tokens per sentence about the answer, then a expansion llm forming sentences out of it.
I do almost exclusively by singles. That doesnt mean that a) winning packs from tournaments and LGS FNM doesnt feel satisfying or fun or valueable, and b) it wasnt fun to gamble on getting good value out of all pre-Throne of Eldraine sets, or c) that draft doesnt feel like a complete waste of money considering it is usually $30-50 buy in and winning gets you like 3 packs ($50 for 6 packs of cards each worth under a dollar feels bad). There used to be a lot of fun to be had in paying $10 for an FNM entry, getting a pack from entering, paying an extra $10 to get 2 more packs and rolling the dice. Sometimes you got trash, other times you got $50 worth of cards, but it was at least fun because there was a chance of good cards. Now, even if the card is very playable it still has no value.
It took me roughly 5 seconds to go to Wikipedia, type "CP/M" into the search bar, scroll down to "History", where I found a link to an article about the Intel Intellec:

https://en.wikipedia.org/wiki/Intellec

The second sentence in that article says:

> The Intellec computers were among the first microcomputers ever sold, predating the Altair 8800 by at least two years.
That's plainly untrue. "The Apple experience" prevents telcos from pre-installing any app.
Presentation by Michael: https://youtu.be/mv_THRgLRHY
Last Week Tonight with John Oliver (HBO) [video]
There's No Shame in Feeling Lonely
"Only about 10% of players ever gain more than 100 points, and only about 1% of players gain more than 200 rating points given years."

This seems like a wild claim. On chess.com I've gone from 500 to ~1050 in a handful of months without any real study, just some light YouTube watching. 500->800 felt like all it took was learning a few openings and not blundering pieces. 800-1050 felt like it came mostly from getting familiar with the common patterns from those openings that led to advantages/disadvantages. Most of my learning here came from reviewing my own games and trying to understand why my mistakes were mistakes.

I don't understand how people learn from slamming blitz/bullet games. The time constraints are too rushed to really think about what makes a move good or bad. I assumed it was a young person's thing, but the author said he plays these quick formats too.
Any other explanation for inflation has to explain where the extra money comes from. A price increase doesn't create more money.
Yeah, I, too, practice my bball skills watching Curry's highlights ;)

Jokes aside, it's a fun channel. Makes me feel like I know what's going on in those games.
How I Made My Own iPhone – In China
4th point about writing stuff down leads to another fun exercise. If you care about an idea but don't want to spend time doing the thing, write up a plan for how to do it. Then consider that to be your work product, and never look at the file again.

Good way to get something out of your system, and maybe 3 years later you open it back up and go for it.
https://archive.is/6F1xN
“Progress is when a random selection of people get filthy rich” is an interesting idea
Not the glib root-commenter, but the two big caveats is that Go is memory-safe provided you import neither `unsafe` nor `c`.

That can end up being a pretty restrictive constraint, if it's not something your dependencies cared about. If it is a concern of yours, it's pretty easy to check for at build time.
Yep, I think people have amnesia about the last 10 years where our API rights have slowly but surely been taken away and have a lack of imagination for solutions so fallback to authoritarian narratives.

API key so premium users can use invidious makes total sense - it makes creator revenue attribution more accurate also.

As a paying user to any service I should have the right to interop with whatever client or third party service I want.
That's an interesting train of thought about incentives. I would have said that everyone has an inherent motivation to understand, but now that I think about it, this motivation goes away when group dynamics or poverty start affecting you. Democracy works as long as the majority is lucid, I think. There's no alternative when it's not though. Create financial accountability for long term impact of ruling class decisions? That probably has a million downsides.
This is all part of the program to fight theft. If the parts were freely usable then people would be stealing devices and fencing them to chop shops.
I want to like Ollama, but I wish it didn't obfuscate the actual directives (full prompt) that it sends to the underlying model. Ollama uses a custom templatizing script in its Modelfiles to translate user input into the format that a specific model expects (
, etc), but it can be difficult to tell if it's working as expected because it won't show up in the logs at all.

Other than that it's a great project - very easy to get started and has a solid API implementation. I've got it running on both a Win 10 + WSL2 docker and on a Mac M1.
Have you tried mixing up games with daily moves with rapid and blitz? Mixing “do it right” with “do it fast” training is more effective than doing only one of both.
True if you save zero or negative percent of your earnings.

If you always save 10 percent of your earnings, then clearly the multiplier works in your favour.
The showcase of projects is (a bit unintuitively) listed under Available packages and is helpful if you want to get a picture of what you can build on top of gokrazy: https://gokrazy.org/packages/showcase/
What extra money? You're talking about CPI inflation, not money supply.
Civilization V? Warcraft 3?

But any answer will be such only because no one tried hard enough to make a supreme AI.
The cynic in me, believes that Apple pulling them now is a marketing ploy ahead of Christmas. Waiting until actually needing to pull them would have not really impacted sales, but this way they get to generate demand right before the big giving day.
OpenAI has close ties to Microsoft and we've already seen them integrate AI into Bing; MS may not be a player in phones but they make a major OS and some of the best hardware money can buy. I'm really not convinced vertical integration matters all that much, but if it does, they can do it.
Sure, but lots of corporations will have all their old devices shredded rather than unlock and sell them.
the text to image community has upscalers like this… i wonder if useful
The original Surface was unveiled a few months (May 30, 2007) after the iPhone (January 9, 2007). Not sure who implemented the idea first in the lab, but probably neither of them.
well done - your google search skills certainly exceed mine
I would say any game that includes a lot of uncertainty, subjectivity and random chance would mean that an AI would not usually have an edge over a human. Maybe games like diplomacy, magic the gathering, pandemic, Gloomhaven, maybe poker (?), backgammon (?) etc.

On a sidenote, I think it’s interesting that we’re a point where it’s starting to get hard to come up with games that humans can beat AI at.
> It's not a problem with centrifuges. We don't understand fluid physics. :(

The phenomenon on the video is a consequence on the centrifuge itself. If you think that fluid in a centrifuge behaves like fluid at rest with extra gravitational pull, the problem there is your misunderstanding of non inertial reference frames, not your misunderstanding of fluids. In simple terms: going around in circles isn't the same as standing still.
It might be even worse — let's try to answer one question: Can software ever be finished?

And if it was finished, what would people think about it? No commits since a year? Dead!

Jokes aside, I think software can be finished in the same way you finish building a house. Sure it built now, but that doesn't mean that maybe in a year or ten something major has to be done because the components that make the house changed, the environment changed, the requirements changed etc.
I would love to know if this really is Conways Law exposing poor reaction and innovation reactions.
This happens in every industry once that business is opened to the stock market. Larian is great because its private. Steam is great because it's private. Facebook used to be great then it went public and went downhill fast. Same with basically any company that doesnt have 2 vectors of VERY solid competition (AMD v Intel v ARM, nvidia v AMD v Intel, Micro v Samsung v hynix, Ford v GM v Dodge, etc). Companies that exist only to drive profits will do shit to ruin their brand in the name of profits, because stock profits make more money than being a good company.
You forget the fact that bloat is driven by many stakeholders, not just developers. Bloat is the consequence of ever increasing demand for bells and whistles, the pressure to release something (case in point: github projects that don't get updates every other month are considered dead) amongst other factors.

An SMS parking app works fine as long as you limit it to the very specific use case. As soon as the "enhance"-part enters the picture, chances are simplicity leaves the scene at the same moment. Complexity can only be avoided by keeping the problem simple.
> with zero knowledge of the space...

While I don't think we should give courts and government-like agencies no scrutiny, I think I'm probably going to put greater weight on the ITC's decision than a random person on the internet who admits they have zero knowledge of the technology in question.
then sell the phones which then get sent to a location where they are reset/parted out and resold

You can’t do that with an activation locked iPhone. The user can remotely brick the device using Find My. The parts can’t be removed and reused either because they all have IDs in them which are locked to the device. A stolen iPhone is nothing more than scrap metal and glass.
Thank you for your comment !

> great that you don't need quotes for keys, but why do you need quotes for values ...

Quotes for string values are very important because they avoid ambiguity [1][2] and the type of quotes (single or double) tells the deserializer how to treat the string: as an ordinary string (which may have escape sequences) or a raw string.

> ... is there no way to simplify data types a bit to be able to get rid of those?

String values already benefit from a simplification: quotes can be placed inside a string (ordinary or raw) without a backslash to escape them. This is not the case in TOML: "Since there is no escaping, there is no way to write a single quote inside a literal string enclosed by single quotes. Luckily, TOML supports a multi-line version of literal strings that solves this problem." (https://toml.io/en/v1.0.0#string)

> for configs it's surprisingly poor with only a-z_ keys

Config dictionary keys follow the identifier naming rules in C to enable mapping between config keys and variables. Therefore, one could (at least in Python) pass a config dict as arguments to functions like this:

from paradict import ConfigFile

def my_func(arg1=42, arg2=True, **kwargs):
pass

# load user_config from the 'config.dict' file
path = "/path/to/config.dict"
confile = ConfigFile(path)
user_config = confile.get("user")

# pass user_config to my_func
my_func(**user_config)

[1] https://news.ycombinator.com/item?id=30052128

[2] https://news.ycombinator.com/item?id=28826600
Or maybe they are obvious, just that you don't start a product with all possible optimizations. You get the initial version out, then you iterate.
Power comes from the consent of the governed.

That said, if the military supports the status quo, it would admittedly be nigh impossible to oppose them.
I don’t understand what relevance your question has, but of course not?
Their API bill will likely be several thousand dollars this month.
Maybe so, but just because darling-child Apple is the one on the wrong end of a lawsuit, it doesn't mean there's no merit.