skysight-inc/HackerNews huggingface dataset:
I used to work with a guy who worked at a prominently successful FOSS style company that used self hosted licensing as one of their bigger sales models (think like Elastic or Mongo) and he mentioned something I found really interesting. He said that you really should not care about licensing that much beyond just basic controls. Why? The people that would cheat your licensing are very often not who you want as customers anyway. The real moneymakers would never risk being caught out violating license terms. So really licensing software, at least for enterprise software, is kind of a dead end from that perspective as a moneymaker.
I have also spent some time on 2) and implemented several approaches in this open source optimising llm proxy - https://github.com/codelion/optillm

In my experience it does work quite well, but we probably need different techniques for different tasks.
It’s not fatalism. It’s the reality we live in.

If you think there’s going to be some great concerted effort and legislation and magic new technology coming, get real.

If you want to “fix” climate change then a lot of people are going to need to decide to make massive shifts in how they live. And that just isn’t going to happen by choice.

But do keep dreaming about that technology that lets us keep living as wastefully as we do.
Those are placeholders for user callbacks passed to the device mapper subsystem. It’s a usage example not implementation code.
How is it safe to assume that? Who is still manufacturing Betamax tape decks?
> The CCP doesn’t want ad-tech startups

well that's one thing we can agree on.
Yes indeed, and personally if we have AGI I believe it will arise from multiple LLMs working in tandem with other types of machine learning, databases for "memory", more traditional compute functions, and a connectivity layer between them all.

But to my knowledge, that's not the kind of research OpenAI is doing. They seem mostly focused on training bigger and better models and seeking AGI through emergence in those.
The whole point of having fights and arguments at just the right level is to maximize engagement, retention and ultimately making money for the corporation.

I was imagining the most diabolical addictive AI girlfriend. That's necessarily going to include 'negative' elements.
Yes, renewables are intermittent, but the storage needed to deal with this is rapidly becoming cheaper. No natural gas is needed, although the last few percent of storage shouldn't be batteries. Burning hydrogen in turbines would work, and that can be sourced renewably.

Nuclear is so out of the running economically that even with the (rapidly falling) cost of dealing with intermittency, renewables come out ahead.
Mars rovers seem to function ok there.
I took that course as well, and for me, the big takeaway wasn't that I specifically want to use Coq for anything practical, but the idea that you can actually do quite a lot with a non-Turing complete language. Realizing that constraints in a language can be an asset rather than a limitation is something that I think isn't as widely understood as it should be.
Just pass a link to a GitHub issue and ask for a response or even a webpage to summarize and will see the beautiful hallucinations it will come up to as the model is not web browsing yet.
Not everyone has the same experience with the replaceability of their job role as you do. I've tried pretty hard and it just doesn't work for me. Admittedly I'm in compilers which makes it a bit harder, but just in general there are a lot of engineers who are in the same relative position.
Unfortunately, no. Or, rather, I'm sure there's a way to make it happen although that's not typical practice. Typically you'd resort to mapping the left sides of your eithers so that the error types match.

Rust offers a similar facility (though specialized to just handle a couple kinds of error handling) using its `?` syntax. This works essentially identically to the do syntax above, but also includes a call to transform whatever error type is provided into the error type of the function return.

Note that in Rust (a) this technique only, today, works at function boundaries and (b) will always be explicitly annotated since all functions require an explicit type. This helps a bit over Haskell's more general approach as it provides some additional data to help type inference along.

That said, if you were interested, it's likely possible to emulate something very similar to Rust's technique in Haskell, too.

But I don't think I've ever seen that. It just doesn't feel as stylish in Haskell. The From/Into traits define a behavior that's much more pervasive than most type classes in Haskell. It works well for Rust, but is I think less compelling to the Haskell community.
AI girlfriend that always agree with you and never contradict anything you say isn't going to be as addicting as an AI girlfriend who on occasion disagree with you.
You might want to check out "Elon Musk" by Vance on what his innovations were with the battery and drive system. Yes, people knew about regenerative braking. When was the last time someone built an electric car with regenerative braking? The Tesla was not built with off-the-shelf batteries and drive systems. Musk originally tried to, but they were unworkable.
>whatever the mechanism behind it is.

The mechanism is that there is an additional model that basically outputs chain of thought for a particular problem, then runs the chain of thought through the core LLM. This is no different from just a complex forward map lookup.

I mean, its incredibly useful, but its still just information search.
Which is used by... transmuting it into uranium (U-233, to be precise.)
Ada Lovelace is my grandma
I kind of agree with your assessment, and realize you’re making it off the very limited information of the blog post. (As in, it brings to mind, not that the author is necessarily).

I wonder if the answer to why they behave like you are wondering, is that the people who aren’t very good at it, behave that way because they’re so focused on trying to get something.

There’s an interview with Jim Lawler where he touches upon those same techniques. While I do think there’s still a level of … trying to get something (I think it comes across as sociopathy to some people ), I think the people who are more skilled try to get nothing (or appear to initially) and build social connection seemingly for the sake of social connection. Where it becomes hard (even for them?) to distinguish the difference.
Some rather tenuous assertions of cause-and-effect we have here.

OBL was a self-propelled force. There's no indication that the US supported him, or even knew about him until 1996. To suggest that the US operation in Afghanistan up through 1989 (make of it what you will) "led to 9/11" seems quite specious indeed.

The guy listed many grievances in his justification for the 9/11 attacks, but (AFAIK) the prior US support for the Muj (i.e. the very people he was fighting with), or any aspect of it doesn't seem to have been one of them. Rather, it was all that stuff about the Holy Sites, US presence in the gulf (on behalf of regimes he didn't like), and last but not least the fact of Clinton going after him directly (and trying to kill him in fact) which seem to have lit his flame.

(And then the idea of 9/11 "leading to" the Afghanistan invasion is a wholy different, and even more convoluted thread -- but which also seems to have been sufficiently addressed by others already).
I intend to sound like I'm agreeing with you here, not disagreeing.

The standard is what the committee publishes, yeah. For C++ it's https://www.iso.org/standard/79358.html ; I didn't look up the corresponding C one, but I have a friend (hi, Kate!) who maintains a C compiler who's pretty comfortable with the latest standard. The standard is the official documentation.

There's drawbacks having whitepaper standards that cost money, but this is what those languages have.

For what it's worth, it used to bug me that part of the standard is that there's intentionally undefined behaviour, but I went to BoostCon and heard some of the standard body talk and they impressed me as being thoughtful about leaving areas for implementers to innovate specific optimisations, so as not to restrict the potential of the community.

If I'm reading you right we agree that there's a difference between the standard and the implementation that's practical and real, but I'm not certain there's much to be done about that.
Ah, but we live in the glorious future, where retailers are just fronts for flea-markets filled with third party crap, and claim zero responsibility. You thought you were buying a flash drive from Best Buy? HA, you actually bought it from AHJKHJ Pty Ltd! And no we won't help you!
Threat Analysis Group (Tag) Bulletin: Q3 2024
Anti-Musk though I am, this really is a form of not thinking rationally.

Dude literally wants to leave the planet and all they want to do is kneecap him. Hello?
Wow, I thought I was masochistic. What possessed you to take DC and GA (two of the hardest classes) together?

I took DC alone and found it manageable if you weren't a perfectionist. Compilers was the most difficult thing I've ever done, though that was mostly due to my own poor time management during phase 3 (generating the intermediate representation). I didn't complete phase 3, so most of my time during phase 4 (emitting MIPS assembly + implementing three register allocation algorithms + optimizations) was catching up.

Also, as a note, the very difficult classes like distributed computing and compilers are completely optional (though well worth it IMO). The only very difficult class that's required is graduate algorithms.

For those not familiar with OMSCS, there are some class ratings here: https://www.omscentral.com/
> I don’t personally need hearing aids (yet) but I know people that do, and dear god are they expensive pieces of equipment.

They aren't as bad as they used to be. You can get over-the-counter hearing aids in the $200-500 range nowadays.

Even so, at $250, AirPods Pro are in a pretty good spot. The main drawback I see is that the earbuds don't have all-day battery life; users will need to recharge them in the case periodically.
Missing is the repeated attempts to describe algorithms, and how social media platforms like Tiktok "actually" work. It's one thing to talk from experience, it's another to talk about experience.

On second thought, maybe it was inferred from the section Detecting Lies.
doesn't seem to work at all on firefox, but works fine on a chromium-derivative.

a warning would've been nice about a lack of support? ^^
It’s true that things like docs and error messages are also important, but the fundamental task of understanding and reasoning about code is significantly easier if you restrict yourself to pure functions over immutable data.
o1-preview != o1.

In public coding AI comparison tests, results showed 4o scoring around 35%, o1-preview scoring ~50% and o1 scoring ~85%.

o1 is not yet released, but has been run through many comparison tests with public results posted.
There are many successful relationships that don't involve arguments - and which are about constant peace.

Relationships don't require 'arguments and fights and makeups' to be real. And if AI girlfriends offer 'ideal relationships', how is that not 'good'?

You are conflating what people actually want with the artificial drama of TV shows and Hollywood/the messy scenario of reality. If people can pay to get their fantasy girlfriends/relationships brought to life, they will, and it will be successful especially if all forms of conflict/relationship dissatisfaction can be avoided.
Crafting a Custom Windows Auto Updater for Go-Powered Desktop Apps
Microsoft performs operations with multiple error-corrected qubits
> It's no surprise capital goes elsewhere.

Is it, though? China isn't immune from bad economic policy, but its per capita GDP growth still remains globally impressive[0]. In spite of recent difficulties they're still on an amazing trajectory.

Sure, maybe their chickens are about to come home to roost and they're finally in for a reckoning. I feel like that's the wrong take, though. We've spent the last 30 years with a smirk on our face waiting for China to realize their mistake of eschewing democracy and liberal economics. Somehow they've become the second most powerful nation in the world instead.

They're playing an entirely different game, over there. We underestimate them at our own peril.

[0] https://en.wikipedia.org/wiki/List_of_countries_by_real_GDP_...
If you suspect a voting ring is interfering with HN in some way, you can ask the mods and they'll pull the data and tell you.

Is it not the more likely explanation that some people / a moderator decided a summary makes for boring reading, especially given that you need 500 karma to downvote?
Noteworthy yes, unmaintained no.
1. Oxide made an unproven statement ("QEMU is often the subject of bugs affecting its reliability and security.")

2. OP (bonzini) has given specific and valid arguments that that statement is wrong.

3. You're not answering to that specific arguments, but defending Rust and bashing C++ generally without giving any prove.

4. bonzini again provides specific arguments that your generalization is not correct in that context. That despite Firecracker being written in Rust it had a security issue.

5. You still insist without given any solid argument. You just insist that Rust is superior. Not helpful in any discussion. Think about it.
The actual link to the winners:
https://improbable.com/ig/winners/#ig2024
My mistake on that. Yeah, guess it’s only the TS80 series. Either way, it’s been used. But they seem incompatible. Also, it’s gonna be the current that kills you. If they’re running higher voltages it probably isn’t an issue.
I think this model is a precursor model that is designed for agentic behavior. I expect very soon OpenAI to allow this model tool use that will allow it to verify its code creations and whatever else it claims through use of various tools like a search engine, a virtual machine instance with code execution capabilities, api calling and other advanced tool use.
Paper Club: How Flux.1 models work under the hood
Hey all,

With Black Forest Labs’ Flux.1 variants being the current state of the art for image gen, we’re doing a technical dive into a few paper that inspired the work, starting with: Scaling Rectified Flow Transformers for High-Resolution Image Synthesis (also known as the Stable Diffusion 3 paper).

If you’d like to join the community tomorrow 10 AM PST we’d love to have you. We do it live over zoom and anyone is welcome to join.

Scaling Rectified Flow Transformers for High-Resolution Image Synthesis
https://arxiv.org/abs/2403.03206

Join the paper club:
https://lu.ma/arxivdive-27
Found it surprising that php doesnt have nice eqipment for ratelimiting.

It seems an every man for himself kind of project?

My joke was to randomly ignore a percentage of the action. Ratelimit the ratelimiting.
Seems like a huge waste of tokens for it to try to work all this out manually, as soon as it came up with the decipher algorithm it should realise it can write some code to execute.
> I don't know how I can spell this out for people

This part is unfair -- way too simplistic and dismissive. Elon is not drug-addled. He has high executive function, and is very consistent about his big ideas.

Elon is simply a smart guy with wild ideas (so far, so common) but, crucially, he commands and commits enormous resources toward his best attempts at making them happen.

That's what sets him apart from you and me, and it's a big deal. He deserves a lot of credit for the logistical success of diverting US government tax revenue to his attempts.

This article is a good summary of why the Mars thing is implausible. I love the phrase "Frozen Airless Radioactive Desert Hell" and hope FARDH becomes a thing.

For Elon to be right about Mars (at least on anything near his timeline), a lot of sufficiently-advanced technology will have to be invented soon. If there's a 1% chance of him being right, maybe there's a reasonable amount of public funding for it.

TBF, even if there's a 0% chance, there are probably enabling technologies that will succeed, and have enough value to make the investment worthwhile.
> Maybe it'll be popular with bottom-tier junk TV makers

I think the bottom-tier brands offer much better value for money, if you ignore the spyware, and probably represent a large percentage of sales. In New Zealand I am sure one or more of these off-brand TVs were running Roku, but a quick google suggests they are now all Android.
Timely! My kid asked about this just last week.
There are multiple problems. Storing stems or a rendered mix can be fully durable with some care to replicate it sufficiently. But what of for instance the session files, which are likely tied to custom hardware which eventually becomes scarce.

Object storage is a fine proposition for long term retention but it does nothing for the organizational problem that someone needs to continuously pay the bill and ensure the provider didn't lose anything, and that can easily get lost in M&A, estate liquidation, etc.

The bottom line is, if something is worth saving, you need someone to take on the role of archivist that will balance the technical and economic changes that go with preservation. There is nothing passive about it unless hope is the strategy.
Yo Walz imma gonna let you finish but Armada was the greatest Dreamcast game of all time.
In my experience all three you mentioned have their own excellent areas.

MDN covers a vast range of subjects and knowledge levels but is most laborious to maintain and I have seen some gaps due to that.

Rust is also similar in those aspects, but has different "documentations" that don't fully interconnect to each other yet. Rustdoc's automatic nature is great to have a complete and working documentation, but also means that API documentations are often weaker than those of MDN as the documentation should be embedded into the source code. Python has the same issues and also inconsistencies due to the lack of language-wide automatic documentation system (Sphinx autodoc is close but still annoying).

Cppreference (perhaps not intentionally) covers only higher knowledge levels and absolutely standard matters. It is of course very clear that you can't really use cppreference for learning C++ from scratch, but it is well written as long as you fit with those assumptions and its writing quality is comparable to MDN in my opinion.
I’m not quite sure what the point is here. I agree that well written imperative code can be easy to read, and that it’s often the natural style for many problems. I just think it’s always better to use that style in a system that makes the available context explicit and enforces a strict discipline via the type system (e.g. a State monad).

Regarding semantics my experience is that defining formal semantics for languages with unrestricted mutation (or even worse aliased pointers into mutable state) than one that avoids those features.
Thirds vertically. Semitones go horizontally.

The fifth is a knight's move away down, or up and to the left. Like other isomorphic layouts, it conceptually tiles infinitely in all directions.
She wrote the book "Rebel Talent: why it pays to break the rules".
I'm not front end expert, but I have a working knowledge of html & js. I feel like it would still be ok without any JS background, but I could be wrong on that.

That said the language is small enough you can go through the tutorial in a weekend. You'll know pretty quickly if you feel like you're picking it up or feels too foreign.

My gut feel is general programming experience is enough, but don't hold me to that one.
I didn't mention editing, only selecting.

A screen reader can absolutely navigate tables by cells, by row and by column.

But my mistake, VoiceOver calls Finder's list view a table and can navigate vertically in a column and you can navigate vertically without VoiceOver if you enable Full Keyboard Access (FKA).
I'm simply curious and would like to play with it if it's there :)
The idea that success is earned through luck rather than merit is a firmly ideological position, regardless of the domain you’re talking about. If you succeeded via luck then that provides a better moral justification for the related ideological position that you should be deprived of the fruits of your labor as much as possible, for redistribution to others who were simply less lucky than you. It’s really just sour grapes.

The formula for success in any field is simply to make a product that other people want to consume. It’s not 0 variance, but if you have some insight into what people want, and you do the work to execute your idea, then you can simply work through the ups and downs and success is almost inevitable.
Your last part undersells how important a parts holder is. Very often soldering is a 3 handed job. Quite frequently it is a 4 handed job. Somewhat often it is even a 5 handed job. You will save yourself a lot of weeping and gnashing of teeth and end up with much better results if you have a way to line everything up beforehand and hold it steady.

Let’s couch it in real terms. You can try to attempt something poorly 20x because you can’t line things up and your hand isn’t steady and do a poor job with worse aesthetics and in 20x the time, risking damaging your part, or you can get it right the first time with ease and have it look great because everything was lined up and there was no real way that shaky hands might ruin it.

I speak from personal experience here. Spend a little bit and save time, money, and sanity and get a better result.
That is how I learned it at uni too. Unfortunately, I have found these definitions are all over the place in some literature.
Yeah, it might not be morally good. They can still make it like "AI interview practice" instead of "AI interview cheating". Then it would make much more sense to use it and be good at interview using AI
You have a point, but considering Betamax tapes only stopped production in 2016, (the recorders in 2002) and the proliferation of dvd / Blu-ray, etc is much higher I think 20 years is safe. 30 however…

But is there any format you can promise every part of it will be in production in 20 years ?

Amazon still lists some refurbished vhs players but…
Was there an actual safe way to deal with this stuff besides maybe wearing a gas mask while you were working with it?
Even like someone standing athwart history yelling "Stop!"
The rule enabled consumers with perceived mild to moderate hearing impairment to purchase hearing aids directly from stores or online retailers without the need for a medical exam, prescription or seeing an audiologist

Is it just me or does this article sound (pun intended) a bit tone-deaf? All this talk of them "authorizing", when earphones with built-in mics, transparency modes, and adjustable equalisers have existed for years before this, available for everyone to purchase, and can function as a "hearing aid".
I look forward to SCUBBA. Self Contained Underwear Butt Breathing Apparatus.
Which are the "good" probiotic capsules? A lot of this stuff is total snake oil with little or no clinical efficacy.
From the page: At present, Leif, Joe, and Uri do not have pro bono representation. The lawyers they’ve spoken to currently estimate that their defense could cost anywhere between $50,000 and $600,000 (depending on how far the lawsuit progresses).
Do you have a source for their universities paying? Their fundraising page states that "their employers have so far only agreed to pay part of the legal fees".

https://www.gofundme.com/f/uhbka-support-data-coladas-legal-...
I wish Jax had everything I need to experiment with DL models built in, natively - like Pytorch. Instead there are many third party libraries (flax, trax, haiku, this one, etc). I have no idea which one to use. This was the case when I first played with jax 5 years ago, and it’s still the case today (even worse it seems). This makes it a non starter for me.