skysight-inc/HackerNews huggingface dataset:
I use my RPis for multi-media installations, with at least 2 cores almost maxed out. So I am quite excited about this announcement :)
>This is because whoever knows the private key to a crypto wallet is the owner of the funds.

Even better, funds don't have to exist to show them on a screen. Numerous exchanges collapsed because the stated funds weren't in the exchange in the first place and what the traders actually traded was numbers in a MySQL database when the actual funds they sent to the exchanges were being bet on somewhere else.

The sad reality is, for most people in the trade crypto assets are whatever the screen says.
While technically there's a relationship between category theory and substructural logics (of course there is, category theory is general enough that there's a relationship between it and everything), they don't really strike me as having that much to do with it directly - they're a fairly straightforward extension (restriction) of typical presentations of constructive logic. And I wasn't aware that e.g. Rust picked up its type system via exposure through category theory. Is there a source for that narrative?
Roblox's woes are a sign of things to come for Fortnite's creator content. Epic will soon be forced to lay off more employees as the platform's growth stalls.
From https://twitter.com/GeminiTrustCo/status/1707385495796228469 :

> We are disappointed that the @nypost has chosen to recklessly publish a completely misleading story about the Gemini Earn program. Everything the Post alleges in its story is the exact opposite. The $282 million that was withdrawn from Genesis in August 2022 was in fact Earn users’ money. It was not Gemini corporate funds and it was not the personal funds of our Founders @cameron and @tyler or their investment firm @winklevosscap.
After dabbling in the technical side, I decided to wind down the wallet files that I probably wouldn't do a good job of securely storing and put everything in the biggest exchange instead.

10 years later, I'm still waiting on MtGox bankruptcy proceedings :o)
So then it's not a recession solely according to NBER - and this departs from their characterizations for the last 60 years before this last election cycle.

"A recession is a significant, widespread, and prolonged downturn in economic activity. A common rule of thumb is that two consecutive quarters of negative gross domestic product (GDP) growth mean recession, although more complex formulas are also used."

- [investopedia]("https://www.investopedia.com/terms/r/recession.asp#:~:text=W....")
But in this case that data isn't language, it's image data. Implying that's it's not a LLM, but something more, dare I say, general?
Gemini did not collapse though. Genesis, a lending company that Gemini held deposits customers who opted into their “Earn” program, collapsed.

Gemini the actual NYC-compliant exchange is still solvent (and afaik still compliant)
I would argue that the last 30 years (if you arbitrarily begin at Moggi’s paper on Monadic computation). Have shown ample impact of category theory on programming language theory and type theory more generally. Additionally, there are earlier work on the semantics of programming languages dating to the early 80’s with strong category theory roots. There is a large body of work (I’m on mobile and don’t have links) that uses category theory to backstop the development of algorithms and generic code solutions for all types of algebraic data types and container types for instance.

There is a thriving ‘school’ of computer science that views category theory as the third leg of the category theory, type theory, proof theory triangle that forms their basis for all computer science. This is very evident in the CS department at Carnegie-Mellon. If you are interested I’d recommend checking the backlog of lecture videos and presentations at the Oregon Programming Language Summer School program.
VPN Detection: Overview of Methods and Techniques
> is close enough that they'll probably reach a version that is viable very soon.

Haven't we seen this type of thinking to be proven a fallacy enough in the last decade to at least be skeptical of solving that last 1% until we actually see it?
A couple quick ideas for political activism against autonomous weapons:

The "Stop Killer Robots" campaign: https://www.stopkillerrobots.org/

Asking your nation to support the upcoming UN General Assembly resolution against autonomous weapons: https://www.stopkillerrobots.org/news/unga-resolution-on-aut...

And having personal conversations with your friends in technology and defense industries who may contribute to these technologies.
... wouldn't that be a type of jamming and therefore illegal ?
Even if you could feed ChatGPT4 with all of chromiums codebase, I really, really doubt it would just work.

Otherwise it would be just a matter of scaling and waiting longer.
I think in most cases, yes. But sometimes it can be very disruptive to the workforce, too. I think of what AI is going to do to the commercial driver, factory / warehouse, and food service industries, for example. That’s a huge labor pool to reallocate.

Not to mention ChatGTP is already has most of the skills needed to be a reasonable replacement for most of my customer service interactions. Not all, but somewhere around 70% I’d say.

Not trying to be alarmist, but I feel we’re going to have to rethink labor in both large and small ways.
> One must also believe that more than one set of morals can be right or that no one is right or wrong.

Exactly. There is no universal right or wrong, it's all relative based on hierarchical system of values in every society.
Long-format interview with Cloudflare's CTO [video]
I interviewed JGC in June about the rich technical history of Cloudflare. In this long-format discussion, John opens up about many of the intriguing technical things Cloudflare did as they scaled. I hope this is interesting to many of you here on HN who are building things that have to scale quickly. Cloudflare's approach of ripping the wings off as they fly is something few companies pull off effectively.
Not sure of what you were trying to say? Or what is the basis of this of off-topic and fallacious remark? It is not clear.
Sometimes, having a quick, inaccurate, but easily-verifiable answer is better. For example, when you're trying to remember the name of that one function to call, or ideas on where to travel next month.

Also, not super relevant, but in e.g. combat situations one is often better off running now in any direction rather than pondering which direction is absolutely optimal for running from the lion. You'll know soon enough whether it was the right direction. There's probably a metaphor somewhere in there.
I am not sure that it influenced async in javascript. But the earliest monad paper I found in ~2 minutes of googling [0] even uses natural transformations which in my opinion counts as using CT.

[0] Eugenio Moggi Computational lambda-calculus and monads
(1989) https://www.cs.cmu.edu/~crary/819-f09/Moggi89.pdf
From what I recall, the Closure type system wasn't well suited to Javascript. I recall it as being quite Java-ish (nominal rather than structural). It's been a loooong time since I looked at it, though, so I might be misremembering.
I would say the biggest problem with trying to regulate or prohibit "killer robots" is that almost no one involved can precisely define what a "killer robot" actually is. Aside from the terminators and assassin droids of scifi, there is a huge spectrum of "intelligence" in weapons systems, much of which has been deployed for years.

Consider the following cases, and whether or not they are a "killer robot":

1. An automated shipboard air defence system, such as that provided by the Phalanx or SeaRAM, which can automatically detect and engage targets it determines pose a threat to the vesset (potentially faster than its human operators could respond).

2. An anti-ship missile, such as NSM, fitted with imaging infrared guidance so that it can autonomously identify hostile ships and prioritize which (and where) to strike.

3. An anti-radiation missile, such as HARM, which can be launched without a specific target and instead automatically identifies threat emitters to engage.

All of these have some aspect of "killer robot" behavior, and they are all currently in service (several for decades). These existing weapons systems are too critical for anyone to remotely consider regulation or prohibition that would reduce their effectiveness, so any realistic hypothetical "killer robot" definition needs to coexist with them.
NSA is already taking care of that in Utah.
product teams are long-lived, unlike projects

if someone (say someone from marketing) has a need for the product, and it gets de-prioritised, someone has decided the marketing person's needs are less important. That's why product teams have to be cross-functional and have ownership. You can't just have a board of execs 5 levels of hierarchy removed switching and swapping people randomly.

also why there are so few product teams. There aren't many execs willing to put the trust in their people to give them ownership of products/problems/opportunities/outcomes, without wanting a micro level of control on the solutions. Which is always hilarious because they hired these people in the first place (or the ones who hired them etc...)
I'm sure it heavily depends on local circumstances, but for whatever it's worth, I badly fucked up my first attempt at going to four-year right out of high school due to mental health reasons and ended up doing two years at LA City College before going back. It may have been mostly the Biology and Chemistry departments, but the quality of student there was still the highest of any school I've ever taken classes at, and that includes Georgia Tech, which is typically regarded as a top 10 engineering school. The reasons were somewhat peculiar and specific, but the fall of the Soviet Union in the late 80s left a whole lot of immigrants from former Soviet Republics fleeing the collapse and most of them ended up in LA. We had a whole lot of former engineers, scientists, and medical doctors who came to the US only to find their foreign credentials were not honored by US institutions and they had to start completely over. They utterly destroyed our curves thanks to all of the knowledge, dedication, and discipline they already had compared to an average 19 year-old.

Heck, even my Bio 101 professor was abnormally brilliant. She'd been a researcher at Harvard Medical School who worked on highly experimental treatments in a ward full of terminal patients and just finally burned out from being around so much death all the time, so there she was in Los Feliz three blocks from Scientology world headquarters teaching at a community college, probably the hardest class I've ever had to take.
From a legal perspective, this isn’t an issue. It’ll be a brave barrister that tries to argue a lack of intent when someone travels to the arse end of nowhere with a chainsaw and cuts a well-known tree down. I’d honestly expect the judge to throw the hammer at anyone who even tried.
There is a documentary on this from like 10+ years ago that showed the same thing. I'm not sure why this is new
I don't believe morals have much to do with an inheritance of values, mostly because mankind, from civilization to civilization, has largely kept the same set of basic morality regardless of where they are or what religion they possess.

Sure, some things change, but theft, murder, lying, etc... they're pretty universally seen as wrong. And in the instances where they AREN'T seen as inherently wrong, it's usually a class-based stance that still sets them apart. Even if you steal from other groups, don't steal from OUR group.

Even if you wiped away all knowledge but the very basics on survival, these would come back in short order as societal hierarchies are redeveloped.
Nothing against you, but if you're asking like this, it may be that you don't know your target market as well as you thought, or should.

Start talking to them! By any means necessary.
Regardless of i might think of elon musk i kind of want him to succeed with X because i would like to see a social media platform make the users pay to fund the service.

If you add this kind of payment to the website you actually make the service less beholden to ad revenue so you do not have to worry as much about their sensibilities. If the subscription fee gets big enough i think the company would become beholden to the users and hopefully serve their needs more than the advertisers (maybe my wishful thinking).
How curious!

I don't have uMatrix or other ad blocker installed.

I turned off all "Enhanced Tracking Protection" and still see nothing in Firefox.

I don't know what you mean by "by a shitty corporation for shitty ends ... sites that benefit me". It's run by the regional council (https://en.wikipedia.org/wiki/V%C3%A4stra_G%C3%B6taland_Regi...), which is the political organization responsible for the area's public healthcare system. The page lists available COVID vaccination appointments, which benefits me as I was looking to get a booster shot and wanted to know where to go.
> I am dreadfully curious what use cases you're envisioning where a fast, bad/wrong answer is better for anything than a correct, slower answer.

>> For some people - I am reluctant to say "for some use cases" - that's very appealing.

You're preaching to the choir.

However, do keep in mind that even authoritative sources found during your own research may be inaccurate. And for some questions, which answer is "right" or "wrong" may not be black and white.
> Can we agree that solving problems = good? If you grant that, the rest should follow.

What do you mean by "problems"? And whose problems? My solution might be the source of your problem, and why should I care if it is?
Go on… why?
This is starting to get even more irritating than the “put a blockchain on it” spammers ever were.
No, but color blindness is broadly accepted as the ideal, in the same way that violence is shunned, but still exists in society. Now it's time to push the ideal further.
you're confusing Closure with Clojure
It's just JSDoc though?
Is that how apes feel? You think apes look at us and feel like NPCs?

My perception is apes still feel like the main character, each and every one of them.
Source: Trust me bro.
I had been guessing * made its way into character sets because of its business use as a line fill for printed checks. (for those of you not alive in the 20th century, see https://en.wikipedia.org/wiki/Cheque )

Edit: then again, it's in the 0x28-0x2F range along with + - and /, which suggests it was already thought of as mathematical as early as 1963...

Edit 2: it doesn't seem to occur in ITA-2, and in FIELDATA it's alongside punctuation like & $ ( and %.
Twiddla?
Except bank have deposit protection scheme, so whatever happens you're covered thanks to the fact that they proved to respect a framework of regulations in order to make deposits covered
Lots more discussion over here: https://news.ycombinator.com/item?id=37690632
This, exactly. I think most people don't even realize why they feel something is right or wrong or what it even means for something to be "moral"

At our core, everything we feel is based off self-preservation -- for ourselves, offspring, family, mates. Instinctually, the concept of what is "morally right" comes down to "what strategy will ensure my self-preservation best".

Most humans are smart enough to realize that a strategy made up of a lot of win/lose confrontations is unlikely to end well in the long run. Ergo, morality is simply the current best strategy for individual self-preservation given the current state of human knowledge.
GitHub Actions Runners Powered by M2 Chips (8CPUs / 24GB)
Cirrus Runners which had only 4CPUs / 12GB configuration introduced XL runners with twice the resources.
I was going to disagree with you (not least because 'dumb' is the established antonym) - but it is under the heading 'smart library concept', I think you're right, and maybe it's the victim of translation.

(There's some other word choice that's correct and makes sense, but seems a little unusual, that makes me think/supports that.)
The reason they don’t run off is they can make billions legally by not stealing your money.
I've never worked for Google, but have written a lot of Closure code.

Unfortunately, my opinions about Closure are colored by how it was used within my org -- which was far from ideal. We should have taken the best of Closure (the compiler, type checking, and maybe a few utility libraries) and ignored most of the rest.

When we switched all greenfield JS development from Closure to React around 2016, it resulted in a 2-3x speed-up in the development process. Not because the compiler stage added any significant time to our process, but because of poor design patterns that were implemented because Google was using them -- but perhaps not with the correct level of understanding about how to use them effectively.
CVE-2023-42793 Vulnerability in TeamCity: Post-Mortem
Heck, modern natural gas power plants can achieve up to 60% efficiency, which is far higher than a internal combustion engines. So even if you are charging electric vehicles from it, it will still be far more efficient than an individual petrol based car.
ChatGPT doesn't "almost certainly" give you a wrong answer (especially if you're not asking it math problems). The reason that it hallucinating sometimes is so bad is that it happens _rarely_. If it happened all the time, you'd never use it or trust it. It's just that it happens _enough_ that it's annoying to have to double check everything.
I always enable my 5G when I get into big crowds and it usually fixes that problem, assuming service is available.

I usually keep it off otherwise though because average bandwidth tends to be better on LTE in my experience.
Interesting. Can you elaborate on the relevance of the telos here?
> Anything in between is a recipe for getting shot down, getting no buy-in, and receiving no insightful feedback.

I don’t agree. I dislike Fb to the extent that I already deleted my account quite a while ago. And I thought the Meta attempt at a meta verse with cartoon characters looked ridiculous.

But the video in the OP link, with the photo real avatars. This is a whole other level. It’s super cool.

The fact that they made a ridiculous cartoon Metaverse first does not detract from the coolness of this photorealistic thing.

Still, I’m not gonna use any Metaverse that Meta will make. Photoreal or otherwise. But that is because I dislike Meta as a company.

The point is that what they have made here is some top notch stuff.

I look forward to seeing Apple compete with this. I hope that with an iPhone and an Apple VR headset I can get to experience something similar in a few years.
Yes, the elevation is based on sea level. I don't fly much and recently landed in Denver and was watching the altitude on the screen in front of me. As we were descending we landed well before I was thinking we would, about a mile in elevation above sea level.. it was "duh" obvious when it happened, but I was tired and clearly not thinking about it!
Similar is probably possible on cruise ships, I noticed on Carnival you could still get notifications from discord (I assume because most android notifications go through cloud messaging and it's required for their own app to work without internet).
> You have no idea what you're talking about.

If this is how we’re going to discuss this then I’ll just head out now. I have no idea what I’m talking about apparently so it’s not like you’re going to give my points or experience the time of day.

Have a good one.
A press can be one way for a smaller University to have an outsized impact. For example I read books about Spaceflight and the University of Nebraska Press has a great series called "Outward Odyssey: A People's History of Spaceflight" which I have read many of:

https://www.nebraskapress.unl.edu/series/outward-odyssey-a-p...

If you look here they have many other series on all sorts of topics:

https://www.nebraskapress.unl.edu/series/

I also often end up read books by other University presses.
The "business/tech" divide is a terrible divide, but we seem stuck with it.

So maybe make the most of it - hire and train software developers on "the way the org develops and runs software". Then embed them in business areas - literally sitting next to people building what is needed right now.
I would guess that the flight attendant is doing their job. They do not have the authority or expertise to risk the airplane based on their own analysis, or based on some random passenger's explanation. The clearly correct solution is to remove the device and then there is no risk to the plane. I expect they are strictly required to respond that way and have no leeway.
Well... How are medical prices? Education prices? Food? Energy? Savings? Rent? Housing? What about the massive layoffs? Even if you're not struggling - many others objectively are dealing with the realities of a harsh economic downturn.
How does this plastic do with UV exposure over time? How does it fail?

E.g. I made the mistake of using some plastic bins to store plant-related stuff on a mostly-shaded corner of my balcony. One day, when I tried to pick one up, the portion of the lip I grabbed just broke off under pretty light pressure; the whole thing had become weak and brittle. I would hate for a pannier to fall apart and dump whatever I'm carrying at some point in the future when I hit a bump or something.
> Is there auto-routing? How good is it?

Why do people always ask for this? It's a feature only newbies use, and once a project becomes even slightly less than trivial, the best auto-routing tools fall face down. There's an awful lot more to PCB design than just physically fitting the components on the board.
>I can assign a different meaning to it

I don't even understand what that means. Ideas don't have meaning, they are meaning. What does it mean to assign a different meaning to the idea represented as "1+1=2"?

>No ideas are objective truth

No. Mathematical truths are objectively true. Even if addition itself is false in the universe, in the sense that in some cases you can put one real thing next to another and get other than two real things next to each other as a result, that 1+1=2 is true objectively. It would just mean that the universe is based on an axiomatic system that is more lax than our own.
Amtrak is the big interstate rail company. There are many small railroad that art more densely packed around a metro area or within one small state. For instance, you can get from Newark, DE to Springfield, MA entirely on regional trains: SEPTA from Newark, DE through Philadelphia, PA to Trenton, NJ; NJ Transit from Trenton to Penn Station in New York City; NYC subway from Penn Station to Grand Central Terminal (if you have a heavy luggage, otherwise just walk), Metro North from GCT to New Haven, CT; Hartford Line CT Rail from New Haven, CT to Springfield, MA.

Each leg of that trip on a commuter train probably had 5 to 25 stops in between stations I mentioned, and each of those rail systems branches out in various directions to serve the commuters of that area getting into the cities I mention. Amtrak also runs about the same route with way fewer stops.

The US used to be more rail dense. It still has the longest total railroad of any country in the world at 220k KM, but that's down from a peak of 408k KM
https://en.wikipedia.org/wiki/List_of_countries_by_rail_tran... (a fair bit over one light-second, kinda cool).
Couple things come to mind:

1. Aging population. Sleep apnea's effects are more noticed in older folks.

2. Better awareness of sleep apnea's detrimental effects to one's health. It's not just "obnoxious snoring." It's having serious impacts on your cardiovascular health.

I've been using a CPAP since April of this year and OMFG! I had no idea I felt bad. The effects are so gradual you think it's all just a part of getting old. The CPAP has been a complete game-changer that I didn't know I needed!