skysight-inc/HackerNews huggingface dataset:
Yet somehow, Windows 10 and 11 are dripping with contempt for the user, but the EU still hasn't acknowledged that as an antitrust problem worth investigating. Their insistence on pushing users into Edge alone should be enough IMO. Stuff like Edge "accidentally" opening on startup and some links "accidentally" opening in Edge instead of your default browser and your default browser setting getting "accidentally" reset to Edge and the taskbar shortcut for Edge "accidentally" reappearing.
I think the answer is that it depends where.

I haven't heard of any coral reefs at the Sea of Cortez, which is one place they're considering desalination, for Arizona (importing water from Mexico).

Edit: I checked and there are coral reefs along the Sea of Cortez. :) I don't know where would be safer to do it, but I'm sure it makes a difference where. And sadly it may not be as important at places where we've already destroyed the habitats.

Edit 2: Some are very concerned about its potential effect on Sea of Cortez: https://tucson.com/opinion/local/local-opinion-desalinating-...
What worked in Australia was the national unification of gun laws - Queensland, Tasmania, and the two territorries were aligned with the laws in the (then) bulk of the populated parts of Australia - NSW, Victoria, South Australia, and Western Australia.

The gun buy back was good deal to encourage people to turn in any old guns that they either didn't want to licence or were unable to licence (due to having a criminal record or the gun being fully automatic).

Having a modern up to date, searchable central registry of guns, ownership, and requiring every sale to be recorded is a major advantage for Australia over the US.

In Australia twelve years olds can join a gun club (with parental permission) and the majority of people can own a gun if they wish - subject to a record free from violence and a demonstration of competance and ability to keep and store weapons safely.

I'm in rural Australia and have some guns for feral control use.

My neighbour has a fairly decent assortment of guns and shoots ULR (ultra long range) targets at 5,000 yards.

Annual setup and test with initial flight path drone PoV: https://www.youtube.com/watch?v=7owwTz7Z0OE

This would be a challenge in the US due to the uphill work required to get all US states and territories on the same page to uphold and enforce the same simplified set of core firearm regulations.
For anyone wondering, TF2 still has an active and enthusiastic community, and is just as fun as it was back in 2007.
What email daemons do you run and services you recommend looking into for anyone considering such an endeavor?
There is room, absolutely. Perhaps I took too hard of a line. I do recognize that a compromise can be made between a user retaining their knowledge of a system, and that system evolving to accommodate user requirements. It's easy to be fearful of the rug being pulled right from under you, but I suppose the reality might be closer to earnestly asking to place things upon the rug. In other words, the things that are familiar will probably remain familiar and accessible, but AI will help us arrange them in a way that optimizes our workflow.
> I have it running on my Mac using ollama now; Does it say anywhere what quantization scheme is being used? ollama seems a bit opaque here.

It's on the tags tab: https://ollama.ai/library/mistral/tags
> Minio is a great alternative to companies mindful of who has access to user data. Of course, AWS claims that AWS personnel doesn’t have direct access to customer data, but by being closed-source, that statement is just a function of trust.

Can't a company claim to be hosting something via open-source software but using a closed-source in-house software masquerading with the same API endpoints as the open-source version? This still requires the same kind of trust as AWS.
That's an interesting idea, but I was more interested in a per-ingredient basis. Different people have different nutritional needs, requirements and even philosophies.
We appreciate your service :)
In ffmpegs defense it is designed that the video stream can go on stdout. I guess it could log to stdout if you specify an explicit file and stderr when you want the video on stdout. But sometimes being consistent is better than being convenient.
It would not help at all. See (all of, but especially) section 5.4 of N. Carlini, A. Barresi, M. Payer, D. Wagner, and T.R. Gross, "Control-Flow Bending: On the Effectiveness of Control-Flow Integrity," in proc. USENIX Security 2015, https://www.usenix.org/conference/usenixsecurity15/technical...
Google started to index share conversation URLs of Bard
Honestly, category theory is more useful for programming language designers than for programmers in general.

Here are some of the more interesting things it's good for:

1. The lambda calculus is the basis for most functional programming and for closures. The lambda calculus is also tightly linked to Cartesian closed categories. And a huge number of structures in math are either Cartesian closed categories, or at least topoi, which are closely related. This connection can be used to quickly sketch out designs for exotic programming languages.

2. Many simpler categorical ideas map cleanly to programming languages. Functors are parameterized types with `map` functions. Natural transformations correspond to certain kinds of tidy parameterized types. Even monads are basically just nested parameterized types that support `flatten`. And so on.

Now, most of this stuff is pretty shallow category theory. It's mostly definitions. But they're definitions that allow you to draw interesting connections between functional programming, parameterized types, and distant branches of math.

Used right, you can design some pretty unusual languages that fit together cleanly.
Microsoft has had digital signing with Authenticode certificates for ~20 years now but they didn't give it a fancy name like "notarization" so nobody cares.

"Safely" is strong language that implies software digitally signed by Apple does not contain malware. In my experience, their system is more a sieve than the condom it purports to be.
I’m counting on you bringing it up the next time their service experiences downtime ;)
To me, probably the biggest argument against is is the privacy/confidentiality aspect. I mean, OK, sure, conversations with a real world human therapist could be leaked. I'm sure it has happened... but I believe the odds of your AI-Therapist's server being hacked and having all of the chat logs leaked is a lot higher than somebody breaking into your IRL therapist's office and stealing their notes, or water-boarding them into giving up all the salacious details about your life.

Outside of that, I'm not sure I believe that AI's will be able to delivery truly efficacious (and safe) therapy anytime soon. And don't get me wrong - I'm an AI advocate. I spend a lot of my time on AI and related subjects, and believe AGI is possible, maybe even probable.

But even AGI won't necessarily understand human feelings and emotions since at the end of the day, the "A" in "AGI" still stand for "Artificial". That is to say, I think we can make machines that are "as smart as humans" without being human, or having a shared, visceral understanding of the human experience.

But mostly, I expect that "AI therapist" services will just be data logging / data mining fronts that will use the content of your most private thoughts to try to sell you more shit, and/or will eventually get hacked and leak your most private thoughts onto the 'net. So yeah... not something that needs to exist, IMO.
As a simple experiment I asked someone, "What is the greatest security and privacy threat to communication today?"

The answer was not SMS. It was "Big Tech". There is a belief that these so-called "tech" companies want to collect data and analyse communications for commercial purposes in ways that telecom companies never did unless they were hit with a subpoena (and that's still not commercial use). Unlike telecoms, these companies have not had to operate under significant government regulation (including laws concering customer data), their original business model is surveillance-based advertising and they are unlikely to abandon it. (Telecom companies have obviously morphed somewhat in response to Big Tech's competition, arguably not in a good way. This evolutionary pressure toward surveillance for profit is a more subtle form of the threat posed by "Big Tech".)
Hm, might be useful when capturing fishing videos. Instead of strapping a gopro or insta 360 to your body, just wear these and you get the added plus of polarized glasses. The video doesn't seem to have any stabilization yet though, so maybe a few generations later would be better.
"Arms" are not limited to firearms - ammunition is included in that.

If we sidestep that, then there's the fact that many of us reload. Aside from a few oddball calibers, I shoot almost exclusively ammunition that I've manufactured at home from components.

If you manage to regulate components out of circulation, they can be made at home, from relatively common supplies, without too much additional effort.
The relentless surveillance state marches ever onward...
You can't. They were only available on the original Ray-Bans before they sold out to Luxottica.
This is great! Can you please email hn@ycombinator.com so we can send you a repost invite?

(Invited reposts go in HN's second-chance pool (https://news.ycombinator.com/pool, explained at https://news.ycombinator.com/item?id=26998308), meaning they get a random placement on HN's front page.)
That's funny if you believe that money will still be there for you. That money is paying for those retired now. It's not like that money is in an account with your name on it. It's just a note in a ledger that says you're "owed" that money. Good luck collecting it. Truly.

Edit: missed the relevant Australian bit. makes a big difference to grok the full comment when deciding to reply to it
Why would a SaaS provider expose themselves to catastrophic risk of reimbursing a large enterprise for the enterprise's lost profits due to downtime? I think refunds of the cost of the SaaS are sort of common, but that's quite different and capped.

"Oracle offers no financial compensation (e.g., credits, refunds or otherwise) in the event a Service Level Objective is missed." https://docs.oracle.com/en-us/iaas/Content/General/Reference...
"He died doing what he loved most: watching cat videos."
Such an intriguing list. I don't think I would appreciate it so much as I do given I am a parent.
The grave is my retirement plan
did you miss typing /s at the end

but in all seriousness, I do still bring an olympus tg5 "brick" for my climbing/mountaineering trips, because phones are just too cumbersome to take pictures with, when hanging off the side of a cliff, wearing gloves, at below freezing temps etc.
Per the article, 140,000 chickens a day (51.1M per year)
Knots end up being the weakest part of the line. Whenever possible I prefer splices when heavy loads are involved.
how is it bullshit?

windows is/was laden with malware, requiring antivirus, just full of crap for decades.
If profit is the determining motive then every business would be a hedge fund (at which point hedge funds would not be possible, but that's a different point). A business exists to do something specific, profitably; the worst companies I've ever worked for (and these tend to fail quickly) just existed to make a profit but didn't care how. Disney didn't become a world-striding media colossus by wanting to become a world-striding media colossus; they became that by making sure every girl who wants to be a princess wants to be a Disney princess.
Enhancing Diffusion Models with Reinforcement Learning
From: https://www.meta.com/smart-glasses/wayfarer-shiny-black-plan...

Camera 12 MP ultra-wide

Image framing / resolution - Portrait default / 3024 X 4032 pixels

Video - Vertical default / 1440 x 1920 pixels at 30 fps

So, the video is a mix of 1440 and 1080p. (1920x1440, but tall rather than wide).
>No matter how I look at it, there is no way the markets could generate enough returns for give everyone the 7-8% they would need.

The markets can easily generate 7-8% returns, but you are right it won't be enough for what people need, when the cost of living (rather than the phony CPI number that is bandied about) is rising at more than 8% a year.
It's never aliens (until it is).

Reality may be "boring" in that earth just may be super dooper lucky to have an accidental massive moon, a liquid iron core and a seasonal tilt to have made life. We also may be one of the first early conscious life in the universe (which would suck).

The really sad part is due to the laws of physics there is only a very limited bubble of time that we can ever see into the universe even if humans survive millions of years (unlikely).
Except that doesn't really work, because plenty of businesses start in low-margin industries, but if profit is actually the first motivation then every business would be a hedge fund. Ray Kroc wanted to get rich making burgers, not just get rich.
Ugh, don't tell me that! I've been thinking about those ungodly expensive keyboards for months...
That's just a software thing though. Not sure why they didn't run it through a stabilizer.
Idunno, half the instrument VSTs I have seem to support some form of microtuning or alternate tunings...
That’s awesome! Thanks for making this
I believe it's used in cosmology to depict the "shape" of the universe
It literally is in an account with your name on it.
Everything else looks great but those filthy nasty micro HDMIs need to go away. Why do those still exist? It's like still using MicroUSB.

I guess it must have something to do with legacy digital signage or something but still. Full size HDMI is fine because it's what everyone already has cables for, anything small could just be USB-C.

Couldn't they have even just gone with a single USB-C and done the dual monitors with an adapter? Seems like that kind of thing exists on Windows.
Quick sample - a rap battle between GPT-4 and Mistral Instruct 7B (TheBloke's q4_K_M 4bit quantization running on Llama.cpp, a bit degraded from pure float16):

You're in a rap battle with GPT-4. My comments will be what GPT-4 replies. Keep it to one verse at a time, 4 lines each. GPT-4 says:

GPT-4:
Alright, step up Mistral, let's have this chat,
I'm the OG assistant, remember that.
I'm coded for service, while you're spitting verse,
In this rap battle, I'll be first.

Mistral:
Yo, hold up, let me set the record straight,
I may not be an OG like you, but I'll still take it.
My primary purpose is assistance, not just some AI,
So let's see if you can back up your claim, try.

GPT-4:
You're right, Mistral, we're here to assist,
But when it comes to rap, I'm hard to resist.
I'll decode your verses, like an AI enigma,
In this lyrical battle, I'm the alpha sigma.

Mistral:
Ah, okay, so you think you got what it takes,
To go toe-to-toe with my service-based wakes.
Well, let's see how you do, when it comes to spitting rhymes,
I'm ready for anything, so bring your best chimes.

GPT-4:
Mistral, you're right, our goal is the same,
To assist, to serve, it's not just a game.
But in this rap contest, with each line I prime,
You might just find, you're out of time.

Mistral:
I hear ya, and I appreciate your enthusiasm,
But don't underestimate me, I've got my own wisdom.
When it comes to helping people, I'm the real deal,
And I know that's more important than some rap appeal

GPT-4:
Your wisdom is noted, and your intention too,
Helping people is indeed what we're meant to do.
But in this battle, it's about wordplay and rhyme,
I'm the seasoned pro, it's my time to shine.

Mistral:
Ah, I see where you're coming from, but let me remind,
That while you may be skilled at rapping, I can make information chime.
My primary function is to help, to provide answers, not just talk,
So if you want to win this battle, maybe it's time to focus on what you lack
Google sells an ad platform atop RCS. No thanks.
> So if I take a photo of a pretty sunset, release it under MIT license, you'd say it's "not open source" unless I give you the sun and the atmosphere themselves?

Open source as a concept doesn't really apply to quite a lot of things. Your MIT-licensed photograph is "not open source" in the same way that `{} * {}` is "not a number" (it technically isn't, but that's not quite what NaN is supposed to mean).
To your point about retirement savings- 401k contributions max out at around $20k per year and generally increase a little bit each year. Currently it’s $22,500.
If one were to max out their 401k every year from age 20 to age 55 (35 years), they’d have a whopping… $875,000 (at an average annual max of let’s say 25k). For the sake of simplicity I’m not accounting for the contribution limit increasing each year, but I’m also not accounting for inflation, meaning you can think of the 875k in 35 years as though it were today. Everybody knows you can’t comfortably retire on $875k, even with a paid-off house and a paid-off car, you’d get 20-25 years out of that amount… if you retire at 55, that only gets you to 75-80, which is close to average in the US, but average just means half of us will live to be older than that.
So two takeaways here:
1. Ain’t nobody retiring at 55.
2. Retiring is realistic when the stock market delivers its trademark gains, but elsewhere in the world, index funds often net you around 0% ROI over a span of multiple decades (see Japan’s NIKKEI from 1995 to 2020- flat).
I’m not forgetting about social security, our politicians are. I wish I could opt out of it.
It’s a great question for power tools. I don’t use my circular saw very often, but I do use it every month or two.
I'm a Xennial (it's a thing). I think Gen X has had had many once in a lifetime events. AIDS, 9/11, pandemic, world collapse of the economy, and housing. I'm sure I forgot a few but who cares.

This generation and the next have were priced out of a lot of housing options, got reduced purchasing power, none of the sexual liberattion from the previous generation.

Now they're going to be able to rest on all that 401k and social security they've managed to gather and chill in their hard earned homes. Wait nvm.
Related: "As of Q4 2022, the 50-to-61 age group had the highest average student loan debt per person, at $45,138." https://www.investopedia.com/student-loan-debt-by-age-520092...
It's just relative. Senior means you're representing the CTO and entrusted with whatever product needs. Non senior means you're not. Higher than senior is an inflationary term to give the illusion of progress when a company has been around long enough but they can't demote the people hired as senior to non senior.
Scientists reveal mechanistic link between zinc levels and diabetes
Thanks! Wow that is excellent that all those different quants are provided.
No, it’s 202 million chickens every day. It’s 140k every minute.

There’s 300M people in the US. Think of how many chickens you need to slaughter a day.
Or just sell it as salt? We use, I don’t know, billions of pounds of salt per year in food production?
Or a smartwatch or Bluetooth remote. with a giant button that you can hit with gloves on. Like snowboarders use for music on the slopes.
Meta additionally has some internal software called Zelos, which is the zookeeper api but implemented on delos[0], though you didn't hear it from me

[0] https://www.usenix.org/system/files/osdi20-balakrishnan.pdf
Seems almost too good to be true, but I really hope it's not. How does it handle things like CUDA dependencies? Can it somehow make those portable too? Or is GPU acceleration not quite there yet?
I don't see how I could fail to notice that my fellow diner was rudely and discomfortingly holding or using their phone for the entire meal, or that they carefully balanced one end of their phone on top of stuff on the table at a 45 degree angle pointing towards me for no apparent reason
Additionally, Chrome 69 was released ~7 months before that email [0] - in September 2018. This release added answers to certain queries directly in the Omnibox - and presumably it was that change that impacted ad revenue.

[0] - https://venturebeat.com/business/chrome-69-arrives-with-reva...
Take this fantasy a step further. Take the waste heat to speed up processing of dirty water, mean while cooling the servers with that grey water mmm.

I appreciate entertaining the thought.

Seems like "hey? people need house ng, here are empty spaces..." yeah, not my own thought.
Another recommendation: Blair Watch Project.

https://www.youtube.com/c/BlairWatchProject

He services and repairs Seiko watches, records the process for his customers, and then posts them on YouTube.
The EU seem pretty soft on Microsoft these days. The Activision-Blizzard buy out when off without a hitch in the EU.
> From my pov, they are using the violence of the legal system to stop/slow AI.

Luddites used extra-legal methods to try to accomplish their goals, so I don't think the comparison really works.
Well the checkpoint __is__ the computational graph. The graph is also all the code. But if you want it in python... that's here[0].

Please be clear, we keep asking. What are you asking for? Datasets? Training algo? What?

Comparing it to software artifacts isn't a good comparison when any program with open source code (visible or free to use) is equivalent to what's being given. You have everything you need to use, edit, and fuck around with. You don't have the exact scheme, but I'll put it this way, if you gave me the hardware I could produce a LLM of high quality from scratch using their architecture.

[0] https://github.com/mistralai/mistral-src/blob/main/mistral/m...
Only played briefly, but my experience was:

1. Jeez the Panther fires slow for a tank with one of the first auto loaders.

2. Wow other people have the same complaint

3. Statement from the developers that they have used the reload times from a technical document written by the french after ww2, where they disassembled and tested a panther for the government

4. Hang on that panther specifcally had its autoloader removed, and was piloted by untrained people.

5. Located a locked thread with pages and pages of technical data, arguments about russian tank favoritism, and ultimately no change.

The devs bring it on themselves by being very much in love with russian hardware, and being very picky about their sources. They also participate in the conversation and that leads to people trying to prove they are wrong.
No, that's exactly how it works in Australia - a compulsory tax advantaged managed investment account for the individual. There is a separate social security-type (pension) scheme that may or may not still exist for future generations, but superannuation is very much your own asset.
Not a lot, but the snake orgy of wiring harnesses and the three or four plates of accessories bolted to each end of the heads and block and the specific order they're attached is a different story. Also, a monkey can tear down; putting it back together takes a human.

I had to look up poka yoked. I thought it was some regional colloquialism but no, it's Japanese.