skysight-inc/HackerNews huggingface dataset:
I thought the same thing. Then I went back to Google and was _incredibly_ surprised how bad the results were. I tried out Bing, Brave Search, and Duck Duck Go. Nothing is better than Kagi, so here I am paying $25/mo for search.
Every time aliens come up on HN, someone brings up this idea, and then references that one sci fi story, and then the discourse “well that’s dumb as hell but the story was fun”.

My dude if there is some aspect of physics that would allow for teleportation by low tech people, the earth would be annihilated by some dudes whim or accident with a month
It ultimately comes down to being able to go to a physical location and get coins/paper or not.

I just don't see what the value is of having my account denominated in a way that getting coins/paper is gone. Even if we went to all digital money tomorrow we would probably quickly get a bank that denominates in gold and gives you back paper slips for proof of deposit. Or doesn't even bother with gold and gives paper slips of electronic currency deposits.

We can't even get rid of useless pennies in the US.
> the vast majority of people use on a day-to-day basis rather than plugging in.

For last 100 feet yes, but for the entire rest of the network it's either fiber or copper. Notably, Ethernet framing sometimes with additional encapsulation is used everywhere along the path.
Whew. You scared me, I hadn't signed into my really old yahoo, and only two were in my switch list, but it worked fine and all the spam is still there.
Is the parentheses comment a joke?
Stabbings at University of Waterloo send 3 to hospital, 1 person in custody
Explaining how to use a Javascript Promise is simple. Explaining how to write idiomatic pure code using Monads is hard, and impractical in most cases, despite what FP purists will tell you.
You can always loop through the fields, but it’s a little messy, especially for one-liners
It aggregates search results from engines that are powered by AI. Google creates a BERT embeddings of indexed pages.
Just to say thank you for your efforts! It is kinda very sad that MS hid the Orca, I wanted to test it from the start on. Now I found out that guanaco 30b has the spatial comprehension to some limited extent though this is the best 30b model so far. Can you add this model for the list of your training? And it would be very nice as well if someone would sponsor the MPT-7b (better then LLaMA-13b in most of the cases) and RWKV (I would really love to see how it will perform after such tuning). The RWKV should be the cheapest to tune, isn't it?
Interesting find! Lots of information about the winding and the materials used. I wish there was more information about the epoxy used to adhere the titanium endcaps to the hull.

I also wonder what changed between the Cyclops 2 and the Titan.
It is not gibberish if you studied physics at school. Water surface remains on the same level of potential energy of gravitational field, othewise it won’t be the state with minimum energy. This means that if the field has complex form, the water surface won’t be ellipsoid. If the pull is stronger, you can expect a bulge, if the pull is weaker, there will be a hole and the depth of that hole can be bigger than the tidal amplitude, because why not.

EDIT: also, in case of Indian Ocean, it is not a hole, just slightly different curvature.
Well this is certainly a passionate response, bordering on off-topic. My comment was about laughing at those with more money than common sense, and you've rambled on about people trying to steal your money.

> No. That is hypocrisy. I guarantee 99% of people if they had the same amount of money they would something adveturous. Maybe a balloon trip in the alps, a visit to antarctica, sailing the pacific whatever.

Yes. This is why lottery winners, famously, go on arctic expeditions and other risky endeavors.

> Don't get me wrong, I get the sentiment that if it was I, I would give a lot more and help people but the idea that simply because you have lawfully earned money you owe people shit? How ridiculous! That is theft!

I never suggested anything about this, and I'm not sure why you're bringing it up.
With that being said, are you sure that it was lawfully gained? I've personally earned a lot through the stock market and part of that was definitely facilitated through both wage theft and slave labor. I don't directly see that, of course, but pretending that it doesn't exist is foolish.
The guy seemed to believe his own dogma. He was both sincere in his belief but also blinded by it. He was also a tenacious salesman —looks like he would lean on his (potential) customers pretty hard.
Same way you build reliable services on top of unreliable hardware - redundancy.
Having worked in the insurance industry, and spent a fair amount of time chatting to the underwriting team about what goes into their models, they do on the whole use this data in a straight forward way - if you drive well, you'll get a lower rate. If you drive badly they're going to charge you for the privilege.

Don't get me wrong, there's definitely a bit of "but we can charge more" baked into the pricing models, but that tends to go in as a completely separate "we can charge more" line item within the internal model. This if nothing else is because in the UK the Financial Conduct Authority have an extensive list of things you can not price on, regardless of whether your models show they're indicative of a greater risk. The FCA don't care if you're charging more than you have to, but they will tear you a new one if you're shown to be breaking the rules.
I'm from the North. I grew up in Belfast but my mother is now living nearby in a town on the County Down side of the Lough.
For the specifics, as someone else observed, walking nums to find the values we've discovered and identify their indices is very affordable, it's N operations, and if we can't afford N we're in trouble since we definitely need to do at least N comparisons.

To your general point, sure, one thing that's nice (but takes a colossal effort) about Advent of Code is that it has specific inputs for players, and they have specific answers, so although it's usual for participants to write code which could (you hope) solve the problem in the abstract, the actual test is whether you solved the input you actually had. Sometimes not all conceivable inputs are even tractable (and some people find this situation frustrating if it happens) only the inputs given to real players may be suitable.

For this exercise the provided Go solution gets to handwave a bunch of problems. For example, Go's "map" hash table allocates whenever it wants to and has amortized table growth on top. That can really add up for a problem like this.

If I attacked it in Rust I would make HashMap::with_capacity(nums.len()) which does a single allocation up front, I might not need all this space if I exit early, but it won't hurt. I don't know if there's even a way to write that in Go.
Google started becoming an answer engine from ~2015 with the introduction of "People Also Ask", and arguably earlier than that [0]. Mojeek.com is a (information retrieval) search engine, and we resist the temptation to also become an answer engine. So you might say we do not compete with Google. afte all we have a very different business model and proposition.

As for the index; this underpins mojeek.com and our API; which customers use for search and/or AI. Common Crawl is ~3.5 billion pages and underpins LLMs. Our index is ~7 billion. Who knows what (else) Google, and Bing, do with their index ;) ?

[0] https://blog.mojeek.com/2023/05/generative-ai-threatens-dive...
IMHO Common Lisp is the modern one. Using the JVM is nice for certain uses, and clojure is a fine language, but going bare metal from higher abstractions is some power of Lisp that we should not give up. Same with macros and code generation.

Luckily all of them can coexist, so we do not need to choose.
Code unambiguously defines 'what' it's doing, so I'm not sure what value technical consistency provides.

If anything, consistency hurts the capacity for developers to generalise their understanding of a system. Differences in representation ie. multiple perspectives, help people to develop their understanding of the underlying concepts of the system.

This is important because code doesn't effectively record concepts, intents and oughts. These are things recorded within the context of the system. So the more context, usage and interactions available, the more opportunity for learning.

I think consistency is one of those things that sounds appealing and offers the illusion of making development 'easier' but boils down to someone deciding by fiat that their poorly communicated representation of the system is correct and nobody else should add their own representations of the system to build up a useful level of context and understanding.
ha ha, thanks for that, made my day.

if you draw a Poincare disk model [1] where one dimension is nerdiness and the other is humor this guy is floating somewhere outside the boundary.

[1] https://en.wikipedia.org/wiki/Poincar%C3%A9_disk_model
It doesn't. You stick to the version of those libraries at work with that version of the compiler- like every other language.
> The chances of it being cloudy and windless everywhere all at once is slim.

Well. That statement means every location needs to generate all power needed through both methods.
Something makes me think this amendment was introduced to torpedo the bill it's attached to rather than a actually limit criticism of the DPC, if I am wrong however Ireland should get back to it's roots to solve the problem in my opinion.
I also wonder what changed between the Cyclops 2 and the Titan.
I have a lot of bad things to say about my experience with that agency indeed.

However, this doesn’t excuse never answering official inquiries and being wholly uncooperative. And even a rejection would have been better than the radio silence and apathy I have experienced.
right, you might get an "actually, how about X?"
Is this specific to a genre of videos?

Upvotes/Downvotes never told me anything useful. The thumbmnail image, subject line and number of views are usually enough for me to know whether I want to give it a shot or not.
You're reading a ridiculous mischaracterization of reality (~20 deprecated modules [1] out of the ~300 PSL modules [2] is "most"?). Of course you find it odd.

[1] https://peps.python.org/pep-0594/

[2] https://docs.python.org/3/library/
I'm disappointed with the lack of notification granularity, at least as it pertains to my iPhone / non-Apple Watch setup (Garmin).

On my watch I'd only like notifications about meeting reminders, scheduled reminders, and possibly google maps notifications (directions) while biking. I don't want my watch to buzz when I get a message. I do want to see a badge / bubble on my phone though. With iPhone / Garmin, it's all or nothing.
For an input array of values I[], create an array A = [ 0 ... n ] so that n = len(I). Sort the indices in A based on their corresponding value in I. Now A is the mapping, A[n] is the index in I of the n+1:th largest value, and you can binary search in the same way, by comparing I[A[i]].

This is strictly more space efficient than a hash table. You're not going to win any awards for being cache efficient, but then again, when the competition is a damn hash table it's not too bad ;P
Full self-driving connected vehicles/roads/signals will solve this problem around 2040.
Thank you for this - I've been meaning to finally take the dive into hugging face but hadn't looked into how.
> can you trivially determine somebody's home address

Well, your phone has already done that - Waze "helpfully" auto-populated my home and work address for me.
AI-Crafted Daily Digest: Exploring Latest ML Developments
> people who consent to tracking tend to be safer drivers because they aren't afraid of the insurance company seeing their driving habits

Is that true? The handful people I know who have/had these devices are definitely wouldn’t fit that category. And most removed it after a while because their premiums went back up (because of their driving).
They just chose it because it offered cheaper rates and they all said the companies promised it would not raise rates above what they were already paying. So it was a “what do I have to lose” decision.

Obviously anecdotes aren’t data. I think it makes sense that the drivers that are egregiously unsafe (and know it) will avoid them. But it would take seeing actual data to make it clear to me that the majority of people who consent are safer drivers.
thanks to oracle for this mess
It's a good question. Right now AI companies are using the data under "fair use" and they may get away with it so Reddit or whomever can't claim it either. (Getty Images and the like are going after generative AI not for using training data, but for output.)

This proposed policy would say "well, if you're going to use public data for this use, you have to pay a fee because it's really all our data". Basically it's a mandatory licensing fee.
Alito’s Wife Leased Land to an Oil and Gas Firm While the Justice Fought the EPA
have been burned out by this Yahoo policy almost 5-6 years ago when it was (first?) introduced...
https://help.kagi.com/kagi/features/lenses.html

or just

!help lenses
> as the insurance companies aren't in business to charge people LESS money.

But the law is, auto insurance companies can only make money on scale. If they charge premiums that are out of line for the risk being covered they have to refund them. This happened when people drove significantly less during covid.
> What got us there is burning fossil fuel not "innovation"

Burning fossil fuel IS _the_ thing that brought us here. There is no innovation without fossil fuel, there is no growth without fossil fuel: https://www.researchgate.net/figure/The-correlation-between-...

Plastic, transportation, medicine, food, &c. every single thing that allowed us to live like we do today is 100% fossil fuel based. Fossil fuel were a miracle, finding alternative will be extremely long and hard, if not completely impossible

> I don't understand how so many people got convinced that the solution is wallowing in sorrow and selfpity and advocating for a return to the dark age.

Nobody is advocating for that, it's not a solution, it's the reality we'll be facing soon, even if you don't want to. The choice is to be realistic and prepare for what's coming VS continuing business as usual

> I quite enjoy hunger being a solvable issue despite the population rising

Are you sure about that ? That as many people suffering of hunger _right now_ that there were inhabitants in the whole fucking world in 1800

> having eridacated or significantly reduced the impact of most of the nastiest diseases

All fun an games until bacteria started becoming antibiotic resistant: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4378521/

The very thing that allowed us to live like we do now is coming to bite our asses
This is pretty cool!

I do have a nitpick I think is important. An empty byte array getting converted to zero seems like a bad edge case that should probably produce some kind of error invariant.

This isn't a minor concern if the intent is to use this in serious applications that require this degree of formalism. The two proofs are easy to break: `ToBytes(FromBytes([])) != []`. It's an obvious example of the issue: FromBytes handles inputs ToBytes can't generate therefore they are not true inverses of each other.

It's a simple case but it was quick to find in this simple example, and it hints at dangerous oversights that could lead to severe bugs in more complex scenarios, like in cryptography. It's critical to account for such edge cases.
Having Fun with Hash Collisions
TailOps – less cloudy DevOps in the age of ChatGPT
Baseball-sized hail!? Did it have no effect outside of the solar farm? Does everyone in Nebraska park indoors? Was nobody caught put in the street? Are the houses made of stone?
> With iPhone / Garmin, it's all or nothing.

time to upgrade to Apple Watch ;)

it has all that granularity, which is just awesome
https://support.apple.com/guide/watch/change-notification-se...
Trying to write Objects in Python is already bad enough, I can't imagine trying to force any other kind of complex crap through that language. If you want something that isn't Python, your best bet is not using Python.
712 is another way to refer to a 717-200. Though it’s a bit odd they just didn’t say “717-200” in the article to reduce confusion.

https://flightaware.com/live/aircrafttype/B712
A tangential question...but does anyone know what software is used to generate legal documents that look like the PDF linked in the article? I’ve played with LaTeX templates a bit, but I seriously doubt law firms are futzing around with LaTeX for documents as complex as this. They must have some software that produces this formatting.
This is full training right? Not fine tuning. Fine tuning must be cheap like those mentioned $2k ...
Or just a sampling of areas coupled with batteries and a transmission grid
There’s an elegance to a language that works great for beginners but also scales to very sophisticated use cases.
> IBM lawyers would have a hard time

Never underestimate your enemy. (c) Sun Tzu, The Art of War
Why not? I've worked on systems like this as there is a demand. We offer it on personal lines and people like the discount, but business lines? They actually want these devices on their vehicles.
Brain work is the most privileged about working conditions, imagine how many kitchen workers would drop dead from hwat exhaustion if their managers weren't freezing them towels every summer.
Small Is Beautiful
the OG Pebble Steel was in a class apart, really loved that Watch. Unfortunately it had issues with connection cable and had 2 units that broke over time. My favorite long battery smartwatch owned.
The difference is that most other language are backwards compatible to a fault (it's hard to have the stability cake and eat improvements)
Hey, they were the winner of the 2018 Best Blog Post, so the depth of what that says is as deep as the TFA subject itself
There does seem to be a lot of poor choices made along the way here, but it’s also worth noting that you can find an expert who gave (or was willing to give) any innovator the advice to not create their product.

If every innovator listened to expert advice to stop, we’d have a lot less new things in the world.
It's certainly going to be interesting to see how it all pans out! I suppose a useful tweak to the proposal might be that the licensing fee is only owned if the result isn't open source.
"Dafny’s ability to statically check critical properties of your program goes well beyond what mainstream languages can do (that includes you, Rust)."

Ada supports Design by Contract preconditions, postconditions, and type invariants that were pioneered by the Eiffel programming language:

https://learn.adacore.com/courses/intro-to-ada/chapters/cont...

The SPARK subset of Ada also does static proofs / formal verification:

https://learn.adacore.com/courses/intro-to-spark/chapters/01...

===

Rust has Design by Contract capabilities via the contracts crate:

https://docs.rs/contracts/latest/contracts/

Maybe one day Rust will have formal verification too?

Work is under way: https://alastairreid.github.io/automatic-rust-verification-t...
> Rush sought to reassure Stanley that the issue with the noises was being looked at and suggested that it was improving, albeit with a caveat: "Our analysis of the past dives shows a definite reduction in acoustic events, but only having data from ...

Am I just too uninformed or is this actual nonsense?
"Usually one understands a project poorly at the start and much better at the end" <--- this is 100% it, totally agree.

It also happens at the product level - building features too early or too deeply for a poorly understood workflow; abstracting things that don't need to be abstracted for probably YEARS; over-engineering for major scale despite having no users; knowing that ONE DAY you'll need, say, multi-language support, so on Day 1 you over-complicate everything by insisting on a language framework etc.

Beginners lack the foresight of 'what this will look like at scale' or maybe better said 'why this won't work at scale', but that's ironically why they are better early on - speed matters a lot more than anticipating potential scale issues years later.
Liking a Person as a Function of Doing Him a Favour
I don't know the numbers but I can probably agree that "modern day" can be replaced by "batteries included" and it would be a better description, from the (valid) point of view that you take.

However, Racket is also a modern language in that it has many new and fancy programming language research-grade features since it is also a programming language theory research platform. From that point of view, "modern day" is a valid description :).
The titanium endcaps weren't connected with epoxy, but bolts.

https://twitter.com/Alphafox78/status/1671872409861869568
I think today’s LLMs more than fit the bill for the latter — most of what I might ask from Siri are easily answered more intelligently by ChatGPT. And I say that as someone who is overall quite skeptical of LLMs, and think they are way overhyped — this is a niche they could easily and competently fit.
Our company made the switch to QT, dev time and code readability has improved, but the code runs significantly slower in debug mode. (Yes I know we can run headless)

Sad because I learned so much tkinter, and despite that, I'm fine with moving away from tkinter. I'm not sure who the problem is.
Well, it was public for anyone to read - that's inherently what you have done when you put something on the public web.

As far as GPT using it, that could arguably be considered "transformative use", and therefore be allowed under copyright law. (Note well: IANAL. And as far as I know, no court has ruled on this question so far, so your actual mileage may vary.)

So it may well work out that it's "public enough" for this use.

As for distributing wealth, I could argue that we (re)distribute wealth far more after the industrial revolution than we did before it. A huge increase in production enabled (and, in at least some eyes, justified) an increase in distribution. AI may do the same.

But personally, I don't buy the "we're all going to be unemployed" theory. The industrial revolution didn't make people unemployed; they just worked in a factory instead of on a farm. COBOL didn't make professional programmers unemployed (despite that being the design goal!); it made them COBOL programmers instead of assembly programmers. In the same way, AI is a lever that will make those that use it more productive, but the result will be that we produce more, rather than that fewer of us produce at all.
I signed up.

How long will an alias last before the root domain is rejected by online signups? My guess is not very long.
All new cars have a blackbox that records what happened before a crash. So it would just stop the constant monitoring point.
The 19 year old kid on the sub is the one that gets me. Everyone else should have had the wherewithal to make their own choices - but the kid was just going because his dad wanted him to. Stories are out now that he was freaked out by the idea but went as a Father’s Day “gift”.

I feel so horrible for his family. It makes it hard to be cynical about this tragedy.
In my sample size of one, an attorney I talked to said that Microsoft Word was the most important software he and his colleagues used. So my guess is they're just really good with Word.
It’s not perfect, but it at least gets you thinking.

Because the adjusters have to price the risk objectively - house burn down? Risk relatively low. Submarine go pop? Probably not insurable at any price - either because risk is too high or they can’t evaluate it. And if they can’t, you likely can’t, unless you’re Cameron or someone similar.

That doesn’t mean uninsurable risks aren’t worth taking sometimes. Just be aware and realistic.
A Roku is what? $50? Cheaper than a new tv and probably a better experience than lgos or tizen…