skysight-inc/HackerNews huggingface dataset:
While true, I think people underestimate the bad network effects of being the top search engines causing adversarial development with people optimizing for your specific search engine algorithm ultimately making results worse.
I don't know what the usual speed difference of TypeScript programs vs JavaScript
programs.

But the argument that TypeScript generates a JavaScript, so
it must have similar speed doesn't hold in general.

If the compiler in question is a whole-program compiler,
it can make optimizations that a normal person couldn't do.

As an anecdote in [1] a raytracing program were implemented
in both Scheme and C. The Stalin compiler (a whole-program Scheme compiler)
produced an executable 45% faster than the one produced by g++.
The Stalin compiler produced the excecuable by compiling Scheme to C,
and then used a C compiler to produce the final executable.

The price of a whole-program compiler? Well, the compile time are huge.

[1] Scroll to Siskind's comment.
https://groups.google.com/g/comp.lang.scheme/c/NJxRsdMNKz4

For those curious about the actual programs and results:
https://web.archive.org/web/20071011073406/http://www.ffcons...
Those articles are good but from 2016 and 2020 -- I'm personally going with the (2022+) Ducati Desert X with optional rear fuel tank for this.

https://www.ducati.com/ww/en/accessories/ACC012304

Something like 350 mile range (lot of variables) once that's added on. Enough to get from Coldfoot to Prudhoe Bay (one of the harder routes to clear on a bike, historically).
That's the main reason we haven't adopted it at my place. We do have types of args and returns in docstrings though and it is enough for IDEs to do checks and suggestions from those types.
Lolwut: A piece of art inside a database command
I doubt there will be any privacy at all. Perhaps some rules over who can access the data but they conveniently exempt the government.

Still, the EU banks already have SEPA instant payments so the infrastructure for this is not hard to imagine.

And despite those drawbacks, it's still better than the VISA/MC duopoly on online payments
> The police didn't even want to bother trying to get footage from nearby cameras when I called back and noted the location of several nearby security cameras that might have picked up the vehicle.

If it's any consolation, this is, IME, normal. Unless they stumble on a crime in progress, the cops won't do anything at all to actively attempt to catch the culprit, even when you have things like video of the car with license plates legible and it's the same car involved in a string of crimes. Maybe it's different for murder or something, but with other crimes they're basically useless, and that long predates the "defund" movement and all that.
I've considered using D several times instead of Free Pascal because D has much stronger metaprogramming functionality that in some of my projects i really wanted, but this stance towards backwards compatibility is basically one of the two main reasons i didn't (the other being that Free Pascal has a great IDE and framework in Lazarus/LCL whereas the D community never seemed to get behind a single one to polish it - and amusing the only one in the wiki that doesn't look dead is actually written in Free Pascal and Lazarus).

FPC "solves" the backwards compatibility issue by simply not breaking existing code and any potential conflicting functionality is enabled with compiler directives - this way you can still use code you wrote more than a decade ago without any modifications while at the same time you can use brand new functionality introduced to the language on a per-source level (which also allows you to bring a larger codebase up to speed piece by piece instead of forcing you to upgrade everything in one huge step).

This is IMO the best approach for evolving a language without breaking existing code. Does it make the first few lines of a source file look weird with all the directives that enable functionality? Sure it does, but this is way more preferable than having code that you spent time on break. IMO that is a complete disregard for the time your users have invested learning and working with your language. We are not immortal after all.
> System init is a fkin hard problem, you can’t just throw million small tools at it

You can't do it the way that everyone did it before systemd?
Being “inevitable” does not preclude something from being immoral. Technologies and economies can be immoral too. The idea that all technological progress is inherently good is bizarre.

As for AI art specifically, the problem isn’t really that artists are being replaced. The problem that their own work is being used to replace them, and yet they are not getting credited or compensated by midjourney (etc).
Your guess is that the majority of Reddit users have joined since 2018? 1) I do not think that is correct, 2) the mere existence of LLMs isn't public awareness about how LLMs are trained, and 3) you know exactly what I'm saying and that 99.9% might be slight hyperbole.
> Plaintiff ... is concerned that Defendants have taken her skills and expertise, as reflected in [their] online contributions, and incorporated it into Products that could someday result in [their] professional obsolescence ...

It's been a bit surreal seeing modern day Luddites come out of the wood works basically coming up with any ethical/legal argument they can that is a thinly veiled way of saying "I don't want to be automated!"

Not commenting on whether or not they are right per se, but it's weird seeing history repeat itself.
There are many software libraries that can output just the text from HTML or run JS. For C# there's HTML Agility Pack and PuppeteerSharp, for example. I did use them for web scrapping.
Update: Dasher is super neat, but definitely for people with fine motor control. I'm working on the opposite, where people have very limited fine motor control.
I agree, for me the biggest value of the Apple Watch is how much it has liberated me from my phone. I use my iPad for content browsing, and my watch for responding to incoming notifications, and my phone mainly serves as a camera.

The (literal and figurative) friction of dragging my phone out of my pocket when I receive a call or text or other alert is gone, and I love it.
It’s not about automatically doing it — it’s about for many cases there can’t exist a proof. And it is not even some theoretically interesting but never happening case, but quite trivial programs will quickly come to this state. Sure you can restrict some things, like boundless loops, but the “beauty” of complexity and the limit of our very mathematics won’t disappear, unless you go to too trivial systems which are useless. See my other comment for an example.

I remember there being an analogy between Gödel’s incompleteness theorem as well, which is also only true to “expressive enough” systems (where you can basically do integer math) — but I may be talking completely out of my arse at this point.
Only 3? They should go for the whole 10, and settle for 1.

Now that the gates are open, we'll probably be entering the "free money" cycle soon.
What is a Kagi lens? Is it different from Google Scholar?
Waste in Software Development
> The problem with the moral panics is that people jump onto the bandwagon with zero evidence. Some are just paranoid and distrustful, others want to feed the panic.

Another problem: people thinking this is what's happening, when it is actually not.

> I'm not asking that everyone think better, just that they think. Especially in a day where everyone has a camera and there are child snatching clowns all over the place -- just a little bit of skepticism goes a long way.

Using specific, maximally absurd examples to prove one's broad beliefs may not be optimal thinking.

> Questioning a wild claim out of nowhere isn't the same as thinking something isn't dangerous. It's thinking a claim has no basis.

Where "thinking" = heuristics.

> Take the cinnamon challenge...

There is not shortage of instances of people thinking genuinely poorly, but there is also no shortage of instances of people using such instances to predict broader instances, and predictions about reality tend to be considered to be reality itself (as a consequence of evolution, culture, etc).
http://archive.today/1huES
That's a good idea. I find that the mere act of writing gives rise to a certain level of detachment. It's one of the reasons that keeping a diary can be great for mental health.
> Multiplying degrees together is not a meaningful concept.

Curious what you think of the d_theta * d_phi term in a spherical coordinates integral...
I felt the same way about query metering and ended up cancelling my Kagi subscription once they raised their prices. I still occasionally check their Discord server for updates and it sounds like they're trying to bring the cost of unlimited search back down to around $15.

Regarding search quality, I don't think it's a revolutionary improvement over Google, but for me it's been noticeable during the time I used it, where as Neeva and Brave have been very noticeable downgrades. I think Kagi shines once you lean into the tools they provide and start upranking and downranking different domains.

Keep in mind it's been a couple of months since I last used it and they've added the search result summarizer and some other AI tools since then that might help tip the balance their way.
LineageOS, GrapheneOS and others will mantain those apps or a replacement, so this is a non-issue.
Have you heard about the Substrait project yet?

In the following blog post, I give an introduction to the Substrait project: A cross-language specification for data compute operations (https://substrait.io/).

Then, we go through a hands-on demo of creating one query plan using Substrait and executing it in three different query engines: Datafusion, Arrow (Acero) and DuckDB.

If you have any question, just leave it here and I'll do my best to answer!

https://medium.com/@omri-levy/one-query-plan-three-different...
They are planning built-in support for that, see that other comment https://news.ycombinator.com/item?id=36518146
> Holography for example has been a hot topic since the 1600s

I can't figure out what you mean by this, unless you're referring to Pepper's ghost which is not a hologram at all. If you photograph a Pepper's ghost illusion you get a regular photograph, not a hologram.
>You don’t get to make information publicly available. But not publicly available.

But we do? Open sourcing something with caveats is common. This code is public BUT not for commercial use. This code is public BUT you must display attribution etc.

Sure, blogposts are unlicensed (that I know) but the idea of something publicly available being held to restrictions is nothing new.
Did you provide a backup email / phone number on your account? If you do, I wonder if Yahoo will contact you ahead of time warning about the coming inactivity actions.
Banana belt, what on earth are you taking about? Hogtown sure. Maybe even “the big smoke”, and not because of the current wildfires. But banana belt? First time I’ve heard it
I recently started writing reviews of each book I read. I found it helps me retain the contents of the book and often people give positive feedback about what they learned from my review.
There is a difference between learning from your work and copying your work.

You are entitled to control it's distribution and use. You are not entitled to control it's influence and effects.
It's not verifiable because you're trying to prove an incorrect spec! This program's memory usage is _not_ bounded above by a constant!

However, many modern formal methods _could_ prove that this function uses `f(x)` space, provided the loop body is simple enough.
25k rental homes over 8 years is a drop in the bucket when we welcomed 145k new Canadians in the first 3mos of 2023 alone.
Ever since covid and working remotely I drive about 20% of what I used to. I'm guessing this device wont recognize that and reduce my bill to 20% the original amount.
The same reason they're a good choice in airplane construction which also undergoes many cycles of compression. In order to conclude that the choice of composites rather than how they were integrated, interfaced with other components, or a myriad other possible flaws you're going to have to do better than this.
Gradual removal of port forwarding from the IVPN service
Mick West presents rational reasons for why his assumptions are true, he's not simply asserting his assumptions as correct.

> despite of any recent indications of the sun showing anomalous activity

The whole point is that the videos are not in fact the indications of anomalous activity that they're made out to be. There are mundane explanations for all of them.
Lots of lawyers use WordPerfect. Version 5.1. There's plenty of evidence online if you don't believe me, I wouldn't believe me if this was the first time I heard it.
AWK runs everywhere. Perl and Python do not.

Busybox has their own independent AWK implementation.

https://busybox.net/ https://frippery.org/busybox/

Also see the first edition of the AWK manual online here:

https://archive.org/details/pdfy-MgN0H1joIoDVoIC7
Well, I think the main catalyst here is that corporations need to pay creators, etc... Napster cut the middleman, hehe.
Type systems push semantic properties into syntactic ones, thereby making them decidable. Note that there are halting programs which will fail to type check, but that’s the trade off.
That's why copyright violation should be brutally cracked down on when the copyrights of Microsoft are violated, and lawsuits against Microsoft for intentional and widespread copyright violation should be laughed off. Because capitalism is bad.

edit: corporate LLMs have pulled the "one death is a tragedy, ten thousand deaths are a statistic" ploy off fully. If you want people to question whether you're even violating copyright, make sure you violate all of them at the same time. They'll just decide that you're an act of god and not covered under earthly laws.
It's not the wind that's damaging so much as the things the wind is carrying.

Hail. Rocks. Planks. Cows...
In Eiffel at least, the contracts are checked at run time, whereas in Dafny it seems that it's verified at compile time.

I think (but I'm not sure) that Eiffel disables recursive contract checking (so checking a contract of a function used for checking the contract), so you could put the check for the inverse in each of the function's post conditions, but it would be quite the performance hit to verify it at each call.
Make it taller by one Mac Mini height, no one would care. Also CXL memory modules don’t necessarily have to be the same dimensions of a DIMM.
I don't agree with the language you used but EV drivers are not paying the taxes that were levied to maintain roads. And obviously the EV's use the roads.
I guess I'm just marginally more sanguine than you are that issues related to infrastructure and logistics could be, eventually, worked around. There would still be ways to contact people over a distance, some of which would remain available even in the initial chaos. Further, there are many people still working today who worked before internet-connected-everything, so there may still be useful institutional knowledge to bring to bear on these new problems.

My point on the iPhone was about what would happen after telephony infrastructure and supply chains had recovered (however long that takes). In the immediate aftermath of the shutdown mobile phones would absolutely lose the ability to make or receive calls. But again, I expect this to recover somewhat after a few months.

Your point on hospitals not being able to order supplies is a good one, regardless. Without blood supplies or dialysis equipment (or a bunch of other things), people would absolutely die. Perhaps those first weeks would be deadlier than I anticipated.
Rich Hickey basically wrote this in response to one of the notable and respected contributors of his ecosystem. If Rich wanted open source to be nothing more than a license and delivery mechanism then he shouldn’t have accepted volunteers. But a language without an ecosystem of volunteers is a dead language.
Consider a different oil. Flax makes a very pretty but very brittle seasoning. Canola works great IME.
The Many Ways That Digital Minds Can Know
* cuts to AT&T in the background hastily dumping texts into ChatGPT *
I think C++ may get something like this with contracts, which hopefully makes in C++23!
This is a bit more like if Mr. Ford had stolen all their horseshoes and melted them down to create the metal for his cars.
There's no case to be made.

Just the fact that you are you and you are looking for a job.

And there's a person there to tell and that person has a name and now you know someone there.

And they know that you are looking for a job and so you have made it past the automatic keyword screen.

Anyway, if you are case making you have locked the gatekeeper into their gatekeeping role and cast yourself as schmuck off the street.

You want to have a cup of coffee with your new friend. Not an argument.
Having just bought my first Apple Watch about four months ago - I've been really surprised at how useful and unobtrusive it is. Hate to admit it, but I should have bought one years ago. Having said that, I'm still not sold on the Apple Vision Pro.
A win for meritocracy - https://www.aei.org/carpe-diem/new-chart-illustrates-graphic...
Regarding the private, offline payment, there has been a somewhat comparable, actually offline, system in place in Germany for the last 30 or so years: https://en.wikipedia.org/wiki/Geldkarte

Probably due to its security being based on the security of the embedded smart card, it had a much lower limit and other than my father showing me how it worked 20 years ago I have neither used nor seen anybody use it.
I suspect that you're probably not going to have a choice. At some point these things are getting installed into your car...Reminds me of AIS transponders on boats.
Apple has more than half of US market share.
Multi paradigm support, low level / C interop capacity, really any sort of native features
It still turns transactional. Maybe the parent has a job that is usually flexible but they have to put out fires every now and then, they'd happily sign up for this deal. Meanwhile it solves none of the daycare's problems and only adds new ones.
We got to stay actively informed to be eating good stuff way sooner than the official position of the government about various foods. There are so much bad stuff in the typical supermarket. One way is reading the "right" books.
The problem sounds more like "how do I deliver quality code when 95% of companies out there do not see quality as an objective, oversell poorly made PoCs, do not give space and resources for design and engineering, and pushback on any refactoring?"

The answer is very simple: you don't.
$15/unlimited would be acceptable to me, $25 just seems way too high. I never played much with the summarizer since it was metered as well and I get squirrely about using up limited things (see also: my inventory at the end of every RPG, so many potions that "I might need later").

The ranking and lenses seemed very cool to me but I burned through my free tier before I could really use them. Maybe I'll try again at the $10/mo price.
This killed Scala for me some years ago [0]. Coming from Java where despite changes to the JVM, compiler and JDK upgrades where painless.

[0] and the abysmal compile times.
Set targets like Canada dies.

It's all stat juking. They can write bigger budgets because they are allowed to assume $x per immigrant in the economic plans, so increasing immigration means more budget funds.

The problem is that that assumption is highly dependent on who is immigrating. A highly educated healthy person will make a net contribution, others will cost the government and the governments will turn to subsidizing their employment in the private sector to reduce the cost. This becomes wage lowering pressure. Businesses that rely on mass labor get a government subsidized labor force that keeps their local labor in check.
I wonder how long it is going to take the media to realize the large drinking water resevoirs for the Randstad in the Biesbosch nature preserve are 10km from this plant.
Do we think this is related to media platforms seemingly walling themselves off? Requiring accounts to view content, removing API access. It seems if they can silo data off and make it difficult to access at a large scale, then they are the gatekeeper of the data and can control usage and pricing.
Whatever your opinion about recent supreme court decisions, this has all underscored what has been true for a long time:

Legislating via the judicial branch is a bad idea.

If it only takes 5 out of 9 people to make laws for 600 million, it only takes one seat change to revert them.

(Edit: sorry, 300 - pre-caffeine posting)
As others have noted, Nebraska is largely rural space, and severe hail damage tends to be localised.

Other damage would likely have been limited to a few vehicles and structures (not many as those would not be densely clustered), and probably a fair bit of crop damage. Both within a reasonably small radius relative to the solar farm.

The solar array was most likely the most valuable property in the region. It's what happened to be in the bullseye of the storm, so to speak.
I agree that there is additional nuance, but so far public data scraping has very clearly been ruled as legal. It's possible that at the time of scraping, copyrighted data was incorporated into the training data because it hadn't been taken down by the host platform yet. But in my opinion, the core idea proposed by the suit that private data was used intentionally, is not true. The GPT4 browsing plugin is equivalent to web scraping.

And another complication is that OpenAI is not exposing any static data. A response is generated only after prompting. I'd argue that LLMs are closer to calculators than databses in function. The amount of new information that can be added is also limited, it's is not a continuous learning/training architecture.

I do hope this leads to more clear laws regarding data privacy, but I can't imagine the allegations of "intercepting communications", violating CFAA, or violating unfair competition law will hold.
That won't stop people complaining about it.
Interesting, I’ll do some searching on this. Thanks!
I think being conservative about evolving the language, and ecosystem growth are mostly different issues, the open source post was about the core language.

Comparing to other languages I think the stability of the language has served the user community really well and been an enabler of the ecosystem. I guess the continuous language additions and resulting complexity & library/framework chuirn in some otherlanguages can also be seen as vitality and growth, but for many of us it's the wrong kind of growth.

(And yes there are also disadvantages to the centralised development model of the core language)

edit: there's a good summary of the discourse surrounding this post in the reddit comments at the time: https://www.reddit.com/r/Clojure/comments/a0pjq9/rich_hickey...
> RCS only works with Google messenger

I don't get how Google can continue to call RCS an "industry standard" and do their campaigns publicly shaming Apple for not implementing it when this is the case.

Not to mention RCS messages are mostly being routed through Google's own servers anyway because no carriers have implemented it. No wonder they want Apple to get on board with this "standard," it replaces SMS with a Google service.