skysight-inc/HackerNews huggingface dataset:
Thank you for putting me onto ARC. It seems that it was only finalized in 2019? Perhaps that might be why they might not be as informed of it. If one was to go about guiding the university on this, is there a place for me to start looking into this? From my current understanding, ARC signing requires an intermediary server? Is there a list of open source software that enables this?
a small amount of dogshit work was getting done at 1-3am
Before const generics, you needed this kind of "types" to use integer values in generics, for example for fixed-length vectors/matrices/... (and const generics still have limitations).

https://doc.rust-lang.org/reference/items/generics.html#cons...

They came with 1.51: https://blog.rust-lang.org/2021/03/25/Rust-1.51.0.html
Doesn't chrome remove the user info (or at least the password part) from the URL?

(On mobile now cannot check)

EDIT: check: it does it only after successful access. If the browser still presents the basic auth window because the backend responds unauthorized then copy&paste data will contain the full userinfo
Thanks, looks indeed promising.
I envy you that you enjoyed reading it. I read it in 2020 after the book popped up somewhere (perhaps HackerNews) as the 1st Science Fiction novel by a woman. As a “Science Fiction written in the 17th century,” I found it a bit hard to read with satisfaction. I read it for gratification that I read the “the first-ever” origin of science fiction stories.
How can you build for something that doesn't even exist?
Any examples ?
I'm not even sure what this is? Seem like an email/memo was accidentally post to a website.
They are Radix unstyled components with Tailwind styling so it’s easy to make them your own.

Kind of feel sorry for Radix because Shadcn gets all the hype when Radix does all the heavy lifting.
The point about gamma correction is important. Many effects like scaling and blurring should occur in what's called linear color space, otherwise you add or remove energy, which can look very wrong. Normal RGB isn't linear.

GPUs and most game engines get this correct, maybe because in animated 3D graphics, you'd notice this immediately. But browsers are ridiculously bad at understanding this -- there was an article a while back that demonstrated some pathological cases.
I think you might need to update your "About" section. That's the only part that's visible to non-admins.
Guess he wants the sweet VC checks to keep rolling in.
As I've already said, nowadays there are const generics which do (almost) the same. But before them, these were the only way to use integer values in generics.

They came with 1.51: https://blog.rust-lang.org/2021/03/25/Rust-1.51.0.html
I can fly 1000km with batteries alone too...

Just take a glider, fly it along thermals all day and night, and keep a watch battery in your pocket while you do so.

The longest continuous glider flight is over 3000km by the way.

The difference is gliders are slow. This electric plane will also be slow because it is half way to a glider.
Due to game industry pressure,
although the Metal C++ bindings are a subset of Objective-C implementation.

If you're want to have access to everything, Objective-C++ is easier.

Where C++ reigns in Metal is being the shading language.
I think they're referring to this:

https://m2.material.io/design/environment/light-shadows.html

Notice how there are actually two shadows that must be combined. The point light source shadow rendering depends on the object position on screen.
eBay hit with $3M fine, admits to "terrorizing innocent people"
Civilized is such an overloaded term. What you and other commenters are lamenting is a lack of human rights, not a lack of civilization.
We often take human rights for granted, but in antiquity (less so in the Middle ages) the only rights, that you could possess, were by virtue of your citizenship.
"Build for our future platform now. Prepare to be a customer."
It's not obvious to me that vector size isn't relevant in semantic search. What is it about the training process for semantic search that makes that the case?
For a replacement to arrive in the next 2 years, planes would have to be already in flight testing.

Moonshots are good, aren't they? Difference between Airbus and the various Start-Up moonshoots: the former is financed by their existing business activities, while the latter is financed by VC money.
Base pay, of course. I’d expect a senior engineer at Apple to be getting 300k-400k in total compensation.
YouTransfer: Self-hosted file transfer and sharing solution
Exactly the same approach for C++ (including RelPtr which is called offset_ptr in cista): https://cista.rocks
This is to ease code migration, similar to the original Objective-C interoperability.
I think it’s more likely they have a lot of C++ they want to migrate to Swift
Ask HN: Voice Conversion Methods
Hi All,

I've been doing research on voice-to-voice technologies and have made some attempts to train a model with Retrieval-Based Voice Conversion but I struggled to complete the process due to software bugs/dependencies I didn't have time to resolve.

I plan to make another attempt at training a model soon and would like to ask if anyone can recommend me any practical advice or resources for achieving this?

My personal use case is to replace the narrator of a purchased audio book with it's author (if possible) instead of the voice artist. It is common to find high quality speech available from authors to train a model with. It can be very distracting and frustrating to listen to books with accents and pronunciations that are unsuited to the material.

Thanks in advance
Many Popular Censorship Circumvention Tools Deleted or Archived Since 12/2023
And never will (for any reasonable human lifespan-reflecting definition of "never")
It’s not compiler engineering if it’s not from the City Center region of Cupertino. Otherwise it’s just sparkling app development
The third half is data which only exists on your machine :P

And even if it’s on some shared storage, it may have been generated by another unreproducible notebook or worse, manually.
I read that in the exact same way: things are still more costly than performant so we need a stable injection
It is quite bad, but not that long ago the blur of css box-shadow was different between browsers, too. I wrote a little workaround that rendered a blurred rectangle on a canvas and then picked the alpha value at a certain point to calculate a correction factor.

In that case, Chrome was the culprit, and since I had mentioned that we were working around the problem, the Chrome devs originally refused to fix the issue, but eventually they did the only right thing and fixed it.

Lots of insights in the comments for this issue:
https://bugs.chromium.org/p/chromium/issues/detail?id=179006
Assuming he's right (which is a big assumption, but much more interesting than calling BS), society is going to require some massive changes to carry on functioning. Imagine a world where all knowledge work can be replaced with a clever bot that actually gets things right. Entire industries will collapse. Things we value highly will become close to worthless (largely depending on how much OpenAI charges of course). It'll be so weird. The idea of never paying an accountant or a lawyer again is very appealing.
Don't they have an explicit T&C that says you are not allowed to use their output for training other models?
Can you add ariakit?
Yup, you heard it right. I'm so tired of the obvious and subtle woke propaganda in all these AI models.

So I created Chat Uncensored AI

Your authentic, truthful, unfiltered AI with access to the web. 100% private.

Ask it for images/videos and you can even send media in from your camera roll!

Try it, you won't be disappointed!

Chat Uncensored AI on the Apple App Store

PS: if you have an Android, sign up for a waitlist here ->
if you are an Android dev, email me -> youruncensoredai at gmail dot com
LLMs aren't useful for anything, don't pay any mind to the "I'm sorry, I can't do that"-titled Amazon products, nobody is using LLMs to do anything you'll ever see.
/r/programming might be what you're after?

There are frequent "buddy" posts for people looking to learn together.

Using tools like VSCode LiveShare allows live pair programming during study.
Yes, quite excited about it actually. Personally, I will be most likely moving to the USA within two years (finally figured out EB2-NIW is the way to go). Nowhere else does one pay relatively small taxes and get 11 carrier strike groups out of it! Globally, there is even more to look forward to - tech (bio, space), politics (left seems to be waning), economy are all looking good. If there is something I am worried about, it's the barbarians, but the issue will take a bit more than 10 years to come to a head (and in any case, it's never the barbarians that take down empires).
I assume people who pay less and/or are less costly to compensate (adults, people without babies, etc) get bumped first.

The relatively new “basic economy” class instead of “economy”.
Free cash flow after investor activities, or some such.
The story of Knut – Retrospective of an Agile Transformation
Regression Modeling in People Analytics: With Examples in R, Python and Julia
While not nearly as involved, I've seen similar-ish techniques used for FFTs and similar algorithms, in order to precompute constants.

Here[1] is an example in C++ but given the article it seems you could do something similar in Rust.

[1]: https://github.com/tmolteno/template-fft/blob/master/fft_rea...
Like Object Oriented Programming, Type State Programming is a design paradigm. Using them in appropriate scenarios are very powerful. I am a wannabe Rustacean.
Depending on your stack, there are quite a few options.

Laravel:

- https://filamentphp.com/

- https://bladewindui.com/

Rails:

- https://zestui.com/ (Disclaimer: my project)

Alpine+Tailwind:

- https://devdojo.com/pines

- https://sailboatui.com/ (minimal alpine)

WebComponents:

- https://shoelace.style/

Others:

- https://daisyui.com/

- https://flowbite.com/

- https://preline.co/index.html
It’s a weird time. Elon is similar. The guy says the most ludicrous things but seems to have “delivered” so it’s not easy to discount his insanely stupid comments.

Sama is another one. He is part of some sort of success story, makes a bunch of radical 4d chess type claims, so you can’t discount everything he says, however, even if what he says is true, how do you “build for AGI”? The dude sounds legit bonkers, but again, he has some type of cred because his team delivered a working product. It almost feels like this is a common play adopted by a lot of tech elites. It’s not a coincidence.

“If you find yourself part of some success story, any success, use it to your advantage. Use your ‘cred’ to drive a lot of hype and cash out, using all the cash you accumulate hire hard working people, have them deliver something which in turn keeps you looking ‘credible’, make more outlandish claims, gain more funding, rinse wash repeat”

I feel Jeff Bezos is an example of someone who doesn’t do this. Seems like a practical guy who works really hard and avoids (mostly) making silly claims.
So as understanding of "AI tech" improves it become a tool with specific label,
and magical AI hype migrates to something more advanced and less understood.
However the utility of stochastic parrots in this case is more general and adaptable
to context, you can have it work as chatbot, wikipedia and web search as well as writing
code/script/markup, so there is semblance to "General Intelligence" and developing this
capability improves the result, without reaching some dead-end state.
Perhaps we overvalue "General Human Intelligence" and think stochastic parrots are
somehow below us, when our brains are shaped by similar forces and confabulate bullshit
just as well as stochastic parrots.
Race and gender based IQ research is having its moment on Twitter.

Larry Summers just got appointed to the board of OpenAI.

Is society ready to have this conversation? Probably not.
We (https://dqc.ai) are doing something in the space, yes. Next to a mixture of ML, and heuristic based approaches, plus link & integrations into source systems. Happy to talk about it, feel free to reach out.
By rising VC money
Maybe we misthink what civilized means. In the end it just means to be the group that wins and leaves the most widely circulated records.

Records from other groups are pretty rare and largely coloured by those later ones who came after them and can put lot of blame on them. While very well scrubbing their own wrong doings.
There's a 990 page book linked on the home page: https://fricas.github.io/book.pdf

Also built-in help with ")help ...": https://fricas.github.io/help.html
Creator is hoping to raise at least €1k for basic living expense
> just because of being in the midst of another crisis.

What crisis is the world in at the moment?
Don't worry. The EU manufacturers will get slap on the wrist, while the Chinese ones shall be hit with huge fines, tariffs and other EU antics.
Should be there now!
So Uber should just ignore it and risk getting sued or their drivers trespassed from the airport property?
Happiness Thoughts
Article about being happy through the centuries.
People who think (consciously or not) that all things have massively changed since the golden age / bad old days are often wrong.
I don't think the user can be held liable under the GPL. The GPL says:

> This License explicitly affirms your unlimited permission to run the unmodified Program

> You may make, run and propagate covered works that you do not convey, without conditions so long as your license otherwise remains in force

So the GPL restrictions apply only on redistribution to others. You can do whatever you want on your systems.
There is empirical research showing that hallucinations in LLM tend to vary enormously from one answer to the next compared to accurate answers.

Of course, it could be that GPT-4 has been instructed to lie about its prompt, but failing that, you should expect any answer that stays the same across multiple wordings and prompting methods to be accurate.
box-shadow on Chrome used an incorrect blur radius until about five years ago. Then they finally fixed it.
lol - it's fast & funny

Sometimes it trips out when its got too much convo history but good work so far, op!
Sure, but there is still a point to be made that IEEE think that, while this is not their opinion, it is worth reading.

You might publish contrary opinions to spur debate, but you don't publish things you think are total garbage.

The IEEE thinks this is worth reading.
Luckily the Google Assistant is basically worthless.

Setting a timer and have it remind you that you could have set an alarm instead is annoying, but there have been multiple examples where we set a timer and the Google home mini seems to forget it.

> okay Google, set a timer for 1 hour

>> Certainly, and did you know that I can also look up Wikipedia entries for you.

>> Timer for 1 hour has been set and is starting now

> okay Google, how much longer left on timer

>> You don't appear to have any timers set at this time.

I'm pretty sure that our robot overlords will either forget, get distracted with generating mis-information, or become artists painting portraits of furries.
Tim Daly here...

Axiom is alive, well, and under active development. The current effort is merging the
LEAN [0] proof technology with the Axiom algebra. This involves some deep restructuring.
The target result is proven algorithms, something missing in current CAS work.

(Note that this is project goal F on http://axiom-developer.org)

The effort involves building a parallel architecture to the current Axiom
category / domain layout to enable functions to use LEAN's axioms, definitions,
and tactics to prove existing algorithms.

In addition, Axiom now uses Common Lisp CLOS to enable work using dependent
types, something not currently available in the legacy system. The algebra
hierarchy is now a CLOS hierarchy which enables a lot of flexible extensions.

There is no point in publishing the work as open source since it is still
in the active research phase. When released it will be announced on the
http://axiom-developer.org website and uploaded to github.

One of the Axiom algorithms (Groebner basis[1]) has been proven in Coq.

Wikipedia contains the literate form of Axiom[2] , including the original book
restored from the NAG files.

There is an active fork maintaining the legacy code as mentioned above.

[0] The LEAN Theorem Prover
https://www.andrew.cmu.edu/user/avigad/Papers/lean_system.pd...

[1] Bruno Buchberger. Bruno buchberger’s phd thesis 1965: An algorithm for
finding the basis elements of the residue class ring of a zero dimensional
polynomial ideal. Journal of Symbolic ComputationVolume 41,
Issues 3-4, Logic, Mathematics and Computer Science:
Interactions in honor of Bruno Buchberger (60th birthday),, 2006.

[2] Wikipedia Axiom
https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system...
We haven't seen what AGI would look like, yet. If I understood correctly, what we have are statistical language models. I am far from knowledgeable in this domain, so I defer to Chomsky et al. here [1].

[1] https://web.archive.org/web/20230308110003/https://www.nytim...
Jesus, they must have a hell of a team building exercise routine over there if their employees go that far. Are there similar stories like that?
Have you ever written Java code? Or Lua? Or (as of recently) Python, Ruby, …?
User of LG washing machine spotted that it spent 11Gb of traffic (mostly upload)
macOS has a similar boundary.
Here's an interesting experiment.

Replace the word "AI" by the word "Computer" in the other's text, this will give you a good insight into the way the author's mind works.

What is uniquely dangerous is people who think like this author does. North Korean government mindset.
Please don't start shortening Sam Altman to "Sama", very few people understand who or what is a Sama without looking it up first.
They were well trained professionals. And training time and feeding them is pretty expensive. Also building a brand and name recognition is hard if you keep losing your people.

If people want to see randos fighting they might as well go outside tavern or bar after closing time...
Like what? Surely they're not re-writing their audio stack in Swift?
Placing my bets on codesign
Ask HN: What's your favorite ePub reader software for Android?
I have to say, neither of those answers are very satisfying. Neither is wrong but I don't come away with a clear explanation for why cosine similarity is the obvious metric to use.
One metric is the amount of red in cppreference.

Sometimes one implementation's red box is better than another implementation's green box.

Clang supports the majority of C++20. The biggest blocker on coroutines is a Windows ABI issue and concepts will be ready after a few DRs are polished off. Basically, other than some minor CTAD and non-type template parameter enhancements, the biggest feature lagging behind are modules. IMO, I'm not ready for modules, my dependencies are not ready for modules, neither is my IDE nor my build system. So, for my interests, C++20 support in Clang is more than sufficient.

Apple and Google are perfectly fine with C++17 for their purposes, ...

Well, yes, and they will likely be using C++17 for quite a bit longer. In particular, not only is C++20 a massive update to the language, but the rate of development in the llvm-project has far exceeded the rate at which maintenance capacity can be increased. Not to mention a myriad of other issues, notably the architectural problems in Clang.
See https://fricas.github.io/, which includes a 990 page book and detailed documentation.
Not this again.

The fact it goes through India means India gets a significant cut on the profit and Russia gets smaller profit. That's the goal.

Oil is fungible, it doesn't matter if the West buys it or some other customer buys it. The West refusing to buy oil from India (potentially coming from Russia) would not affect Russian profits.

I'm all for criticizing the West for its faltering support of Ukraine, but this is not an honest criticism. It seems like it's a topic brought up by pro-Russian sources, pushed as part of the information warfare.
Sacem in France.

They're the worst, eg they will notoriously come after you if you play public domain music as well.
> Like doing planks for example. I have never needed to plank "in practice" other than to exercise.

You need it every day to, you know, hold that meat on your carcass.
Content aside, the typeface and general presentation of information is beautiful.
Map of Golang Key Value Engines
As I was confused on the many options of Go key value storage backends, I've created a map.

All feedback and ideas welcome.
I thought comparing capacity factor instead of capacity would be more fair, but I got roughly the same result. Elwha's capacity factor was, at one point, 39% [0], and capacity factor for wind turbines in the US is ~35% [1]. However, we're still comparing a source of on-demand power to a source of intermittent power.

[0] https://www.osti.gov/servlets/purl/6536093 (page 14)

[1] https://www.eia.gov/todayinenergy/detail.php?id=52038
Imagine a hypothetical person asked you the same question, but in good faith.

How would you respond?
Updates on Grounding of Boeing 737 MAX 9 Aircraft
I don’t understand the rationale behind assuming everything old is worse than today’s methods, technology.

I still get my pens and paper when I design a software or study something that I want to learn, and it works trillions times better than watching a video or going through some slides.

I still produce my notes & documentation from books or existing material, and retain that knowledge almost indefinitely.

There’s mounting evidence about both people have learning differences, and using pen and paper exercises the brain in a completely unique way.

Ignoring this is pretty counterintuitive from my perspective.
You need to lower your time preference
Phew! Not a gun.
What are you using on the backend?
Is it an api or self-hosted open-sourced uncensored model?

It says that it's based on the GPT4.5 architecture lol
Profit is value extracted from society. Sometimes it is used to create further value in other ways, sometimes it is used to extract further value.
DevDocs but for Google Drive?

I daydream about a DevDocs to use as an index for our company Google Drive.

The goal being to create something like Notion or Almanac but without having to have a new place to write (google docs functionality is really great and hard to escape).

We currently use Google Sites but it's so clunky and the search will not search inside Google Docs.

Google Drive as is doesn't work as it is too full of too many things. Even well structured, it doesn't function as an Intranet, for us.

I think the answer is that one just waits for Google to make their response to Notion/Loop, but post this in case someone knows of something like that or sees this a different way?
> The training data is on the order of trillions of tokens

A trillion tokens of gpt-3.5-turbo-1106 output only costs two million USD, compared to "the estimated $12.3 billion to be spent on U.S. political advertising this year"[0] in my first (relevant) search result: https://www.msn.com/en-us/news/politics/us-political-ad-spen...
In the case of boys, you have both poles covered: more retarded guys than girls in average but also a similar chunk with gifted guys.

On race, more than race itself the issue lies on lacking proper food and resources and parents or neighbours having a role to be reflected.

Tulsa used to it fine in the US with succeding, educated Black people, but you know what happened.

Don't open that can of worms, because it can backslash lots of smartasses.