skysight-inc/HackerNews huggingface dataset:
AI Provers (math models) are an entirely different class of model from LLMs. This paper and method is about getting language models to be better at math without changing their architecture.

Math models already do math much better than language models.
I've found that the instance hosted by privacytools.io is significantly faster than the official instance.

https://teddit.privacytools.io/
I recently prototyped out a "chat over PDF documents" project.[1] I opted to use LanceDB for vector (embeddings) storage and retrieval and found it really nice to use.

I'm working on using it in a large project now.

[1] - https://github.com/gjreda/scratch-pdf-bot
Oh, no arguments there. When it's good, it's great. It's just frustrating to be used to that level of quality and end up with a bunch of garbage content you have to wade through to get to the good stuff.
So if you train an audio model on say, Eminem's voice, then write some songs and have it perform them...Would this output be legal to publish?
I'm more alluding to what the other comment did - it's about resources. The AGI has its own goals and values and it'd accomplish them a lot faster without 6 billion humans using all the electricity and natural resources and space and asking it stupid questions about how to write their term papers.
Wikipediocracy and Wikipediasucks.co has so many documentations on Wikipedia shenanigans and occasionally, scandals.
Yes, in the context of this discussion, we were talking about dedicated GPUs so I didn't think it was necessary to add this bit of detail. I apologize for the omission.
Twister is the metaphor for me. I had to lock my orientation so that I could rotate the phone around to untie some of two and three finger ones.
Sad to see it isn't just me. I had very real vibes of "surely I'm holding this wrong" in my building an OpenAPI file. And you didn't even mention tools to help deploy, just to help make a client.

To add my difficulty, the document generation inside Sphinx was less than up to date. Such that I didn't even get the pretty docs.
It'd be really great to finally see some anime models hit the Stable Diffusion scene.
Archive.org was knocked offline the other day due to some AI startup scraping it to death. It’s not a good thing.
SF is already the second most dense city in the USA. Sure making SF as dense as Manhattan will make SF as cheap as Manhattan, but that be progress?

Increasing supply only works if demand is fixed. But...what if increasing supply only induces more demand? Tokyo is the only city doing well in this category, since they have a lull in demand due to demographics.
Just amazing!
Thank you!
The proposal was recently bumped to stage 4 (the penultimate stage) with at least a couple of runtimes working on implementing (besides v8, which has supported it for quite awhile now)

https://github.com/WebAssembly/proposals
That was the one that I thought of too. I didn't understand why every Invision forum would pop that up as the client to use. Seemed like they were giving away the keys to the castle for free. Crazy.
Reddit is trying to IPO so they are looking for every possible way to make money.
Guaranteed regular annual pay raises (well above inflation) might have something to do with it.
I have a 2kw(?) 12v inverter that I use to power a small welder from my vehicle, it's really useful on the go for repairs.
> You can conjure fantastic (positive or negative) unknowns about anything.

It's not something conjured, though. Unless you believe superhuman AGI which can set its own goals is impossible, or that it's possible but it can't possibly have goals that pose a threat to humanity, then it's reasonable to believe we can invent superhuman AGI which threatens our own existence. Technologically, I think it's possible to do so.

So if we agree that this is possible, can we also agree that humanity is rushing to reach that point as rapidly as possible? I think we are. Even though we're mostly focused on LLMs right now, and even if LLMs are not a path to AGI (which I agree they probably aren't on their own), it's not like there's no research happening on other pathways. Additionally, we can't be sure that current LLM research won't contribute to AGI - maybe the real path is a synthesis of multiple forms of AI.

So there are some very specific unknowns standing between us and possible doom. We're not making up fantasies wholesale.

- Dangerous AI is possible
- We're racing to create it as soon as we can
- We don't know how to tell if we've crossed a threshold into having dangerous AI

That last point is an known unknown which is extraordinarily dangerous. It's like if you're blindfolded and moving your hand toward a running chainsaw. You know that if you move your hand far enough it will be shredded, you know you're moving your hand forward, you just don't how close your hand is to the chainsaw. You should be concerned in that situation.
This paper links Deepwater Horizon and the increase in Vibrio bacteria https://pubmed.ncbi.nlm.nih.gov/23987095/
I never said they were stupid, and I also never implied they stuff their faces with cake. People will order a salad thinking it’s a healthy choice and not knowing it has as many calories as a burger.
The beauty of open source is that the community will either figure out how to make it easier, or collectively decide it’s not worth the effort. We saw this with stable diffusion, and we are seeing it with all the existing OSS LLMs.

“It’s too hard, trust us” doesn’t really make sense in that context. If it is indeed too hard for small orgs to self host then they won’t. Hiding behind the guise of protecting these people by not open sourcing it seems a bit disingenuous.
Thanks, I didn't know those existed, it's great...

Actually do you rememeber the twitter thread when someone took apart one of those test (a pregnancy test, I assume they're alike) and then you realised it's basically a small camera doing the work of your eyes on a very cheap paper test ?
https://twitter.com/Foone/status/1301707401024827392

I don't want to use one or two tests like that a month, it would be too much waste. Good news is I suppose is I should be able to get my hand on a paper tests.
Niriss instrument on Webb maps an ultra-hot Jupiter-like exoplanet's atmosphere
This way you can provide a schema for the error such that a client can parse the response. It makes sense for an API schema to include it.
Still doesn’t support Wayland…
> I have to admit that I really dislike using ~12V batteries for high power applications like this. I say this having built a ~400A ~14V system. It’s miserable.

The schematic looks to be pretty adaptable to higher driving voltage, just need separate 12V for control board. There is even one in datasheet for 24-36V operation

>2: batteries with microinverters and a civilized way to share current. A manufacturer could make a single package with a 1kWh battery, a BMS, a low voltage, low current DC auxiliary output, and a ground-fault and overcurrent-protected 110-250V AC input/output. And an RS485 or 10BASE-T1S or CAN connection so that they can coordinate their I-V characteristics to appropriate distribute charge or discharge current.

> Now you can connect as many microinverter-batteries as you like in parallel, using #14 wire, to one ordinary circuit breaker per battery plus (depending on the overall arrangement) one big breaker to protect the common bus.

You can build it right now. AC coupled batteries exist; here is some random one that scales up: https://www.fortresspower.com/ac-coupled/

The problem is that you generally want batteries when you want renewables and in that case just having one big box handling batteries and solar panels is more economical than microinverters everywhere

48V battery pack + BMS is significantly cheaper than same thing with microinverter, and when you scale up one big inverter is cheaper than a bunch of smaller ones.

So yeah, it is "best" but also most expensive way. And frankly, the hardest to develop, which is probably why there is little to no open designs for that.
Your quote is a great demonstration of why it is so hard to push back against the con artists running these terrible gold rushes. It takes legitimate criticisms, and uses them to indict and reject the entire subject (rather than merely its excesses). It would be fantastic if the purported "law and order" and "second amendment" crowds were to practice what they preach, look at the terrible injustice of summary executions by cops, sometimes for nothing more than exercising one's natural right to self defense, and came away demanding that cops be held subject to the same laws as everyone else.

But no, the topic is just used as an exercise in the just world theory and a jumping board for justifying the different flavor of authoritarianism pushed by the "alternative" political party. And then tops it off with a nonsensical reference to abortion to continue preaching to its choir, as if saddling someone with an unwanted child is in any way caring about either of their lives.

Sorry, these "opposing" camps of political hacks support each other in yin-yang and your referencing of one is nothing but a contribution to the problem described in the article.
What's the difference between that and someone else who just happens to sound like Eminem in terms out output?

As long as you don't market yourself as Eminem that should be completely legal.
Did you do anything to speed up Teddit page loads? I self-host too and Teddit is a bit sluggish since it seems to load everything on the page before rendering[1].

I tried Libreddit as an alternative, which is much faster, but I prefer the look/feel of Teddit.

1. https://codeberg.org/teddit/teddit/issues/248
This Falcon-40B royalty free license may force Meta ... that LLama-7B/13B may soon be fully open sourced as Meta wants open source LLM advancements and contributions on its own LLM architecture.
Apollo is also a producer to Reddit, as a large portion of its users use the app and contribute data via it
Technically you don't need to rotate the device (I did it with my touchscreen-enabled laptop), but you will have to get out of your chair!
Heavy notebook user here.

This isn't the same at all.

Often in a well done notebook you'll have data display etc which doesn't translate well to a plain python file.
I used to use it, but I prefer Invidious
What if you overfit your model to the point of exact reproduction? Or anything in between that and what you consider inventive. Where is the line drawn.
That page states: "To identify these rare, extreme cases, we rely on multiple non-governmental and non-political organizations that specialize in objectively assessing journalistic standards."

Is there any transparency (an up-to-date and publicly-accessible list, for example) regarding exactly how many of these "extreme cases" there are, and which specific web sites are involved?

Is there any transparency regarding who exactly these "multiple non-governmental and non-political organizations" are, too?

For each "extreme case", is there any transparency regarding the assessments that were considered?
> "not taking these things seriously" is very different from regulating something in it's infancy because of fear of the unknown.

I mean, we should have better regulated carbon emissions generations ago. We'd have a lot more time to deal with it, because we haven't been able to deal with it in the century+ we've known about it. And AI extinction risk is likely to move faster than carbon-related climate change.
Hard to compete against the Bluetooth enabled one-time-use pregnancy test.
The roadmap here is completely focused on ChatGPT and GPT-4. I wonder what portion of their resources is still going to other areas (DALL-E, audio/ video processing, etc.)
> nobody's being oppressed

I would argue you're wrong, because there is a long, colorful history of rulers oppressing populations by making the possession of weapons illegal. If the populace has no means to fight then they can't revolt. I'm not saying my neighbor should be able to buy ICBMs, but it's definitely true there's some element, no matter how small, that he's being oppressed by not having access to the same level of force as his rulers (the government).
The height of trust rot is Science publishing Woo Suk Hwang's 2005 stem cell research. This was one of the top scientific journals publishing research that appeared to be a nobel-prize track line of research that would have been a breakthrough in medical treatment. Instead it tainted a line of research.

The research results were fraudulent, claiming a much higher success rate at generating a stem cell line than what was achieved. They lied about the number of stem cell lines generated, the number of oocytes used to generate the stem cell lines, and the number of donors the oocytes came from.

As if bad data wasn't enough, they lied both to their donors, lied about their donors, and miscredited authors.
There's two reasons why they don't want third-party clients as a pro feature:

- It's a very niche thing to charge for, and merely charging for something means having to support it, so you can be underwater on support costs alone

- Users on third-party clients are resistant to enshittification

The business model of any Internet platform is to reintermediate: find a transaction that is being done direct-to-consumer, create a platform for that transaction, and get everyone on both ends of the transaction to use your platform yourself. You get people hooked to your platform by shifting your surpluses around, until everyone's hooked and you can skim 30% for yourself. But you can't really do this if a good chunk of your users have third-party clients.

This is usually phrased as "third-party clients don't show ads", but it extends way broader than that. If it was just ads, you could just charge $x.99/mo and make it profitable. But there's plenty of other ways to make money off users that isn't ads. For example, you might want to open a new vertical on your site to attract new creators. Think like Facebook's "pivot to video", how every social network added Stories, or YouTube Shorts. Those sorts of strategic moves are very unlikely to be properly supported by third-party clients, because nobody actually wants Twitter to become Snapchat. So your most valuable power users would be paying you money in order to... become less valuable users!

If social media businesses worked how they said they worked, then yes, this would actually be a good idea. But it isn't. Platform capitalism is entirely a game of butting yourself in to every transaction and extracting a few pennies off the top of everything.
In what context would it make sense to make an argument that ran counter to statistics bearing on the subject when the statistics themselves appear uncontroversial?

It seems like an empty criticism to point out that someone's cited statistics agree with their argument.

Instead, either find a problem with the argument or find a problem with the statistics.

Furthermore, I made no claim that people ought to get vasectomies.

My intention was to counterbalance anecdotal fear mongering about a procedure that is well known to be safe and effective as form of birth control.
Discord already has a forum feature, it’s just rarely used.
This how I imagined the joke in my head: Conservative men think liberal men won't contribute to the gene pool and are happy that their kind will dominate but in the end since they are terrible people their kids end up being liberal anyways.
Make more sense ?
> recent "RCEs on Google engineer workstations is not a security issue"

I'm interested in reading that if you have a link.
It was indeed a little... bizarre.
Piped is another option that can be self hosted:
https://github.com/TeamPiped/Piped

It's been on my to-do list for a while now.
I make no claims about any specific architectures, only that human intelligence isn't anything special and so far we've done a pretty good job at blowing past it in a bunch of domains.
The hardest one for me was the 4 fingered puzzle where you had to move all 4 from one side of the screen to the other in a line, except the lines overlapped with the neighbors multiple times.
It's absurd that people are still thinking that a language model which a bunch of tokens are indexed is some kind of 'AGI'.
Yeah, I had a djb net parser my (work) friends wrote that would end up dropping the connection if the last byte read was the byte before the separating comma. https://en.wikipedia.org/wiki/Netstring

Only happened with very large database reads so that the 1440 byte segments hit that spot. New manager and he started mocking me during team meetings on why I was so obsessed with these load tests succeeding and then was amazed at the 2 char fix (adding +1 to the read till length call).
If you're not going to socialize AI gains, and leave in place the social systems that value people by their output, waiving copyright or other IP is astoundingly anti-humane.

What should be instead is that fair use doesn't apply to AI training. That is, anything other than explicitly negotiated opt-in should be illegal.
I really wanted to learn it, but I wanted to learn F# & not C#. The problem is...you can't really learn F# without knowing .NET and how it does all the OO stuff. Even the most basic things that require one easily googleable line in Python would return no results for F#. You just have to figure it out in C# and then you can apply to F#.
That kind of thing don't exist because it's illegal because it gets people killed and governments toppled. Privacy isn't human right for nothing.
What if you lose it, or the private key leaks?

A public key is a pretty bad identifier by itself. The combination of a good identifier with a public key/certificate binding to it is pretty powerful, though.

The US has a good public identifier (SSNs), but they are completely unauthenticated. German arguably has the opposite: Widely available e-signature capable ID cards – but they only bind to your name (and DOB).
Tell HN: Anyone else happy that crypto and Bitcoin spam is over?
So glad it’s behind us. I was checking out the new posts and I’m so happy there’s nothing about the largest grift ever executed in history.

I am glad that AI posts are at least about something useful and novel.
JavaScript Macros in Bun
I've had to move to using Azure OpenAI service during business hours for the API-- much more stable unless the prompts stray into something a little odd and their API censorship blocks the calls.
All of Andrew's courses are great! He released 3 today, all free for a limited time at around 1-1.5 hours in length each.

This tweet outlines the topics and links to each course: https://twitter.com/AndrewYNg/status/1663984377918001153
> If I were making something for this problem I would make an AC-DC-AC converter with a PLL to divide the 60Hz input frequency to 50Hz to control the inverter.

This is the best way to do it, especially if the synchronous motor inside the clock is actually fed with a lower voltage from a transformer (which seems to be common in old radio clocks as they needed a transformer anyway to power the radio circuitry). If that is the case, it should be possible to bypass the transformer entirely and build a converter that operates entirely on low voltage; some quick searching suggests that this exact kind of project has already been done before in fact [1].

[1]: https://mitxela.com/projects/phase-locked_inverter
If your most dedicated/prolific users mainly post/comment using third party apps...

Thats really easy for Reddit to measure. Why are you assuming they haven't?

It strikes me as a very shortsighted move.

If you stop assuming that Reddit is run by idiots, and you consider the likely probability that they've modelled this stuff in some depth, it's easy to believe that your initial assumption is wrong, and that the users are on 1st party apps (or will be if others shut down), and that many will stay and continue to post rather than leave or stop posting.

Your premise is based wholly on the belief that you know more about Reddit users than Reddit does. That seems dubious to me.
It hasn't been proven possible, but it's reasonable that it's possible. There's no theory I know of saying that it's unlikely to be possible. Compared to FTL travel, for example, which we have theory enough to state is not likely to be possible.
happy user of my own (free, no ads, no account, all locally stored) android app Idea Growr, and I have ideas in there that are many years old that I revisit. including the first entry, Idea Growr itself.

Why let go of old ideas? in a year you'll have a different perspective and a bad idea can become good or inspirational. I believe in quantity.

The app is for ideas only, so easy to retrieve. Most if not all my 'pet projects' started inside that app.
The go API has two modes: expose network errors to the caller or “trust Google.”
I love this, and I love how disturbing it is for a lot of people (especially those who only read the title)!

We think we write to remember, but it's really the act of letting go as the article gets into as a theory, that really lets those notes become effective to us. We can revisit these notes at a later date, with fresh eyes, having forgotten about it entirely. It adds value, not because the original idea or note was particularly great, but because of what we are then combining it with (action and experience).

This is also why blindly making notes isn't effective as a form of memorizing. You are writing just to write, you have to revisit them blindly in a new way for them to become effective with a new combination. As if you are a chemist creating a new concoction previously thought impossible.

So let your notes app become a giant trash pile. It's better for you, and they should do their job with proper search anyways. Don't spend time optimizing for note link graphs or any of that BS that doesn't help you and you absolutely will stop caring about those "features" in 5 months anyways. Such features are just productivity industry nonsense to make you feel productive while the content remains elusive to your mind.
I assume, there is a common point of failure?

Notably, human working memory isn't great either. Which begs the question (if the comparison is valid) as to whether that limitation might be fundamental.
Westpac sees 46 percent productivity gain from AI coding experiment
Believe it or not it’s actually totally feasible to come up with a one-time number, paid upfront, that represents adequate compensation for future services. Obviously it’s going to be a multiple of periodic pricing, but equalizing a one-time payment versus a series of cash flows isn’t rocket science.

And though it’s easier to price a subscription, those also tend to be more user-hostile and occasionally not that great for the developer either (just look at the recent Twitter client debacle, where for-profit enterprises were begging their users not to ask for a refund for prepaid services that could not be rendered). I can’t imagine anyone came away from that with a good taste in their mouth.

I don’t begrudge anyone the right to earn a living, but in my mind the vast majority of subscription models on the market don’t imo represent a very compelling value proposition.
> I don't know why so many website companies aren't allowing users to pay to use their own client...

If you do that, I'm going to make a client that uses a rotating set of accounts and masquerades as a different client. I am then going to make content available through my client for free, and I'm going to put ads on it so that I can make money. With some small number of accounts, I will serve perhaps x1000 users and you can't do anything about it.

In time, perhaps I will lock the users into my platform. They will talk about how the community on Reddit doesn't understand Reneit and how all the memes come from Reneit. If I win, I'll be Reddit over Digg. If I lose I'll be Imgur.

So go ahead. You'll be Invision to Tapatalk and you will die.