skysight-inc/HackerNews huggingface dataset:
This is not legal advice but that letter is long as hell and ain’t no one ever going to read it.

“Dear sir,

I represent Mr. Client. It seems you may have neglected to pay my client his last two weeks salary, which is probably an oversight. But if it’s intentional, it might be illegal.

Could you and I sit down to discuss? If you don’t have time for a conversation, perhaps you might save a few minutes by mailing him a check at his address in the amount of One Salary.

Best regards,
A Pile of Meat”
Wonderful language. Only complaints (so far) :

DynamicVector should be named Array and SIMD should be named Vector and dispatched to whatever SIMD/vector pipeline the host offers, similar to the Flexible Vectors proposal in WASM: https://github.com/WebAssembly/flexible-vectors/blob/main/pr...

And please make Optional[T] as ergonomic as Swift / Kotlin with a simple '?'
On the contrary, it's entirely natural. The technical definition is quite intuitive.

"There are many infinities! The smallest one is bigger than all the counting numbers, so you can't count up to it, but it's out there! We call it omega. You can make bigger infinities too, like omega + 1!"

Kids LOVE that, and it's good math too! (But gets tricky quickly, because addition of transfinite ordinals is not commutative, and standard transfinite ordinals don't allow subtraction)

It's easy to draw as a "number tree" too:

root
/ \
/ \
1,2,3,4... omega, omega+1,...

https://en.wikipedia.org/wiki/Surreal_number#/media/File:Sur... (includes more numbers like rationals and reals and negatives and backwards counting from omega, but you can ignore those)
It's certainly not a path forward that Microsoft will recommend. It'll work fine, though.

If not, there are other operating systems that do work. Microsoft isn't the exclusive owner of the PC space, that's one of the major points of all of the antitrust fines and lawsuits.
But not so much the bird shit from needing to park in the shade.
In resume, if we imagine than Plutonium is Potasium instead then nuclear plants are safe. This is bananas.
The OP clearly explains why the question is meaningful.
AI could create religions to control humans, warns Sapiens author Harari
Maybe not the right term... Just that a lot of other libs act like guardrails, i.e. let the model generate what it does (in full form text / GPT output), and try to then parse out what you want, error if output doesn't conform to standard format. As opposed to basically only allowing the model to generate into the already-built JSON form fields. Understandable why this guardrails/parsing approach is so popular though... can't do what this library is doing with OpenAI API. Need to be able to manipulate the token generation; otherwise you're forced to take full text output and try to parse it.
There are a lot of land mines in Ukraine. Maybe self-driving technology can be put to use to find the mines. It could take decades to find them all.

https://www.wired.com/story/russian-landmines-ukraine-psycho...
But nobody said that hacks cannot have precise interpretations. It's the unreasonable cognitive load that is the problem.
I don't know if it was from infiltration, or what, but one of the biggest talking points of Occupy was that they were a leaderless organization, and they would establish rules of order that required near unanimous consensus to make decisions. That's a great way to avoid making any decisions.
Does anyone have an idea if this is powered by GPT-3/3.5/4 under the hood?
Impressive. I think this has a real chance of being successful. Backwards compatibility with Python and what appears to be a strong focus on improving what makes Python frustrating to work with (let/var, no GIL, compiled) all looking promising. I'll definitely be keeping a close eye on this and look forward to getting access to the playground.

Reading the docs it seems there are still some things that aren't settled and I would like to offer my feedback. From https://docs.modular.com/mojo/programming-manual.html:

> Alternative: instead of using the `&` sigil, we could call this an `inout` argument.

I think you should do this. What makes Python great is its readability so don't compromise on this.
I gave up on Airtags. Under the guise of "protecting against stalking" Apple has removed all of its useful functionality.

For starters, any family that shares keys can forget about using airtags. You'll get spammed with alerts about an airtag following you and even if you mute them (for 1 day max) you can't use the airtag to find the keys. This also happens if the person next to you has an airtag and is riding in the car with you.

If a thief steals your car they'll be alerted about the airtag too.
I've recently realized that nobody under 30 has any idea what to do with an index.html file.
I've never watched Numberblocks, but I do like to watch a good game of Numberwang!
He has children (not sure about age right now) and discusses mathematics often with them. His tweets have had many interesting examples.

I do not think he means he would use symbols to explain to children, but that the notion of counting natural numbers that children have easily generalises to counting transfinite numbers.
The proposed solution to eliminate hallucination is to ground the model with external data. This is the approach taken with Bing Chat, and while it kinda works, it doesn't play to the strengths of LLMs. Every time Bing Chat searches something for me I can't help but feel like I could have written a better search query myself. It feels like a clumsy summarization wrapper around traditional search, not a revolutionary new way of parsing information.

Conversing with an LLM on subjects that it's well trained on, however, absolutely does feel like a revolutionary new way of parsing information. In my opinion we should be researching ways to fix hallucinations in the base model, not papering over it by augmenting the context window.
> recirculating results in lower <particulate> pollution < and higher non particulate pollution>

Again, assuming inadequate filters, better filters invalidate their results.

> sub detectable

This is very much detectable, we just ignore it. Come back from a long trip to a remote enough area and it’s shocking how much everything smells, even small country roads briefly stink of pollution.

But, I think the dead horse has been beaten enough at this point.
This would increase your fingerprint substantially, which is very bad from a privacy perspective.
> We will continue to mark HTTP as insecure.
Written by this guy https://www.facebook.com/leaveeuofficial/photos/a.8058551128...
Ya but the uninsured depositors were still bailed out, so I think it's a little more complicated than that.

The FDIC insurance fund is predicated on any one bank (and their customers) being small enough that if you wipe out the uninsured deposits, the system as a whole will be ok. That was arguably not the case, or at least regulators didn't want to take that risk for SVB or Signature.
I wanted to see the opposite - parsing JSON and YAML generated from LLMs. It doesn't happen much with GPT-4 but lesser models might mess up the format and then you can't simply parse it.
Yeah, good point. Anything that introduces friction from default mode to smartphone mode. It could be that you have to do a math problem or 20 captchas or some other task before you can switch over.
Sigh, now you've got me sitting here having an existential crisis over my long held belief in the perfection of the universe.

The belief was primarily based on a deterministic view of it, with the notion that everything comes from something, and becomes something else.

Every moment has two perfectly balanced sides, with perfect knowledge of the laws of the universe giving you a perfect understanding of all the transformations that took place from one moment into the next.

There is of course the debate over whether it is not deterministic, if the Everettian view is false then possibly not, but more to the heart of the matter, this idea that because a greater and greater understanding of the laws of the universe unravels all its dynamics, all its reasons for being and acting the way that it is. This idea that the fact that there is a reason for everything, an order to everything, is what makes it perfect.

The thing is I have a hunch that an inquiry all the way to the bottom will eventually leave us with a bunch of arbitrary laws and constants, which have no further explanation for their being just so, other than the anthropic principle.

It seems hard to me to ascribe such a scenario the quality of generic "perfection" even solely from the perspective of my biased human mind.

I agree with you that perfection is a notion alien to the objective reality, which simply is, without any judgements or qualifications.

So to go back to my original comment, I think it would be more accurate to simply say that I've seen no reason to believe that anything we experience cannot be explained by physical processes.

Maybe consciousness itself will be the most relevant concept left inexplicable? Not the process of sustaining it, but the actual subjective experience of it. Why not have a universe of automatons processing their worlds and inner minds in all the same ways, but without anyone home? Why are we home, and how are we assigned to our homes?

I don't know that these questions are enough to make me believe in the "supermaterial" or supernatural, my hunch is just that our current awe and inability to begin to approach the subject may simply be due to a lack of understanding of the processes at work, but that's admittedly based on faith.
My big bank employer banned CGPT pretty quickly. Even bing.com is blocked now.
We went from 25% unemployment in the great depression to less than 2% unemployment during WWII. I'd say that was a remarkable economic recovery by any measure, and it amounted to offering government jobs to people. It would be interesting to imagine an alternate history where that historically massive labor effort went to infrastructure building rather than infrastructure destruction, however.
EU proposes digitalising travel docs to make travelling easy, accepting comments
> increasingly banks are only lending to a different parts of the federal government anyway-—deploying their cash on treasuries and agency debt

This is incorrect. In 2022, the largest increases were in credit cards (+17.4%), commercial and industrial loans (+14.5%), consumer loans (+11.6%), commercial real estate loans (+11.3%) and real estate loans (+10.1%) [1]. Treasury and agency security holdings across American banks were majorly added between 2019 and 2021, and then spent down as balance sheets swapped. (They remain, of course, a commanding fraction of bank assets for obvious reasons.)

[1] https://www.federalreserve.gov/releases/h8/current/
There are many ways of definiting everything. Most of them are equivalent in the ways that matter, which is why math "works" so well as the language of science. Some of them are different in critical ways, which opens up vistas of new objects and concepts.
Thank you for this. We switched back to Tile specifically because Apple's anti-stalking features make it impossible to eg; share keys. For any household with several cars this is an obvious must-have.

Not to mention most people want to, you know, be able to track something that got stolen.
We use Sagemaker at work because AWS. I don't really like their style of APIs but it works.
Just a thought here... Why not just write a simple script that collects GPS location, host it on a private server, point an old Android phone at that page, and wire the phone under the dashboard?
Mathematics should be taught be mesmerization, not memorization.
I wonder if they are now regretting the pivot from textbooks to tutoring/homework help.
And those stalkers could just buy any other GPS tracker out there which would be more effective than an airtag anyways.

It's all just posturing by Apple and all to the detriment of 99.99% of their user base.
> they’ve reneged on.

Damn straight. Demand your money back!
> This is disgusting, offensive, and seems to be a hit piece against Bob to deflect from the cesspit of depravity that SF has become.

No, its an attempt to use the victim’s drug use to suggest that his bad behavior led to his death to raise an alternative to it being criminal action by the defendant (or, at least, to raise the possibility of it being a lesser degree of criminality.) The defense attorney is representing the accused, not doing PR for the City of San Francisco, and, has no interest in trying to diminish the image of the city as a “cesspit of depravity”.

> IMO they are trying to associate Mr. Lee's weekend partying with getting stabbed 3 times in the chest by a stranger.

Note that the “they" here is the stranger’s defense attorney, so, yeah, of course they are trying to paint anything but their client as potentially responsible for the outcome. That’s their job.
https://www.choicehacking.com/2022/01/04/what-is-the-cobra-e...
AirTags will report their last known location. This is very likely to be the point it was driven into a container. If the container wasn't moved or loaded onto a ship yet it could be found. Additionally, while containers do a really good job and of blocking RF, they aren't perfect and they only need to get a little Bluetooth to a phone nearby. So even an iPhone on a crane operator could expose the stolen car's location. It may not be perfect but it could help. I use them on a classic car and on hidden on two trailers I own.
You can accomplish a tremendous amount with lossy, low resolution, derivative signals. I'd be happy to take the opposite of your bet.

Even if you're right, continuing to invest in EEG/fMRI is tugging at salients near to the problems we want to solve. That's a good thing.
AI adoption in US hospitals is a hot mess, study reveals
I understand what you're saying, so thank you, but I still find myself disagreeing.

There are just as many odd numbers as even, so there's nothing more natural about either. They alternate. Yes you can extend to higher multiples, but there's still nothing more natural about multiples of 7 vs. multiples of 7 with remainder 3.

And it's just as easy to say that infinity is divisible by 7, as it is to say that infinity is divisible by 7 with remainder 3:

[1, 2, 3, 4, 5, 6, 7], [8, 9, 10, 11, 12, 13, 14], ...
1, 2, 3, [4, 5, 6, 7, 8, 9, 10], [11, 12, 13, 14, 15 16, 17], ...

So the entire idea I'm arguing against is that there's anything more natural, more default, more basic about the concept of "evenness" next to "oddness". The very first natural number, 1, is odd -- not even -- so it's just as easy to say that oddness comes first. But really they're fundamentally complementary -- they require each other, neither is more primitive.
Normally a slash indicates a folder on the web site and the server will look for and serve an index.html or index.php file in that folder. Without the slash indicates a filename, even if it doesn't have an extension. That said, there are many sites that rewrite URLs allowing anything to be anything.
They can send all their rounding errors to me then, I'll happily take them.
Do you also think women should not be allowed to wear revealing clothes, lest they get raped? I hope not. People deserve to be themselves without getting raped, or bullied.
I would vote for finetuning, prompt engineering, rather than only add domain specific knowledge.
Others are playing detective ,digging into the ethical conundrums of AI-generated content.
Palm has entered the chat: https://www.palminfocenter.com/news/6823/palm-webos-mojo-sdk...
But the seed itself should still be fully random though? And generated on-device during initialisation. Derived keys are a thing of course, and I understand the benefit thereof.

But a manufacturer-installed seed that they have control over sounds like a very bad idea.
Should be called the Lockhouse Law
Cantor's proof is a single attempt. Suppose you could construct a space-filling curve that did indeed map all numbers between 0 and 1 to all integers? Has there been a proof that such a curve does not exist? The fact that his proof leans on a specific set of decimal places at every juncture has always seemed a weakness of his proof, because you can always map any set of numbers from 0 to 1 with any set of decimal places to a set of integers.
This is pretty cool. I tried with dolly and then I tried with T5-base, both of it did not give me result. It broke for me. Has anyone tried it ?
> (which I gather has been corrected)

Indeed. In two different directions, even. First, a server can send a certificate with a large number of domain names in a field called "Subject Alternate Name" (SAN). If a server host a small number of static names, that's an easy solution.

Second, the client can use a TLS extension called "Server Name Indication" (SNI) to tell the server what name it's attempting to connect to. This is more recent than the SAN approach, and allows a single host to work for truly ridiculous sets of different names, even changing them dynamically.
After years of being subjected to property crime including multiple car breakins, getting threatened at knife point by crazy folks on the street, and seeing a woman on my street get forcibly abducted into a car with the police refusing to even report the crimes in all cases we left San Francisco. What's worse is bringing up how this is not OK gets you called some extremist nutjob.

Sad to see NYC is now in a similar state where they'd rather penalize the victims than the perpetrators.
Getting ML to reliably do something specific like flag an image as inappropriate is (a) already well known in the field (b) impossible to do reliably and not getting easier, which is exactly why these comment moderation places exist. Otherwise we'd already be doing it. None of the recent advances are in a direction that brings us closer to being able to do this.

I think you're probably in the majority though who misunderstands what gpt et al are doing and think of them as an advance in ML generally as opposed to just a different demo that works most of the time.
Not the OP, but the way I look at it - exfiltration of secrets can happen in any other possible way anyways, and you would need to lock down most of your SaaS software. I treat GPT the same I would treat any other Google search - don’t share your secrets, careful with copying stacktraces for weird error debugging and etc.
Reading between the lines, it sounds as if they're using mmap. There is no "append" operation on a memory mapping, so the file would need to be preallocated before mapping it.

If the preallocation is done using fallocate or just writing zeros, then by default it's backed by blocks on disk, and readahead must hit the disk since there is data there. On the other hand, preallocating with fallocate using FALLOC_FL_ZERO_RANGE or (often) with ftruncate() will just update the logical file length, and even if readahead is triggered it won't actually hit the disk.
Sure, I was just being sarcastic on parent’s claim not meaning too much ad absurdum.

Nonetheless, thanks for the paper/video, will look into them!
That could work fine, but dedicated GPS tracker hardware isn't that expensive and will be more robust and reliable than an old phone (simpler software, heat and vibration tolerant) - plus there's usually IOT-NB/LTE Cat-1 support so you can use less expensive cellular providers and most trackers have at least one dry contact output for remote immobilization. The main downside to hardware GPS trackers is that they're mostly sold "to the trade," so you get a reference manual for their often AT-based communications protocol and you're left to your own devices. There are open-source backend servers around but I feel they're often too genericized to work well with the features of any one tracker, so big incentive to write your own software.
Yep, not a fan either. A big shift is that where "routing" happens has moved. Routing has traditionally been done within the SPA. Now it's an external concern and part of a build process.

The various hybrid/mpa/spa innovations are great but not everyone needs them. It's sad to see the traditional SPA approach be discouraged so much.

These meta-frameworks crossing into the server-side will raise a lot of architectural questions for teams. For us, we have React SPAs served by ASP.NET backends and using Vite locally. We'd rather not adopt another dependency like Next or Remix. We're definitely not going to adopt any Node on the backend.

The friction we're experiencing with these new static-exports is that we'd have to configure the backends with the front-end framework's routing system in order to serve the split out static files. e.g. ASP.NET needs to know how to serve NextJS's folder/file/path structure. As opposed to today where we just have to serve an index.html file regardless of whether it's Ang, React, Svelte, etc.
The constraints are the political power of the ownership class. By discussing alternative solutions, we slowly build consensus, and eventually power to dismantle upper class power.
> Yes and forcing people to show ID has really stopped underaged drinking and making drugs illegal have stopped people from smoking weed.

> Past-year vaping of marijuana also remained steady in 2020 following large increases in 2018 and 2019.

I've got a guess about why the number might be rising, and it rhymes with "egalization", in which case, yes, making drugs illegal reduced use of drugs. I guarantee fewer people in general, including fewer kids, smoked when it was illegal, and less was consumed overall. I'd further bet there's a lot less pot consumption by kids now, than there would be if dispensaries didn't verify age.

But I also suspect it's just kinda hard to get clean data about teen drug use. I'd also guess the real figures are extremely uneven (that "8% of eighth graders", if accurate, probably means 20% some places and 2% in others) and high use correlates to places where it's easy to get, which supports the notion that carding or outlawing should reduce use (since they make it harder to get).

(Nb. I'm pro-legalization, I just think carding and outlawing almost certainly strongly curb use, though of course they don't stop it completely, and I think "this wasn't perfectly effective, so it's necessarily useless" isn't a strong point in most situations)
How are degoogled phones nowadays?

Last time I tried that, it was very limited. No paying by phone, no banking apps (and most banks require app as second factor), no proper maps with navigation and routing, no streaming music, no "work" apps like Teams or Slack, no utility apps like taxis or public transport. Even messaging apps wouldn't work well due to lack of push notifications.

Degoogled Android was basically touch display dumbphone. Which is perfect for some people who want it that way, but I like the ability to use public transport, get a cab or message people by something else than a text.

edit: I think there might be a difference between degoogled as in not registered to play store but still having play services install, and degoogled as using shim play services? I honestly don't remember.
Drone tech, satellite tech, phone applications for war (I assume), and bringing war to social media are actively changing the state of warfare as we know it in Ukraine.

The idea that violence isn't necessarily bad and can also be a force for good is something I think will change the tech landscape. A lot of those people at google who said no to killer robots are probably having second thoughts, being one of those types of people, it certainly modulated my opinion.
>Er, well, this fails because there is no way to compress cryptographic material, and we're talking about random or pseudo-random keys being compressed (which, you can't) then encrypted. So this particular idea fails immediately.

Excuse me, but wtf. That's BS. Cryptographic material is nothing but data. A Huffman encode will work on a number that happens to be a public key just as happily as it will a anything else.

Cryptographic material doesn't have a magic "immune to compression" characteristic.
Future of Jobs: These are the most in-demand core skills in 2023