skysight-inc/HackerNews huggingface dataset:
On a long enough timeline, Id say yes.

Right now they're comparing to the 7B Llama 2, which is a shadow of 65B llama2, which is a couple steps off ChatGPT, which is a shadow of GPT4.

I'm still comfy saying yes because there's no reason to doubt it will follow the same logic as "eventually $phone will have the same FLOPS as $desktop"
Quoting for context:

>> Magnetite can be found in the hippocampus. The hippocampus is associated with information processing, specifically learning and memory.

>> Using an ultrasensitive superconducting magnetometer in a clean-lab environment, we have detected the presence of ferromagnetic material in a variety of tissues from the human brain.

>> The role of magnetite in the brain is still not well understood, and there has been a general lag in applying more modern, interdisciplinary techniques to the study of biomagnetism.
CodeQL team uses AI to power vulnerability detection in code
Was the title edited? Because this comment does not seem relevant.

However I find coooffee's suggested JAMA article really interesting!
When real songs and AI songs can't be told apart even by groups of fans working together, the artists should be scared.

If AI can be so convincing, then your publisher won't we wanting to pay you to make any new songs if they can just pay an AI guy for a few days to crank out a new song.
Pragmatically you might be able to find a setting for your bank that lets you notify you of transactions over $X, and then set X to $0.01 or $1.00.

Abstractly my larger point is that security isn't a monolithic scalar but rather depends on the threat model and what is being secured. Far too often large entities push out features in the name of "security", but what they really mean is their own security at the expense of yours (eg the TSA). A lot of these pushes (eg SMS 2FA) are like that, especially when made mandatory rather than consensual.
Arguably, more people benefit from funding open source project than paying for a license of a closed source program.
1. Create notes. Use tags and descriptive titles.

2. Don't care about organization.

3. Install the Omnisearch plugin and it's dependencies.

4. Find stuff with Omnisearch.
I've coded in Prolog since 2008-9, mostly for fun until 2017 when I started my PhD in Inductive Logic Programming (basically, machine learning of Prolog programs). I've coded almost exclusively in Prolog since then [1]. I've even used it professionally in two jobs in the past year, although I left both early, and now I'm doing a post-doc in explainable machine learning for robotics, again with Prolog (ILP, really).

All this to say that I've worked on a few substantial, non-trivial software projects in Prolog and I can say with confidence that "the abstraction" does not "leak like a sieve", like you say. It's bad programming practices that leak like a sieve. You can get in a real mess in Prolog if you are not careful. But you can get in a real mess with OOP if you're not careful, as e.g. in the object-relational impedance mismatch.

One of the projects I worked on in one of the two jobs I mention above was indeed a complete mess. But not because of Prolog: because of people who copy/pasted code left-and-right and puked spaghetti on the source file completely oblivious of the need to, one day, maintain their mess. Again, nothing that Prolog is particularly guilty of.

Remember: programming languages don't kill projects; programmers kill projects.

_________

[1] I've become like the proverbial FORTRAN programmer: when I tried coding in Python it came out all Prolog-like. Bad idea. Python doesn't have tail-call optimisation by default.
Uncached, unparalleled builds running on other platforms.
The WeBP and WeBP2 lib are a lot more tested than others format. I tried the official jxl lib and the heic tools, and I was able to identify bugs among these tools.

I'm pretty sure that you can find a buffer overflow in these decoders.
Dup from last week: https://news.ycombinator.com/item?id=37387878
Be interested to know how/where it's deployed!
Recovery phone numbers are much more useful for user tracking than emails though.
The article is just saying a sedentary lifestyle is not healthy. I easily sit for 10 hours per day, but I also work out 6 days per week. I'm sure I'm fine as long as my circulation is good. Exercise is the silver bullet.
If you turn on the closed captions it won't pick up the grainy dialog, but instead picks up the static as applause.
> This is an extremely vague complaint and thus suspicious.

Look I have nothing against using WUFFS but I don’t think you’re in a strong position to determine what’s suspicious: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
I was expecting be disappointed when it was some kind of RC or slot car type thing, but for a vehicle an actual human person fits inside and controls, this is epically awesome.
Godot is announcing a new funding program on the same day!
https://godotengine.org/article/godot-developer-fund/
Coincidence?
Relevant discussion on HN: https://news.ycombinator.com/item?id=37481344
I'm curious how much harder it would be on these planets to launch 1) Sputnik like satellite 2) Hubble Space telescope
I prototype Godot games with a small team that is less technical. They are able to handle (some) GDScript but not C#. I realize my use case is non-professional but I think it's good that a more accessible language is the default option.
I tried it on Android and within the first few minutes I hit the following annoyances:

- Changing the title of a note and then backing out of the note does not save the title change; I had
to switch focus to the body of the note before the title change would save
- Backing out of a note exited the app instead of bringing me to the previous view
- Backing out of a sub-setting view exited the settings instead of bringing me to the parent settings
view, so even looking for a setting that might help the first two annoyances was also annoying

I'm hoping to give it another go, and perhaps even suggest or improve the app when I have some time, but it was definitely an underwhelming first impression.
It has been alleged that the CIA was one of the funding agencies in question.
> Meanwhile Unreal is 5% after 1M.

Which is still more than Unity as long as you game costs more than $5-20?

Of course this pretty much makes making any actually free (not filled with ads free) games impossible.

Edit: If I understand correctly the install fee only kicks in after $200k revenue? If so these pricing changes actually seem pretty reasonable..
All, 1.4.12 is the current version, released today, with bugfixes for the new Properties features.

https://obsidian.md/changelog/2023-09-11-desktop-v1.4.12/
The 'Security Fix' link in the what's new list 404s. (It points to https://www.mozilla.org/security/advisories/mfsa2023-40/ )

Any idea what was resolved? Would it be the recent WebP issue?
If Bazel works for you that's great, although it is still rather complex. For smaller projects Earthly is a better fit.
It's one thing to know a build failed, it's another thing to know why and how a build failed, where it failed, and what the cause was. If I have to swim through or context shift to a separate build system's output to get that, what is this actually doing for me?
8G's max acceleration and -6G when they hit the brakes (using a parachute)

11,000hp!
IntelliJ IDEA 2023.2.2 EAP comes with support for JDK 21 preview features
It's still the only popular webserver to default to HTTPS. Others default to HTTP first, and require you to add more config to enable HTTPS.
… If only people took very likely scenarios with climate change as seriously as the rationalists take very unlikely scenarios.
With the mouse, you can Ctrl+drag to duplicate a tab.
homemade root beer is pretty difficult to do well!
I don't see why there cannot be both?
GDScript is perfectly useful.
Gradle can do the caching of tasks itself in a level of granularity no CI can. If you keep your build cache "live" in the CI, Gradle knows to only recompile what has changed, and to only run tests which changed (or tests something which changed). I am not sure if many other build systems do that, but this is something I would absolutely expect from the build system, not CI. Do you not expect caching when building locally??

The whole idea with CI doing this is wrong IMO. All I want CI to do is call a couple of commands after setting up the environment (which would include the Gradle cache or whatever to speed up things - no need for your revolutionary CI build system).
Curious how people are ‘applying’ the Law of Large Numbers in a way that needs this advice to be tacked on?

> Always keep the speed of convergence in mind when applying the law of large numbers.

Any ‘application’ of the LLN basically amounts to replacing some probalistic number derived from a bunch of random samples with the expected value of that number… and tacking on ‘for sufficiently large n’ as a caveat to your subsequent conclusions.

Figuring out whether, in practical cases, you will have a sufficiently large n that the conclusion is valid is a necessary step in the analysis.
That just makes it even more thorny because "who owns a voice" is legitimately a complicated legal question. Does the record label still own the cloned voice used for a song? What were the original samples used to clone the voice used from?

With Stable Diffusion and ChatGPT you can argue that it's a massive amalgamation of inputs with no specific one having a huge impact, but voice cloning currently requires specific example(s).

In the case of voice actors being unable to get their voices taken down from AI sites, they can't take legal action because the IP owners have the rights to their performance.
I know, this is what I’ve been doing for years. (edit on GitHub, not GitLab, didn’t know GitLab allowed community CI now)
I wonder if the EU is going to amend the USB-C charger requirement to address this.
Copying and pasting my a previous comment on obsidian syncing:

Some options for syncing on mobile:
Obsidian sells a first party syncing solution, which I hear works well:

https://obsidian.md/sync

I do git syncing on Android via termux (It works most of the time, except when git decides to shit itself every now and then on my tablet):

https://forum.obsidian.md/t/guide-using-git-to-sync-your-obs...

I can't vouch for it because I don't have any iOS devices new enough to support it, but supposedly you can use Working Copy to sync via git on iOS:

https://forum.obsidian.md/t/mobile-setting-up-ios-git-based-...
Wow, this is absurdly callous IMO. How dumb does one have to be to deserve death? Why do we have lines on the road when discerning drivers could just avoid other cars without them? I think the idea that industrial deaths are inevitable/NBD/the fault of the victim is more outlandish than it’s implied to be in your comment
Do you have a publically verifiable, accessible record of your statements regarding your being discriminated against?

Because actually a lot of people might argue that not having this, in the first place, is why our societies are so easily corruptible.

The open society dogma, and I admit this is just a thought experiment, might very much include the fact that, when someones rights are abused, it doesn't just get lost in the noise.

Being able to vote - and address grievances for which I require government support - seems to me to be a way to complete the vote as a proper transaction, between the individual and the state.

Right now, you vote and get nothing back - well, you get the assumption that your government is still going to be, relative to the last one, livable (or else you'd be a refugee and potentially pursuing statelessness..) - but when you use your Vote Statement as a way of communicating something public - per your own free will and agency (and thus right) - this is also a responsibility that must be addressed by the next administration .. giving your vote even more relevance to the incumbents and challengers, alike ..
I've struggled a lot with this too. I still feel like others' advice seems to fly over my head, and sometimes different note taking systems have wildly contrasting ideas.
> And then the order table will need to set user ids as a foreign key and you will have two sources of truth

You might be databasing wrong if that results in two sources of truth.
The dependence on sample size is not exponential, it's sublinear. The heuristic rate of convergence to keep in mind is the square root of the sample size, i.e. getting 10x more samples shrinks the margin of error (in a multiplicative sense) by sqrt(10) ≈ 3ish.

The exponential bit applies to the probability densities as a function of the bounds themselves, i.e. how likely you are to fall x units away from the mean typically decreases exponentially with (some polynomial in) x.

Of course, this is all assuming a whole bunch of standard conditions on the data you're looking at (independence, identically distributed, bounded variance, etc.) and may not hold if these are violated.
The bolt doesn't have the big knobs and buttons. Also it has those stupid displays that cost as much as the car is worth instead of a dashboard. Compare it to the controls for the Honda Fit here:

https://cars.usnews.com/static/images/Auto/izmo/354382/2013_...
Love that story.
> What a ridiculous statement, thinking you can somehow figure out how I'd reply "100%" just from reading this thread.

Am I wrong? :) I mean, feel free to prove me wrong, were you a year ago thinking about the possibility of Unity dropping a revenue share model completely? Was that a conversation anyone was having anywhere at all? Forget about your personal response, you might not have been thinking about Unity at all a year ago. Fine. Can you find a thread, anywhere at all, advising mobile developers not to use Unity because they might abandon revenue sharing?

I mean, apparently this is a thing they should have considered, right? So do you have an example of anyone, anywhere, considering it?

The closest I can think of is the general advice to game developers not to use proprietary tools period, but I don't think that's what you're suggesting given you're not on here now saying that nobody should use Unity because of the power imbalance.

> If a company makes a product, say physical goods, and the price of manufacturing goes up but the company doesn't increase consumer prices in response, is it the manufacturers fault?

Nothing physically has changed to force Unity to change prices, nor is Unity claiming that's the case. Also yes, in a scenario where you have an agreement with a company and the company changes the underlying prices of that agreement without warning, you would be correct in saying that it is certainly more the supplier's "fault" that a company goes out of business than the company owner. You might claim that the supplier didn't have a choice, but it would be ridiculous to claim that it's the buyer's fault that the prices changed.

And again, I have to keep saying this: there is nothing physical going on here and Unity the company itself is not claiming that they're changing their pricing model in order to cover new costs. Analogies to material costs don't really apply here.

> All pricing models are made up.

Yep. That's... that's what I said. And if you're asking "who's fault is it that the pricing model is what it is" it's probably the fault of the person who created the pricing model.

"Who's fault is it that this book has these words in it? The author's?"

"No, it's the readers' fault!"

Come on.
It's running here, hosted by https://fly.io - https://www.datasette.cloud/blog/
Here's his book's amazon page:

[0]: https://www.amazon.com/Truth-about-Wuhan-Uncovered-Biggest/d...
Startup Studios Research
Employees work for the employer, not the other way around
> Caching and parallel execution are age old concepts when it comes to CI and every modern build system can do it.

It is much harder to set up caching/parallelization with GitHub Actions, Jenkins, Docker, and Make than it is with just Earthly
With the mouse, middle-clicking or Ctrl+leftclicking on those buttons have the same effect.
I am approaching 3 years with Obsidian!

What I have found works best is to basically forget about putting strong priors on the structure of your notes. Just let everything be flat - or at most, create one level of hierarchy for a specific project.

When you have a new thought, use search. I have a command that pulls up the advanced search tool plugin and fuzzy searches my term. I then quickly scan (visually as cards) the notes I created already. If there is something related to my idea I open that note and continue that thread. If it's new, I create a new note.

This can be improved even more by using tags liberally, but I find that just having a powerful search and taking the time to "check" before creating a new note works very well for my style of note taking!
Air Force satisfied with SpaceX, not concerned about its growing dominance
A Surprisingly Effective Way to Estimate Token Importance in LLM Prompts
And honestly I can't even imagine ever using the public runners because they're permissionless. It's way easier to have them live in your own network and doling out permissions via tags that get picked up by different runners with different iam roles.
Even in modern times, it is difficult to tell when someone is actually, really dead. In older times, without stethoscopes, heart monitors, and other modern inventions, someone coming back from the grave was common enough that rumors around it were somewhat plausible.

But even modern medicine screws it up. Just this year: https://www.bbc.com/news/world-latin-america-65886245.amp

And here is a somewhat interesting article about the history of the problem. https://www.newyorker.com/magazine/2014/04/07/final-forms
Steam and Epic both have a minimum price of $0.99, not sure about Apple & Google App Stores. Credit card processors have a minimum charge that makes lower prices untenable.

> Why do you say you "pretend" in your numbers

Where did you pull 10%, happy to go over your math/model.
I can confirm that. I talked about it in my last blog post.
Air Force Secretary Kendall outlines China threat in detail, response
TBH I just used Reddit as an example of "site with images", I'm not actually concerned about my Reddit account/ think it'd be a good target.
Mobile users put up with even directly "pay to win" mechanics and blatant gacha bullshit. They seem unwilling or unable, for whatever reason, to even conceive of a different paradigm. "Mobile gaming", read mobile unregulated casinos where you can never withdraw, are the biggest and most profitable gaming sector.

Don't worry, companies like EA are looking at that market, licking their chops, and continue to try and push such concepts as gacha into what used to be perfectly fine video games, and plenty of consumers eat up any excuse just so they don't have to go a year without the exact same videogame as last year but worse.
I've been getting daily "Join us in disrupting the estimated future $2.8T AI market." fundraising emails to my WORK address from something called GenesisAI. The prospectus shows some young-looking cryptobro (or is it ai-bro?) with "We would like to lay a foundation for the creation of Artificial General Intelligence and smash the current oligopolistic system of a few large companies basically owning all the AI." blahfest. Yeah, right.
>> (For instance "success" is often represented as a logical false and "failure" as a logical true)

I'm confused by this. false/0 (or fail/0, equivalently) is used to force a clause to fail. Frex:

p(X,Y):- false.

Will always fail, not succeed. So what do you mean?
I don't think this is accurate -- overt autotune in pop music peaked in the 00's, and has really not been as influential in the pop trends of the last decade or two.

Many of the most popular artists today lean away from heavy electronic control, and go for a more acoustic/natural sound.

I think that the AI vocals becoming indistinguishable from the real thing has more to do with the quality of the AI, and less to do with modern pop music sounding robotic.
Fine-tune your own Llama 2 to replace GPT-3.5/4
There has been a lot of interest on HN in fine-tuning open-source LLMs recently (eg. Anyscale's post at https://news.ycombinator.com/item?id=37090632). I've been playing around with fine-tuning models for a couple of years, and wanted to share some insights and practical code. I’ve condensed what I’ve learned into a small set of notebooks at https://github.com/OpenPipe/OpenPipe/tree/main/examples/clas..., covering labeling data, fine-tuning, running efficient inference, and evaluating costs/performance. The 7B model we train here matches GPT-4’s labels 95% of the time on the test set, and for the 5% of cases where they disagree it’s often because the correct answer is genuinely ambiguous.

What is fine-tuning? You can think of it as a more-powerful form of prompting, where instead of writing your instructions in text you actually encode them in the weights of the model itself. You do this by training an existing model on example input/output pairs that demonstrate the task you want your fine-tuned model to learn. Fine-tuning can work with as few as 50 examples but I usually try to get 1000+ if possible.

Prompting still has some big advantages over fine-tuning. It's way easier/faster to iterate on your instructions than label data and re-train a model. And operationally it's easier to deploy one big model and just adjust its behavior as necessary vs deploying many small fine-tuned models that will likely each get lower utilization.

Fine-tuning has one huge advantage though: it is far more effective at guiding a model's behavior than prompting, so you can often get away with a much smaller model. That gets you faster responses and lower inference costs. A fine-tuned Llama 7B model is 50x cheaper than GPT-3.5 on a per-token basis, and for many use cases can produce results that are as good or better!

For example, classifying the 2M recipes at https://huggingface.co/datasets/corbt/all-recipes with GPT-4 would cost $23k. Even with GPT-3.5 it would cost over $1k. The model we fine-tuned performs similarly to GPT-4 and costs just $19 to run over the entire dataset.

Disclaimer: My brother David and I are working on an open-source product called OpenPipe (https://github.com/openpipe/openpipe) to help engineers adopt fine-tuning as simply as possible. But none of the information above depends on our startup. The current post is just about sharing information that we’ve learned about fine-tuning. I hope it’s useful!
Yes, Manx Software Systems lost out to the competition, with the last release being Aztec 'C' 5.0 (with patches) for the Amiga (they also sold the source code to their ANSI 'C' compliant runtime library). Version 5 is one of the compilers available for download from the web site you mentioned.

What's absent are the precursors to this release, i.e. Aztec 'C' 3.4a and beyond. I for one would like to complete my own Aztec 'C' 3.6a which I bought back in 1988. I backed up the disks to image files in the 1990'ies, but these original disks had read errors by then.

Aztec 'C' was a "classic" compiler which translated what you wrote into assembly language source code (with a peephole optimizer involved), then this was assembled into object code and linked. One of the rare features which no other vendor offered was a custom overlay manager which allowed Aztec 'C' compiled programs to load/unload sections of the program in and out on demand. The default overlay model required that you preplanned which parts of the program had to be in memory at a time, which lacked the flexibility Aztec 'C' offered.
Still over 100 deaths per day in the US. And those are official numbers, certainly an undercount.
That was a stereotype from a year ago when Midjourney was first released, and hasn't been accurate for a very very long time particularly as new creative approaches have developed.
Jesus, do you need a G-suit??