skysight-inc/HackerNews huggingface dataset:
You don't understand Gödel's incompleteness theorems (there are two of them). They don't say what you think they do.
Unless you’re writing directly to a flat file, and basically storing a direct representation of your data on disk, as it exists in your application. Then your DB is doing something to improve the performance of your queries, whether that indexes, or other clever on-disk structures, it exists only to improve query performance.
Black Art of 3D Game Programming (1995)
netherlands has always been an outlier when it comes to card payments.
Don't "social libertarians" want drugs to just be legalised so they can be produced by local businesses and thus cut off the flow of cash to criminals?

Wanting more Clear and Present Danger-style ruthlessness in the war on drugs (after decades of failures of varying levels of ruthlessness) I guess is an idea if you don't care about body count and collateral damage, but just feels like without legalisation it's going to be a complete waste of time.
I doubt WordPad killed anyone, It didn't even have a spell checker.
I’ve never done an instantaneous SEPA transfer just scanning a QR code. Is that possible?
War breaks out between Big Cable and Hollywood
Thanks! I appreciate the explanation. I think that you put your finger on the major assumption of the argument.
Tapping my phone on an NFC terminal seems much easier and more straightforward than having to scan a QR or install a third party app and having to figure out how to link it with my bank account. There is just probably not a lot of demand for a system like this in much of the west (in cases where you can’t use a card there is always SEPA instant payments)
Then they couldn't recommend people to buy an expensive licence to have a wysiwyg editor on their Windows
Nobel Foundation will not invite Russia, Belarus to Stockholm ceremony
There's a new model that looks the same?
https://www.timecentershop.gr/ents/timext53722.html
thank you for correcting my misinformation!
In the end it comes down to healthy competition, it doesn't matter much why one thing is better than another, it just has to be preferred by enough people. And all those people may have different opinions on why they would choose one language over another. Traditionally, there has been a real lack of "better C" languages. Now since a few years we suddenly have a number of promising options but still not enough: Odin, Zig, Jai, and a few lesser known like C2 and C3, that's about it - I count Rust and D as attempts to a "better C++", not a "better C" (I'm aware of D's "das better C" subset though).

Apparently Jai is specifically tailored to game development problems and frustration with C++ for game dev (or at least it tries to fix rough edges that a typical game developer encounters in existing languages used for game dev) - whether that is actually true I can't tell though since I haven't used Jai yet.
I would expect strip.com to be NSFW
Ok thank you for the clarification
Wow, this is a good documentary. Thanks for posting.
Java has (limited) type inference now I think, right? Does this work for the example you gave?

public class Main {
public static void main(String[] args) {
var add = x -> y -> x + y;
var addFive = add.apply(5);
int result = addFive.apply(3); // Output will be 8
}
}

Still not great, but a lot better than the original IMO
They are definitely generating and analysing this data in the US. I believe the data protection laws in the UK and EU prevent it here, at least to the scale. There is no doubt it could be done though - it's the same basic technology with a different transport mechanism and/or intermediary.
> Fully remote workers reported higher levels of engagement than their in-office colleagues

The article seemed so confused about what it wanted to say: my impression was that the data didn’t fit the author’s pre-existing bias, so the article was written in a way that implied something that wasn’t backed by the data at all.
why didn’t these countries go the NFC route instead of QR codes?
Don't know what EDC means. But my backpack for commuting has almost always:
- bike lights (it gets dark early in winters)
- rain pants than can we wore over normal pants (in case it rains)
- some coins
- some Bonbons that are good for the throat
- still a COVID mask (too lazy to throw it away)
- a roller pen
- strangely I found a patch fo a fever blisters and a anti head ache pill
- a adapter from micro USB to USB so I can connect my yubikey to my phone. Turns out the microusb is so mangled already that it is only good for charging and not for data transfer so the yubikey does not work with the phone. Also ok.
- a small plastic bag (in case I come somewhere nice where garbage is lying around or where wild berries are found (or people selling berries or mushrooms on the side of the road)
- on weekdays a work notebook and headphones
In Kotlin the syntactic overhead of `fun` is annoying. You have to do a lot more ceremony (e.g. writing return) than if you use the lambda syntax.

(I don't know why they made return mandatory in Kotlin, as a language can function just fine without explicitly writing return everywhere.)
Ah, thanks! I can definitely see that as being useful.
I'm with you, I don't get it. Is this an example of the emperor's new clothes where nobody gets it (because it doesn't make sense) but pretends to find it funny because they assume it must be funny if only they understood emacs?
Practically speaking, does this give us anything interesting from an implementation perspective? My uneducated reading of this is that a single SVM layer is equivalent to the multiple steps in a transformer layer. I'm guessing it can't reduce the number of computations purely from an information theory argument, but doesn't it imply a radically simpler and easier to implement architecture?
Wait, it opens files made with Microsoft Office? I thought it refused that and only did rtf and text files like html, txt, etc. Is this perhaps new or do I just misremember?
The only fundamental difference inherent to the respective designs of blockchains and traditional banking, is censorship resistance through genuine self-custody. The former is designed to provide this quality, and the latter is not.

Put another way, there is nothing inherently scammy in using a distributed blockchain to record balances, and cryptography to authenticate updates to the balances. While opening the door to financial contracts to every one in the world with a computing device may make scam offerings more common, it's overly simplistic and lazy to resort to a caricature of crypto tokens being, as a rule, scams.

Articles like the ones you linked above want a return to serfdom, under the control of officialdom. There is no other conceivable reason why someone would not want people to have at least the option of taking custody over their own money, in a form more useful than physical cash.
As IO drivers on the die get faster with more modern processes, this necessitates packages with less destructive parasitics. Your typical FPGA is about 40% power and ground pins. The fabric is sensitive to all the nasty stuff like ground bounce that is only made worse in through hole packages (not to mention, almost nobody would buy such a package).
Level translators are also all SMD.
There is really nothing to be afraid of with soldering SMD and once you spend an hour or two you will never bother with through hole stuff again.
Gödel's proof is an example of deductive reasoning. It falls apart if you don't accept its axioms.

The case for climate change, or for relativity, is made inductively, by empirical observation.

The two cases are not remotely comparable.
With regards to maestro, yes sure, but I think diner’s etc (aka anything non visa/Mastercard) have issues internationally.
It’s an option…for now.

In 2016, India demonetized bills as low as 500 Rupees (the equivalent of $6). People died in the ensuing chaos, and the Supreme Court just that ruled in favor of the demonetisation.
I'm in no way blaming the victims of christian brothers schools for indigenous children and having worked cataloging material from a royal commission into the practices of such schools I'm suprised that anybody would.

https://home.crin.org/issues/sexual-violence/australia-case-...

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

Still, by all means do please address the question I posed above; why are the indigenous people of Canada so darned angry at the schools that stole their children and "beat the Indian" out of them?
In my opinion, the biggest advantage of Emacs is the ability run and evaluate code in a REPL Driven Development style. It is very common in languages like Clojure, less common in Python. You can do a lot in VS Code and PyCharm, but I haven't found a better combination than Emacs and the "elpy" package for this.
Yeah LTO-7 is 6TB uncompressed.

A single 16TB Helium sealed HDD is 350USD (https://www.westerndigital.com/products/internal-drives/wd-g...).

When you mentioned tape, I was assuming you had a lot more data than just 13TB. Normally I hear people mention it with like 100+TB.
> They want it so bad in the West!

i don’t think so. in the UK NFC payments via the phone’s wallet are ubiquitous.
You're only looking at one dimension of complexity. There are tradeoffs.
Thank your for your reply! I didn’t realise that Zephyr supports A series chips already.
He also has an older article on the same topic: https://ciechanow.ski/drawing-bezier-curves/.
Your stock portfolio isn't intrinsically useful. A house is intrinsically useful, even if you rent it out: you can do an owner-move-in, and you secured your ability to live somewhere.

If the stock market crash, you can't do anything useful with your stock portfolio.

If the housing market crash, you can do something useful with the house: live in it.

I don't argue that you can rent with the yield of your portfolio. I'm just saying that when the music stops, a house is useful and a portfolio of stock isn't.

So to me, owning a house is worth it over having a souped up stock portfolio. And if you rent out your house, even if in a high CoL area like the SF Bay area, the long term yield can be comparable to a stock portfolio. And during that time, you have an anchor in one of the most economically productive area of the world.
They took a common English word and stole it's mindshare. Thanks a lot!
If plastic simply weren't an option it might work?
This is meant as more of a general comment than to critisize this editor: I fail to see the selling point of an editor that "can't do much", but is performant - there is an abundance of these already. If you made an editor that does "everything" and is "fast", I may be interested.

Regarding Jai: the idea about a "language for good programmers" is just about the worst thing ever to say about a language and it's community in my opinion (and I'm being paid as a C and C++ programmer for 20 years now, so I guess I'm at least not totally bad at it).
Not interested on flamewars here. Reading this thread it looks like merits of system is upon peoples arbitrary metrics based on varying perspectives. So a constructive discussion is not going to happen.

So until there is some standardised comparison probably making any statements about merits or demerits, including mine are just opinions without facts.
Just Use Dictionaries (Python)
> Now since a few years we suddenly have a number of promising options but still not enough

Well, but how do you recognize that there are still not enough options? I assume it should be a bit more specific than just a feeling or "personal preference", isn't it?

> Rust and D as attempts to a "better C++"

Rust has at least one big unique selling point which was not present so far in any other language (at least I'm not aware of any one): compile time automatic memory management. The unique selling point of D in contrast is not that obvious, at least not to me.

> whether that is actually true I can't tell though since I haven't used Jai yet.

Well then maybe someone else knows.
First of all, your analogy of "sending officials to your home without a warrant" is again you completely misunderstanding the feature.

The local scanning would've been enabled only if you would've uploaded the photos to iCloud anyway.

To complete your crappy analogy: You had already agreed to send the information of everything contained in your apartment to a company, and now you're getting into a hissy-fit when they are sending a robot visit your house with a list of known child pornography photos and checking if you have any?

There weren't any "hard decisions" it wasn't a "this has a naked person in it" -scanner. It wasn't an "abuse checked" it was specifically created to find known CP.

It checked your photos against a NeuralHash of KNOWN child pornography. So the only chance your sauna photos would've been flagged if they were included in a set of CP photos distributed widely enough so that they're added to the CSAM database.

And nobody claimed the system would magically cure the world of grooming, where did you get that idea from? Although the current filters in iMessage might help if the abuser is stupid enough to use that for grooming.
"For each part obtained, please contact the approved organisation identified on the ARC to verify
the origin of the certificate."

So yes, it appears that the issue is unreliable certification.
So you have to go out and install third party software rather than just right click and open with WordPad, particularly when using someone else's computer, or a corporate system where you can't just install random software

But the point is moot now that they added support for this to Notepad. Dunno if there are still supported versions of Windows out there that don't have it, but at least the newer systems should
a lot more seamless. you just tap your credit card and that’s it.
diner’s maybe. but i never had a problem with my mastercard or visa. even my amex is widely supported.
Well... one of the things groups do to bond is they develop memes and in-jokes that are objectively nothing and exist only to show who is in- and out- of the group. One of the signs people are doing that is one word responses like "blimpy". That sort of activity is purposefully low-content because it is supposed to signal group membership and nothing more. Which is what I think this is. That turns up in every group although it can be a bit subtle at times.

But this is a bit weird because this isn't what Emacs users have traditionally bonded over. The traditional stuff is things like https://xkcd.com/378/ leaning on "Emacs does everything and has long key combinations". This is more saying the package manager is bad or something? Which isn't a traditional joke. So either this is a new group of Emacs users I'm not familiar with or there is a good joke here that I've missed.

And I optimistically asked for an explanation of the joke in case it is the latter. Based on the comments in response I think this is a wave of Emacs users I'm not familiar with doing group bonding. Which, fair enough. They do their thing. Although even then the number of people involved seems high and it'd be interesting to know where they are coming from.
> so maybe their strategy is working

I don't think there's any strategy here, with Notepad.
ALL cloud providers are actively scanning all of your content right now, unless you specifically encrypt it yourself.

It's a cost of doing business pretty much, you need to give the authorites access to customers data or they can go "but think of the children, there might be child abuse material in there!" and that's really damn hard to argue against.

Thus: checking stuff on-device and keeping the cloud locked so that not even the hoster can access it nor can they create a backdoor.
you'd be wrong. I've used it for 3 years in a row with zero issues.
Just pull the power cord
"took a common English word and stole its mindshare" -- Thank you! I've been struggling to express what Microsoft did by calling their operating system "Windows". (I always called it "hijacking the word", but I prefer "stole its mindshare".)
Cool. Any idea where to buy these? Thanks
Jimmy Buffett (with Evangeline as opener) was my very first concert. It was wildly good and fun.
Currently the US says that nothing generated by AI has copyright at all, it is all public domain.
That's basically illegal under EU law, to discriminate like that. It's a single market...
phone numbers aren’t secure at all thou.
I forgot the first time, but it happened enough times I found it frustrating. Apparently it's a mistake I didn't learn from.
and multi-dimensional topological manifolds, maybe :)
I think there is a standard, so as long your bank’s app supports it and more importantly the merchant actually provides a QR code to scan (which is unlikely).

Then again, I don’t see much need for that when I can just NFC pretty much everywhere (of course the merchant still ends up paying up to 1% on every transaction)
I think this only holds if you definition of “internationally” resembles “outside the EU”.
Ask HN: How to get most out of iPhones' computing power?
Now that I switched from iPhone 6 to 13 Pro, I began wondering how can I utilize this thing's raw computing power as a programmer. What do you know of or tried?
This looks at least untypical for a "small and fast" editor in that it is a UI application, not running in the terminal like vi or nano.
The warnings never mean anything
I took

> will be removed in a future release of Windows

to mean it's not just unmaintained (indeed that's fine) but actively removed from your computer
That is interesting, I haven’t had the same experience with Amex. Possibly Germany supports it better on average.
> Now that I’ve told you how much I love this thing - the bad news.

> They’re long out of production, and getting hard to come by.

> I bought a set of two on eBay, they just needed new batteries and were as good as new.
An AI is a program running on a computer.

Minecraft runs on a computer too, but you don't expect the Minecraft NPCs to be able to do math.

So it's a very naive assumption.

Most people struggle with long multiplication despite not only having learnt the rules, but having had extensive reinforcement training in applying the rules.

Getting people conditioned to stay on task for repetitive and detail oriented tasks is difficult. There's little reason to believe it'd be easier to get AIs to stay on task, in part because there's a tension between wanting predictability and wanting creativity and problem solving. Ultimately I think the best solution is the same as for humans: tool use. Recognise that the effort required to do some things "manually" is not worth it.
Nvidia Shield TV Pro Review 2023
It comes from the first two terms of Newtons's expansion of (1+x)^(1/2) the generalized binomial series. https://en.m.wikipedia.org/wiki/Binomial_series
Jai has a few unique features that are quite interesting. You can think of it as C with extremelly powerful metaprogramming, compile-time codegen and reflection, and strong template systems, plus a few extra niceties like native bump allocator support or things like easily creating custom iterators. There is nothing quite like it.
How is that situation not funny? GNU is Not Unix…
I've seen people dart across a road to avoid using a much straighter pedestrian bridge. They just didn't want to have to walk up and down steps.

Not sure you can fix that issue with better design.
So interesting to see the early days of startups when even $20 is a considerable sum to lament about. I love these kinds of stories.
I would suggest lower casing the "M" as it stands for "meters" . By reading the submission title (the article one is correct, I don't know why you changed it) I couldn't figure out which mega units it was referencing (pixels, bytes,?)
> Traditionally, there has been a real lack of "better C" languages.

There never has been. There has been a lack of really successfull C alternatives for some time (after everything that wasn't unixish or Windows died, except for MacOS and Objective-C) - and still is. Rust is still less used than Pascal has been 30 years ago.
English version: https://www.spiegel.de/international/business/mit-economist-...
Note that the history.md is going to be removed soon from the repository since it's been integrated as-is within the website (see the /about page)
Most of what you wrote presumes anonymity.

In long lived immutable digital systems, guess what, that doesn't exist.

Talk to your actual scientist cousins, crypto-graphers.

If we're at the "totalitarian government" stage, "easily readable immutable data source" is EXACTLY what they'd dream of.
The major problem with logarithms is that there's no verb for "to take the log of" analogous to exponentiate

Logarize?
This is inaccurate. COVID solidified what was already growing in usage. The really stupid demonetisation exercise was the main factor
On your masks, Ready, GO!
Grafana not only excells in Dashboards, have a look at Loki. If you're only interested in logs than the Promtail + Loki will do the work for you. If you plan on expanding to metrics as well, you might as well consider Grafana Agent instead of Promtail.
What do you think about the M2 compared to PC options? I'd like to buy a desktop for Windows-based apps, and have been considering a Mac Mini with Parallels. What are better alternatives?
Thank you for your comment! It definitely depends! I had a friend test out the Getting Started tutorial (generating MNIST digits) on Google Colab and he was able to get nice results in about 20 minutes for conditional generation. Unfortunately I don't know much about hardware but I can tell you that for testing out bigger datasets I used a good gaming PC from my uni and got good results after a few hours. If I can find out the specs I'll let you know!
Didn't the iPhone OS also pioneer zooming in to website elements? I.e. double tapping on for instance the content of an article would zoom to the size of the div holding that content.

I think that feature made a huge impact on usability of desktop websites on the iPhone.
> you need to give the authorites access to customers data

At least some cloud providers require a warrant before doing so.
Already using webworkers for ticking (settimeout) to deal with throttling in inactive tabs. It works ok on the desktop. But on mobile, when the screen is locked, I have no idea what can be done.
I use Emacs casually, but oh dear it can get absurdly complicated for very little payoff. Yak shaving if there ever was. This blimpy plugin/module points it out in a deadpan way. It also reflects on a lot of tech in general. Who hasn’t spent a lot of time messing about with a system for no apparent benefit?

It has little twists too like indirectly bringing vi into it by supporting evil mode, furthering the futility of adding options and configurability to ostensibly “simplify” something. The video points out so many absurdities of IT life through the lens of an editor and its ecosystem.
Why not keep it simple? syslog: https://www.linuxfordevices.com/tutorials/remote-syslog-in-l...
The point is that many countries and systems across the world are softly moving away from cash or pushing against it. A possible next step is requiring digital payment for "sinful" products like cigarettes and alcohol.
Why tho? They've had decades of profits, time for them to go the way of the buggy whip.
Let me guess. Saturday night flyer?

> "chaining" behavior—in which the flies formed a line, previously only seen among mutants

Yep. Is not a real party until everybody is dancing La Conga
You will give it to them voluntarily for a massive discount. (-:
I this something like iDeal in Netherlands for online payments or Apple Pay for physical payments?

How does it compare to both?