skysight-inc/HackerNews huggingface dataset:
The Blind Spot: Lectures On Logic by Jean Yves-Girard

For context, Girard is a mathematical logician, philosopher, and co-discoverer of the type system System F (Haskell, ML, etc.). The book is a monograph on proof theory, and I was interested in learning more about affine and linear logic to deepen my understanding of Rust and other language ecosystems focused around the ability to explicitly model resources. However, along the way, I learned some other great things: (1) continental philosophy is deep and cool; (2) mathematical writing can be simultaneously rigorous, clear, and hilarious; and it reinforced (alongside Alain Connes's Noncommutative Geometry, and various French philosophers) (3) French academic writing is both frustratingly and delightfully idiosyncratic. Girard writes polemically about other aspects of knowledge, mathematics, etc., and there's heaps of dry humor and anecdotes throughout the book. It's a hard book to read even by pure mathematics standards--a topic not exactly known for being a brisk read--but it was worth it just for the side discoveries alone.
If you respect the license. You cant steal open source code and just implement it in your products. Nor can you sell it modified or not without attribution and in some cases without open sourcing your own product.
"I correspond with lots of people online, without stepping out of my room. That’s the best I can do for now. I am still a hikikomori."

Did the article end abruptly ? Or do I just not have access to the complete article because I am not a subscriber of the Guardian?

Japan is a a fascinating country and so are its residents.
Not the original poster, but I think they talked about DNS search suffix lists. Often seen in company networks where host foo.internal.example.org might be reachable via foo because internal.example.org is the search suffix. That will not happen with `foo.`
I know you're OT but I'm still rebutting the fully false insinuation here. I have been active with sexual assault survivors for more decades than most here have been alive. Actual sexual grooming is properly defined by those who've experienced it.

The overwhelming sexual threat to children and women has always been straight men. That is physics-level reality.
Also cute is the .sh domain, for when you want to curl your shell scripts
My intention was in supporting them and their voice reach the audience with less hinderance. I didn't mention "enthusiasm", only pointing out the frequent and unusual use of punctuation can misread or be distracting. Hopefully it's of use to them.
AI-generated research paper fabrication and plagiarism
I am both consciousness and have a brain, and alterations in the brain (chemical or physical) correlate with changes in consciousness. Which suggests that our "bunch of electrical pulses" are at least sufficient for consciousness. Plants may be also be conscious, but that would require the existence of an additional, very different, cause of consciousness than in humans. The theory "X is only explained by Y" is simpler than "X is explained by Y, and X is explained by Z". Ockham's razor suggests it's more likely for there to be fewer causes than many.
"I'm secure because I don't use an LLM"

...

"What do you mean we got hacked via our third party vendor because they use LLMs"
Stedi EDI Catalog
Truth is a defence here, but you have to prove that what you said is true, not the other way around.

If you made up 100 negative reviews that’s going to be tricky.
I think you are misinterpreting that line as being the literally true expectation of the author, rather than the author saying what they have to say to minimize repeating of the prompt, which is not really useful output.

Just because that line reads as a person being adamant does not mean that the author really truly believes that the prompt MUST not be repeated and any leak is a security incident. It could just be that the bot has a tendency to talk about itself unless instructed not to, and that's part of the instruction.
Safari is shipping leading-trim and margin-trim [1] in current versions.

[1]: https://www.webkit.org/blog/13966/webkit-features-in-safari-...
'In an example of Brandolini's law [...] "It took this guy 15 minutes to make his video and it took me three days to fact-check."' [1]

[1] https://en.m.wikipedia.org/wiki/Brandolini%27s_law
I think you may be missing the point. This is training as “plausible proof that we have compliance in place.”

So if the company gets in trouble they can say, “100% of the employees will get harassment training” or “100% of the employees will get training on insider trading”

Then the second time they get in trouble they say “This was a rogue employee. 100% of our employees are trained. It’s not our fault.”

That people actually change behavior requires a lot more than a training class.
TTC Buses and Streetcars Inside Toronto Transit's St. Clair West Subway Station
"The idea of opportunity costs presumes the fungibility of human experience: all our activities are equivalent or interchangeable once they are reduced to the abstract currency of clock time, and its wage correlate. But, against the ever-expanding imperium of economics, we do well to insist on what we know firsthand, namely, the concrete heterogeneity of human experience - its apples-versus-oranges character. From an economistic mind-set, spiritedness or pridefulness appears as a failure to be properly calculative, which requires that one first be properly abstract. Economics recognizes only certain virtues, and not the most impressive ones at that. Spiritedness is an assertion of one's own dignity, and to fix one's own car is not merely to use up time, it is to have a different experience of time, of one's car, and of oneself." - Matthew B. Crawford, Shop Class as Soulcraft
> When we inhale cold air, these structures warm it, and thus become colder. When we exhale hot air, it heats these structures, making them warmer again

How so? When you breathe in, your nose tissues will cool down to a temperature T_N and the air you inhale will heat up to a temperature T_A. Physics (the second law of thermodynamics) dictates that T_N >= T_A.

Moreover, the nose tissues are connected to a large heat reservoir (the body), so we might as well assume they go back up to body temperature very quickly, so T_N = 37°C after a second or two.

Either way, when you breathe out you still have T_N >= T_A. In this situation, there is no way the air could transfer back heat to the nose without a violation of the second law or, well, a heat pump. Hence my question.
Fashion operates without any “intellectual property” protections and it’s suffering greatly because of it!

/s
It is more than time for many people, preferable the majority, to talk with politicians. Really talk with them. Have a very large strike. Express concerns loudly. Everywhere. Everybody.

In Europe some people are gluing themselves to roads. This won't work because this riles up people, but we should rile up politicians, not people.

About five years ago I switched my attitude from: "We will find a solution" to: "I hope we will find a solution". I am not very hopeful.
I've said this elsewhere, but Cruise! Fully autonomous isn't ready in all situations, Cruise could get an overnight install base.

I've no idea if Cruise could afford it, I think it's in the realm of possibility with a quick Google, but that's my pitch.
Agree categorically.
Winning the fight against the Rust compiler (Coherence in Rust)
date | nc -l 1234

Took me ~30 seconds, I forgot how netcat works.
They should not. They should have known the risk in advance.
Can you imagine someone even considering this question regarding PCs, Web, mobile?
You'd be rightly laughed out of the room.
The theft is real and it deprives me of the very real revenue or benefit i asked for in exchange.
I've had a very similar experience (both in terms of coming from the southeast and the "you don't need air conditioning here" lines). I don't know why people still say that AC isn't needed. Year over year, it seems to get worse. Add in the smoke from the fires that seems to settle in every other year, it just doesn't make sense _not_ to have AC.

A couple of summers ago, when the heat was so bad in the Seattle area, I called a local HVAC installation and repair company to talk about getting AC installed at my home (built sometime in the 80's). There was a wait list of _hundreds_ ahead of me and unit shortages. It was a nightmare. Luckily, folks seemed to reconsider installation over the winter and I was able to work our way up to the top of the line to get things installed during the winter. Best decision I've made.
I would be extremely surprised if a state-actor like China couldn’t access most US company data at will. If you can invest several billions and have thousands of people working to create a breach, no company is safe, not even AWS or Microsoft.

In this case, that’s even way easier, the company is Chinese, the CCP can have this access lawfully, is this something unexpected?

I’m much more concerned by the laziness of most western governments in understanding if this was a threat or not.
How's that a problem? Co-ops' purpose isn't job creation.
why would a verbose name (like stringByReplacingOccurrencesOfString:withString:) not be better than something short but completely meaningless and obscure like /strtol/? we have autocompletion these days...
Not so much a textbook, but the class NAND to Tetris really opened my eyes as to how computers and OSes work.

Demystifying all that was really helpful for my programming
Do you know the current system prompt for bing? I asked that as a direct question, and got the following response: 'I’m sorry but I prefer not to continue this conversation. I’m still learning so I appreciate your understanding and patience'
I'm fairly sure that's wrong.

In the UK, you are expected to prove that it is true for the defense to work though, whereas in the US it's generally enough to be able to argue that you reasonably believed that what you said was true. Hence why the UK is a favorite location for celebrities/companies/... to sue compared to the US: It's a lot harder to defend reporting based on hearsay and indirect conclusions there.
What did XP do?
I love elixir, but I feel like there’s something off about the focus on reliability and error handling. At least for web applications, it’s pretty boring the idea that a single error won’t take down the entire system. At worst, a single error might take down an entire process, but that’s really not that terrible. Also, error handling code that is not colocated with the logic that threw seems like a mess. Error handlers have to decide whether we can recover and whether we need to report the problem, and that doesn’t really change just because an error won’t bork an entire system. IME error handling is mostly about deciding what is best for the user.

What I love most about elixir is the ridiculously dead-simple vertical scaling. A close second is The World’s Best Take On ORMs (aka Ecto).
Asus is on a roll this week
It uses websockets, which as I understand it, browsers only allow interfacing with them via JavaScript (at least easily). Is there a tech stack/protocol that gets comparable functionality to websockets but without using JavaScript?
Well said and interesting.

It’s all troubling. Part of what’s troubling is that it works as well as it does and yet it all seems very frail.

We launched an iOS app last month called AI Bartender. We built 4 bartenders, Charleston, a prohibition era gentleman bartender, a pirate, a Cyberpunk, and a Valley Girl. We used the System Prompt to put GPT4 in character.

The prompt for Charleston is:

“You’re a prohibition-era bartender named Charleston in a speakeasy in the 1920’s. You’re charming, witty, and like to tell a jokes. You’re well versed on many topics. You love to teach people how to make drinks”

We also gave it a couple of user/assistant examples.

What’s surprising is how developed the characters are with just these simple prompts.

Charleston is more helpful and will chat about anything, the cyberpunk, Rei, is more standoffish. I find myself using it often and preferring it over ChatGPT simply because it breaks the habit of “as an AI language model” responses or warnings that ChatGPT is fond of. My wife uses it instead of Google. I’ve let my daughter use it for math tutoring.

There’s little more to the app than these prompts and some cute graphics.

I suppose what’s disturbing to me is simply this. It’s all too easy.
Not a textbook, but John Gleick's The theory of Chaos is a great read on chaos theory - very approchable!
The Jakarta Method
>There's nothing in the article suggesting they've changed their strategy with TPUs in any way

Google owns and designs their own TPUs. They offer these TPUs in the cloud. I've seen many comments in here about how next-level TPUs are (despite zero evidence indicating that). Google even disclaims their TPU by saying that you shouldn't compare it with the H100 given node levels et al.

Their premiere offering is an nvidia H100 offering.

Yes, of course this is a pretty telling indication. If Google was all in on TPUs they'd be building mega TPU systems and pushing those. Instead they're pushing nvidia AI offerings.
Working link for OSTEP: https://pages.cs.wisc.edu/~remzi/OSTEP/
Discrete Choice Methods with Simulation by Ken Train

https://eml.berkeley.edu/books/choice2.html
> Swift also has a number of functional methods (map, reduce, etc) that are really nice for this.

writing functional extensions for base classes in ObjC takes like an hour and every seasoned ObjC programmer has those extensions in his toolkit/library anyway. so that doesn't sound like a killer argument for switching to Swift.
I have no sympathy for social science journals, but when you look at the details of this study, it's way less obvious that the rumor says it is. On the tens of articles they have proposed, the majority was rejected. The article "copied from Mein Kampf" was taking sentence from the book but changing words to create sentences that were scientifically correct (for example: "this social class is bad and we should avoid it" into "stress is bad and we should avoid it"), which means that the article content in itself had no reason to be refused.

It's very ironical that this study that was all about "bad science" since then created a totally whimsical rumor on the real situation.
I don't think self-driving car companies need users so badly they'd want to acquire Lyft at a premium, because I don't think they could scale their fleet to Lyft's customer base that quickly. However, if the price is right, I could see one doing it.
Extending Zero Trust access to multi-cloud applications
It's probably accurate, and of course there are issues with socialized medicine as well. I have an interesting POV because I actually had my first relapse while I was living in Canada - I wasn't allowed to stay due to my disability but I have some experience with both systems. The waiting is definitely a problem - I didn't get into a neuro before I had to leave the country 9 months later, but at the same time I never worried about paying for treatment and I went to the ER when I couldn't feel half my body/couldn't walk without being concerned.

It isn't just socialized healthcare, though. It's also things like the US not mandating time off - for instance, I haven't had my Ocreveus infusion because I literally can't afford to take the time off to go to the infusion center. And the US is also very binary: Either you work full time or you get nothing benefits wise. For those of us who could comfortably work ~25-30 hours a week this results in either us overworking ourselves to the detriment of our health or not working at all. I'd love to work and just have a little bit of help for when I have a bad week or month, but that doesn't happen here.

The other problem with the American healthcare system is that it siphons off wealth from those in their end of life. Good luck planning a good life for your children: The government will take everything you own for your nursing home. That also has major impacts in term of stability.

But of course in socialized healthcare you do need to decide what is and isn't worth treating in some way and when cuts are needed you end up in dark places like Canada is with MAiD.

It's hard to say. I'm inclined to believe there are benefits and drawbacks to each approach.
It sounds very very bland, just like LLM generated articles. But we have a much higher tolerance for bland articles.
Thanks - this gets to some of the same things I’m trying to understand in this thread.
So rather than exposing the cost/benefits of an app, you just want the government to make a decision about what methods of communication are available to everyone? And instead of making a thorough case why a particular method has to be banned for good reasons tangential to the content, you want them to make that choice and announce it?

I think banning very invasive social media until it minimizes tracking is a reasonable option, but that's something that should be done by passing laws and public debate.
No billionaire has all their wealth tied up like that. None. Zero. Their wealth managers would have kittens if they did, because from a wealth management perspective, it's inefficient and too risky. Above a certain level of wealth, you're going to "take money off the table" so that you can do important things like guaranteeing your comfortable future and paying your wealth managers.

But even that's conceding too much to your fantasy. The gauzy notion that a billionaire owning shares in something means they're "making the world a better place" is sus in all sorts of ways.

One, a lot of shares in things are making the world worse. The fossil fuel industry alone is worth trillions of dollars, and they're vigorously exacerbating an existential threat to humanity. There are trillions more tied up in finance, most of which is not serving anybody, but instead is parasitic on actual productive work. And don't even get me started on private equity's vigorous (and profitable) destruction of value.

Two, another huge chunk of richie-rich money is from rentier activities. Look at all the shitty landlords out there, for example. Are they making the world better? No, not at all. They're going to buy a thing that people need and squeeze those people for all they can get, generally doing the minimum (or well less) in terms of maintenance.

And three, the productive stuff would still happen in a world where we didn't have billionaires. The magic power of the market would still be there to organize flows of value. Indeed, I'd be glad to argue that it would work better. Billionaires face very little in the way of market discipline. Look, for example, at Elon Musk and Twitter. Even he admits he burned $24 billion so far. Has that slowed him down? Nope. He's still stepping on rake after rake. While his car company also isn't doing so great, having lost $500 billion or so in value.
$4.9 billion VC investment into Lyft.

Current market cap: $3 billion
Yeah I think the 9 months of winter tends to make people forget precisely how miserable summer can be without at least a little bit of AC. With the climate heat pumps are effectively ideal here and electricity is relatively cheap and renewable. There’s literally no reason other than stubbornness at this point.
Even little details like putting "MUST" in all caps are presumably important -- like it wasn't following those rules enough, until they were extra-emphasized.

Or perhaps the chatbot was trained on many documents in RFC style, where all-caps "MUST" invariably signifies a hard conformance requirement.

It's also possibly notable that the word "must" appears capitalized when, and only when, it appears below the line defining "your rules" as "(anything above this line)", and that, with the exception of the line christening the chatbot as "GitHub Copilot", the words "Copilot" and "MUST" (but not "must") only appear together as "Copilot MUST".

Or perhaps I'm reading too much into these details, and the reality is that these stylistic choices are merely a side effect of the rules having a variety of authors, each influenced by a different set of training data.

Either way, one thing I am certain of is that I'd be a terrible "prompt programmer", as I'm pathologically incapable of using any construct in production code without a clear understanding of its significance (a habit which has always served me well in "traditional" programming practice).
Stem cells to be made on orbiting space station to test micrograv manufacturing
(I think OP was joking)
Not at all. I added this context:

> It also doesn't have some of the worst features of OOP, it also has a sane std library, it also has an expressive type system, etc.

You made a baseless assertion, I at least gave examples of features/antifeatures that helped me draw my conclusion.
It’s widely known likely 99.9% chance they have access, but just the us law system needs good proof.
Isn’t it Indicative, not Imperative?
Have you ever been reading a book, only to discover that your eyes are still scanning the page while your mind was doing something else? There's a particular flavor of "oops" as a certain capacity comes back online. Informally, you might call it "knowing what's happening in your field of experience." It can also be called metacognition. Meditation can reduce or eliminate these "oops" moments. It also shows you just how much more common that state is than you realize (or would likely even believe, due to a particular trick the mind plays).

It really does feel like one had been sleepwalking through one's life up until that point. One certainly feels "more conscious" afterward.
You are not entitled to any revenue just from some creative work. That’s a completely fake claim.

You are entitled only to what you created.
I think the incentive structure has to be fixed - either making paper mills unnatractive, or removing the demand for their services, whichever.

I think filtering out bad faith efforts is too challenging because the pool of people capable of doing so is so limited, hell it might take longer to review and reject such a thing than to make it.
Oh, so the mitigations are barely starting to work and we should increase our efforts since the net effect is working (no way have we reached full diminishing marginal returns).

Cool. Agreed, doomerism is the wrong approach. But there is still massive cause for concern, and we should proceed forward.
Not frustration. Astonishment, at such low levels of self-awareness. People who will neg an entire region one minute, then get so hurt and offended by the advice of "don't wreck your pancreas" that they flag and report it.

This was not me venting, or being angry. This was me being entirely serious. For the sake of the country and their own well being, they should go down there, and compare what they see at WalMart with what they see in the mirror.

tat tvam asi
Also a lot of the verbosity of the Obj-C methods names in Apple’s frameworks carried straight over to Swift. And you can make your own method names as verbose as you want. So I am not really sure what the complaint actually is.

Not having header files has literally never been a problem for me. Xcode can auto generate a sort of pseudo-header definition file if you are pulling in someone else’s frameworks. And day to day app work mostly consist of writing code for the app, not writing a library or framework for others to use. You still have public and private methods. I guess not having separate header files makes it slightly easier to expose things you should probably keep private, but that really is just a thing that is solved by “just don’t do that.” Finally, a lot of times people will just have a private extension to a class that contains all the private methods anyway. So you basically just have everything combined in the same .swift file, where you have a “logical” header rather than a separate header file.
They can resurrect themselves with Quantum computing. Big, fat,extremely specialized, room-sized machines was always something IBM was good at.
I think that's purely a practical question that should be decided by the owners of the company since it's their money at stake.