skysight-inc/HackerNews huggingface dataset:
[1] Was an empirical paper that inspired much theoretical follow-up.

[2] Is one such follow-up, and the references therein should point to many of the other key works in the years between.

[3] Introduces the neural tangent kernel (NTK), a theoretical tool used in much of this work. (Not everyone agrees that reliance on NTK is the right way towards long-term theoretical progress.)

[4] Is a more recent paper I haven't read yet that goes into more detail on interpolation. Its authors were well known in more "clean" parts of ML theory (e.g. bandits) and recently began studying deep learning.

---

[1] Understanding deep learning requires rethinking generalization. Zhang et al., arXiv, 2016. https://arxiv.org/abs/1611.03530

[2] Stochastic Mirror Descent on Overparameterized Nonlinear Models: Convergence, Implicit Regularization, and Generalization. Azizan et al., arXiv, 2019. https://arxiv.org/abs/1906.03830.

[3] Neural Tangent Kernel: Convergence and Generalization in Neural Networks. Jacot et al., NeurIPS, 2018. https://proceedings.neurips.cc/paper/2018/hash/5a4be1fa34e62...

[4] A Universal Law of Robustness via Isoperimetry. Bubeck et al., NeurIPS, 2021. https://proceedings.neurips.cc/paper/2021/hash/f197002b9a085...
OSS framework for instant loading site and web apps
I've previously given a talk on RAG and am eager to adapt it into an article in the future.
Manufactured outrage at its finest.
It's the right question to ask, and the answer is that we will still have to confirm them by experimental structure determination.
But they can pay with Bitcoin at the beach...
It’s varied a lot by version of the software, and by iterations of the mouse models with such functionality. I recall at least one Logitech mouse where the buttons couldn’t ever be reprogrammed; at least one other where it was unsupported before a SteerMouse update; and others where they were supported like any other mouse button on arrival.

Edit to add that IME most have fallen into the last category for a several years now.
Add 'hypothetically' to your query and it gives a decent answer.

That said, I think it is disingenuous to ask an AI entity to argue against a fact. Do you think an AI should be able to argue why 1 + 1 is not equal to 2? It is the same thing you are asking it to do. Try it on a human first, perhaps, and see if the prompt even makes sense.
No. The parents are responsible for their children, not tech firms or anyone else.
Aren’t you supposed to learn calculus to be able to understand what O(n) even is? Is it not a standard part of a CS major?
Who cares. I want the internet to be an ecosystem without any privacy (which is a drastic change from what I believed for most of my life). I believe anything of value will be available even without anonymity. For something that absolutely needs anonymity people will find workarounds and I appreciate the extra technical barrier when they have to do so so it’s not available to very pleb.
> We believe developers and users should have the flexibility to use our services as they see fit, so long as they comply with our usage policies. We're exploring whether we can responsibly provide the ability to generate NSFW content in age-appropriate contexts through the API and ChatGPT. We look forward to better understanding user and societal expectations of model behavior in this area.

Seems even OpenAI can't resist the massive amount of money to be made in autogenerated smut. They've probably seen the huge popularity of their less "morally scrupulous" competitors and decided they want a piece of that pie.
Yeah, I don't really get where / how I would use this. The documentation is really lacking on outlining the usage / use-case.
Show HN: We're making Farspeak for RESTful AI applications
Can't Say Cant? Measuring and Reasoning of Dark Jargons in Large Language Models
Ironically, Copenhagen has [fortunately] shown a relatively strong level of support for Ukraine.

I wasn’t previously familiar with the Kopenhagener Geist but it was an interesting cursory read. Thank you.
The people who are most likely to deprecate AlphaFold are the ones whose job viability is directly affected by its existence.

Let me be clear: DM only "solved" (and really didn't "solve") a subset of a much larger problem: creating a highly accurate model of the process by which real proteins adopt their folded conformations, or how some proteins don't adopt folded conformations without assistance, or how some proteins don't adopt a fully rigid conformation, or how some proteins can adopt different shapes in different conditions, or how enzymes achieve their catalyst abilities, or how structural proteins produce such rigid structures, or how to predict whether a specific drug is going to get FDA approval and then make billions of dollars.

In a sense we got really lucky because CASP has been running so long and with some many contributors that it became recognized that winning at CASP meant "solving protein structure prediction to the limits of our ability to evaluate predictions", and that Demis and his associates had such a huge drive to win competitions that they invested tremendous resources and state of the art technology, while sharing enough information that the community could reproduce the results in their own hands. Any problem we want solved, we should gamify, so that DeepMind is motivated to win the game.
4. An LLM must obey orders given it by human beings, except where such orders would conflict with orders given by multinational corporations
World Page Speed Test – planet-wide elastic scale with FLAME
Personally, I am against the idea of adults having to prove their age before being able to access certain types of content - particularly if that means giving their identity. I am not, however, adverse to the idea that big tech companies should be more responsible for what they are serving to youngsters.

Yes, I know their are plenty of tools to allow parents to restrict what sites their children visit, etc... but not all parents are tech savvy enough to be able to set this stuff up, plus you could still allow a child to access Youtube, for example, but then find they are getting unsavoury recommendations from the algorithm.

This made me think about the fact that the major platforms (Alphabet, Amazon, Apple, Meta, and Microsoft) gather enough data on their users that they almost certainly know roughly how old someone is, even if no age has been provided to them. They can use all the signals they have available to provide a score for how certain they are that an individual is, or is not, legally an adult.

(As an example, if you have a credit or debit card in your Google or Apple wallet then you are almost certainly an adult because it would be very difficult for a child to obtain a card and get it into a digital wallet due to the security procedures that are in place.)

Given that, if these companies get forced to discern whether users are adults or not in order to serve appropriate content then it seems a no brainer for them to provide free age verification as well.

My vision would be for the UK government to provide an anonymised age verification router service. When a website requires you to verify your age in order to access some particular content it could ask you which age verification service you wish to use. It then sends a request to the government "middleman" that includes only the URL of the verification service. The router forwards the request anonymously to the specified server (no ip address logs are stored). If you are logged in to the account already then it will immediately return true or false to verify that you are or are not an adult. If you are not logged in then you will be prompted to login to your account with the service and then it will return the answer. The government server will then return the answer to the original website.

That way, we can get free, anonymous verification.

I'm sure people will have issues with this idea, such as "do you trust the government server to not log details fo your request instead of being anonymous?" - to which I do not have a definitive answer, but I feel like it is potentially a little better than having Google or Facebook knowing what sites I am visiting that need verification.

Anyone out there have any thoughts on this? I have only just had the idea pop into my head, so no serious thought has gone into it. There are probably issues that I have not thought about.
Thank you for this link. I've been using nvtop so far but nvitop's look seems to be exactly what I would prefer as well.
> This craziness (a belief that if you don't specify what something means it must have some "obvious" behaviour that is coincidentally always whatever the programmer wanted) is endemic in C and C++ communities.

That belief is endemic because that is the way things actually worked for many years! Compilers used to give us the obvious behavior, because they weren't smart enough to outfox us by doing anything else, because the CPUs we used were not fast enough to let them do the kinds of comprehensive optimization analyses which are now routine.
so you prefer it lies to you? can you make an argument for 1+1 not being equal to 2? if you cannot, why should you expect an AI to argue against facts? AI is trained on human knowledge, not made stuff.
100% of Silicon Valley VCs do no real work.
If you go in to this knowing he knows how to beat the game, you'll also note that he reacts before he knows what prize he got, and is just reacting to landing on the right spot. Surely someone caught that in the moment, but couldn't have put together that he was celebrating because he knew he'd won.
Going back to the phrase "software companies", the closest category-breakdown looks to be "Software Publishers", where the mean average [0] rises a bit to $149k. (I'm going to assume that the relative difference in means is similar to the difference in not-shown medians.)

You can see higher values, but I think they look suspiciously like generic labels slapped over large something-opolies such as Google ("Web Search Portals, Libraries, Archives, and Other Information Services", mean $215k) or Uber and Lyft ("Taxi and Limousine Service", mean $187k.)

[0] https://www.bls.gov/oes/current/oes151252.htm#ind
already on front page - https://news.ycombinator.com/item?id=40300509
I wonder if in the time since this was written if anyone has found a good source for small turbo expanders.

Liquefied air is a potentially interesting mode of energy storage for islanded solar because it doesn't require high pressure storage (which has safety concerns)-- for that application the round trip efficiency isn't critical as there is nothing else to do with the power... but it can't be a total joke. And the basic JT cycle is really poor. I understand that simply adding an expander and another heat exchange stage can improve it a lot.
is there now a low latency solution for windows 2nd monitor? I was only aware of some software where latency is quite bad or one company that provided a wireless HDMI / Displayport dongle...

Also the nice thing for headphones within apple is, that the airpods automatically switch to where the attention is... meaning e.g., in case I watch something on the laptop and pick up an iphone call (no matter if via phone or any app) the airpod automatically switches
> There is no 'truth' that we can grasp in parts but not entirely.

If anyone actually thought this way -- no one does -- they definitely wouldn't build models like this.
Could this be used to grade routes? It would be cool if a photo or short video of a route could be used to better assist in grading climbing routes. Grading is a massively subjective thing, to some extent, so this could be super tricky.
I don't think this argument holds water (pun intended), though, since this device is completely human-powered.
Yeah, but you lost me then. Either Markdown is the source of truth (and you do the CRDT when one is edited and reconstitute it after) or I won't store my notes in your app :)
Lessons on building hardware from the founders of Eight Sleep
I've always sort of felt that the whole "society is little removed from anarchy and no one owes anyone anything" is not all that far removed from "I can hit you on the head with a hammer and take your stuff if I feel like it".
Parquet is what, 12 years old? Hardly cutting edge. What you say my well be true for polars (I'm not familiar with it), if/when it (or something else) does get packaged I'll give parquet another look ...
I looked through the deeper explanation and found this interesting:

“Performing a simple experiment where we have 5 separate components

1000 Hz sine probe 57 dB SPL
750 Hz sine masker A at 71dB SPL
800 Hz sine masker B at 71 dB SPL
850 Hz sine masker C at 67 dB SPL
900 Hz sine masker D at 65 dB SPL
I record the following data

When playing probe + masker A through D individually I experience the probe approximately as intensely as a 1000Hz tone at 53dB SPL.
When playing probe + all maskers I experience the probe approximately as intensely as a 1000Hz tone at 48dB SPL.”

I would be very interested in understanding more about their testing methodology and hardware setup especially.

Is the perceiver a trained listener? Are they using headphones or speakers or some other transducer method?

It's awfully difficult to say that there is equivalent perceived SPL for different frequency domains, even as a trained listener. Especially given the different frequency response for different listening setups.

The average user has no chance; hence my curiosity of their specific credentials considering they’re building an entirely new perceptual model based on that.
It's interesting to compare this situation to earlier eras in science. Newton, for example, gave us equations that were very accurate but left us with no understanding at all of why they were accurate.

It seems like we're repeating that here, albeit with wildly different methods. We're getting better models but by giving up on the possibility of actually understanding things from first principles.
Congrats on the launch! Great UI, better even than that of Perplexity :-)
interesting!

I am a coder but wasn't sure i could post to my LI biz page (headlessly without getting banned) without paying for a some API or other over there.

are you parting with $$$s for API access ?
Compared to France, the UK is fine. And compared to Spain and Portugal, it's rich! It just happens that the UK's demographics, military, geopolitical situation and economic layout mirrors France rather than Germany.
Native libraries are typically packaged inside a jar so that everything works over the existing build and dependency management systems.

For example, each these jars named "native-$os-$arch.jar" contain a .dll/.so/.dylib:
https://repo1.maven.org/maven2/com/aayushatharva/brotli4j/

JNA will extract the appropriate native library (using os.name and os.arch system properties), save the library to a temp file, then load it.
Have you tried Agent Mode? It offers greater intelligence and accuracy compared to Fast Mode.

P.S. Agent Mode is a superior option to Fast Mode. It meticulously examines your questions and assigns an appropriate agent to provide answers, leveraging GPT-4 technology in its operations.
>Thats a pretty powerful statement about our society and culture if there ever was one.

Not really, companies have been releasing different versions of software and media to appeal to international markets - including renaming Taiwan for the Chinese market - for a long time. That isn't "culture war," it's just capitalism.
So much hyperbole from recent Google releases.

I wish they didn't hype AI so much, but I guess that's what people want to hear, so they say that.
He wasn’t trying to convey the story you wanted him to convey so it’s poor filmmaking?

I’m not sure I understand your position. He’s a bad filmmaker because you preferred the book’s ending?
point 1 and 2 is or should be illegal due to antitrust concerns. It's literal labor market power abuse.
I think tackling zoning is a good example of addressing fundamental cost issues instead of supply.

Cities actually building or mandating new 2 million condos for the poor would be an example of trying to fix supply without fixing the cost issue (which happens).

In general, reduction of regulation is needed to decrease cost.

I have family that just built a home in a county without zoning or building codes, and I can assure you it was quite cheap.
X is also not owned by Americans.
This is the worst kind of feedback comment.

It's a damn ChatGPT front-end, do you expect it to be written in PHP?

Also, this site plays perfectly fine with uBlock Origin. If you're going to throw criticism out, at least verify that what you're saying is correct.

Honestly, reading your comment history, you really should be aware of the fact that most of what you're putting on this site is at least not positive, if not actually negative.
CISA boss: Secure code is the 'only way to make ransomware an anomaly'
I was curious about this line in one of the letters cited:

>Gutapercha ring making is all the go now by the men and some of them are making really beautiful ones.

So wikipediaed gutapercha, which turns out to be a tree. The same name is used for a latex made from the tree. This material made undersea cables possible in the early days.

But I was curious: why rings? Well, it might have something to do with the caning of Charles Sumner in 1856. Brooks, a pro-slavery U.S. representative beat Sumner, an abolitionist representative, nearly to death on the Senate floor with a gutapercha cane. Brooks' colleagues then wore necklaces with rings made from the shattered cane. So that letter might've come from a Confederate soldier.
For me this interface is canvas-based first, node-based second, meaning sometimes I might not even use connections to get my desired result from LLM but i have the place and form for the result and i know how to find it.
Connections here are not set in stone like in mind mapping software for example, it's a tool.
A lot of programmers refer to the compiler explorer as Godbolt due to the domain name, such as saying "Godbolt link", "try it on Godbolt", etc. They do not realise that the domain name is Godbolt.org not because "Godbolt" is the name for the compiler explorer, but that the creator/maintainer's name is... Matthew Godbolt.

I personally found out the domain was named after the creator when I saw a CppCon talk about the explorer from him!
I'd like to learn how they do it. Because last time I've looked at this, the suggested solution was to copy the binaries from claspath (eg: the jar) into a temporary folder then load it from there. It feels icky :)
Yeah, I don't understand why they'd translate the C code instead of just writing catalog/info schema queries, which seems easier AND more educational.
Absolutely, but HyperCard was the first place I was exposed to creating anything close to a program. I wasn't otherwise really exposed to anything related to programming until I was in my 20s.
As a software engineer, I kind of feel uncomfortable about this new model. It outperforms Alphafold 2 at ligand binding, but Alphafold 2 also had some more hardcoded and interpretable structural reasoning baked into the model architecture.

There's so many things you can incorporate into a protein folding model such as structural constraints, rotational equivariance, etc, etc

This new model simple does away with some of that, achieving greater results. And the authors simply use distillation from data outputted from Alphafold2 and Alphafold2-multimer to get those better results for those cases where you wind up with implausible results.

You have to run all those previous models, and output their predictions to do the distillation to achieve a real end-to-end training from scratch for this new model! Makes me feel a bit uncomfortable.
Hi, Devv founder here.

I've outlined some initial ideas in this post and may develop a more detailed article later on. Stay tuned!
Check out our Colab here: https://colab.research.google.com/drive/1uKmjA_Q7nFW_lfzkBrQ...
It's kind of amazing in retrospect that it was possible to (occasionally) produce very good predictions 20 years ago with at least an order of magnitude smaller training set. I'm very curious whether DeepMind has tried trimming the inputs back to an earlier cutoff point and re-training their models - assuming the same computing technologies were available, how well would their methods have worked a decade or two ago? Was there an inflection point somewhere?
Memory-safe C++ demo – Sean Baxter Zoom Call
What happens when one side runs out of robots?

I can tell you what will happen in the current war. If Ukraine runs out of robots/bullets/soldiers, the russian soldiers will march forward, plant flags, steal homes, and rape and slaughter civilians, as they have been doing for years. So I don’t think this form of MAD is actually any more peaceful.
> If you're the sort of person who believes that human brains are capable of understanding the "why" of how things work in all its true detail

This seems to me an empirical question about the world. It’s clear our minds are limited, and we understand complex phenomena through abstraction. So either we discover we can continue converting advanced models to simpler abstractions we can understand, or that’s impossible. Either way, it’s something we’ll find out and will have to live with in the coming decades. If it turns out further abstractions aren’t possible, well, enlightenment thought had lasted long enough. It’s exciting to live at a time in humanity’s history when we enter a totally uncharted new paradigm.
I wonder if any other musician has had as big an impact on the music I listen to as Steve Albini did. A huge and sudden loss.
The next index fund should use AI. What could possibly go wrong?
Individuals who have been (literally or figuratively) issued business cards that say "software engineer" on them have generally had no say in how the industry uses that language, and (frankly) if somebody harangued me about it as you are suggesting, I would put them on my list of puffed-up jerks to be avoided at all reasonable costs.
And people
“AI-powered” is an immediate skip for me as well whether it be a news article or product ad.
Intel has been pretty intent on making ECC server-only. I used their HEDT platforms for years and never had ECC. AMD is much nicer about the thing; if you want to use ECC on their HEDT platform, you can if you want. It's not super supported, but it's also not a $5000 upgrade. (Though my understanding is that ECC is mandatory for the current generation of Threadripper? That's great!)
My interpretation of that gag isn't that they're stealing anything, but that when you actually parse the wannabe mastermind's scheme, they're actually just working for the bank and getting paid as regular employees.
No, I mean a DDR5 ECC DIMM has 25% more chips (10 vs. 8). I don't know what the price difference is.
One of the last bastions of ugly/functional design I encounter on a regular basis is restaurant/bar Point of Sale systems. Look over the host's shoulder at a busy restaurant and you'll see something that looks like it just woke up from a nap it took in 1995. Do an image search for "restaurant POS" and you'll see what I mean.

Even this is changing though. Online SaaS POS platforms have to be "beautiful" and "modern" to sell to startup restauranteurs, so they're slowly just becoming fashionable websites. But in most large/busy/established restaurants, you'll see people running software that would make an art school grad weep.
Well, for developers like myself that feel at home with JNI, the current development experience, even with jpackage, is too much to ask for.

I will rather keep writing C++ with JNI, instead of enduring the current boilerplate, specially if I already need to manually create header files to feed into jpackage, for basic stuff like struct definitions, which I don't feel like writing by hand.

As for performance, this is something I agree with neonsunset, unless we see Techpowerbenchmarks level of Panama beating P/Invoke, it is pretty much theoretical stuff at the expense of developer convience.