skysight-inc/HackerNews huggingface dataset:
These models are clearly great with language, be it natural language or code. However, I wonder where the expectation comes from that a static stochastic parrot should be able to compute arbitrary first order logic (in a series of one-shot next word predictions). Could any expert elaborate on how this would be solved by a transformer model?
Photopea is very close to Photoshop in a broswer. It's amazing really.
와 생각보다 되게 대단해ㅋㅋㅋㅋ
Is there a waiting list for when you get back online? It's giving me a 502.
I'm not sure that's so obvious these days at least. The era of tech mega corps just being able to buy up all the competition seems to be mostly over(ish) for now (.e.g Figma, ARM, Broadcom/Qualcomm, Visa/Plaid)
https://web.archive.org/web/20240627011030/https://alpha.rec...
Yeah - very smart.

I suppose the lines won't be interactive (e.g. "double click on this line to add a text label") because the line isn't there in any sense Javascript would be aware of. Unless Javascript computes the same gradient, which is then a pointless duplication. But it's very clever.

Makes me wonder if there's a missing format out there that should be built into browsers that describes shapes and connections.
This is all sadly too true, which is why I think we should do our best to declutter as we age. Ideally when our time comes, we should only have things of immediate use and value to us left, and pretty much none of "might be good to have one day".

I've seen instances where people couldn't get rid of things due to grief and decided to keep it all tucked away for several decades, leaving the decluttering to the following generation(s). Better then to be a bit proactive.
Well, learning the textbook definition is one thing, but developing an intuition that allows you to use Monads in practice is entirely different.
> the HN operators (pg himself IIRC) said downvoting for disagreement was right.

Wow!

I think that is called doing an Elon Musk!
The chief problem LibreOffice, et al. have is they aren't Microsoft Office.

You have to keep in mind that the main users of Microsoft Office are businesses, both big and small. Not being able to receive or create and send documents perfectly with other businesses can cost A Lot Of Money(tm) if not loss of face and thus trust and thus business.

The multitude of features frankly isn't important, the one feature every business wants is Microsoft Office in Microsoft Office.

Common folks just needing a simple word processor or spreadsheet editor for home or school can't relate because they can't even tell what is incompatible, let alone lose money and business over it.
> Digital archives don't degrade over time

They certainly do. File formats become obsolete, the drives can accumulate errors, when copying the files from an old drive to a new one, some files may get forgotten about, someone loses some metadata, etc.

https://www.getty.edu/news/preventing-digital-decay/
Hallucinations on N2O? How long do you have to breath it for that?
You should change the title to something descriptive like "Show HN: An easy tool for instant
Bilingual Reading"
After taking a quick look at your e-commerce site, you could simplify it further without compromising performance over personalization/technology stack if you have alternative options especially minimal codebase and CDN friendly.
What do you mean by implicitly? Last time I checked, most of button/coin-like batteries (CR2032 and the such) aren't know to be rechargeable, unless you specifically get rechargeable ones.
I am still learning myself, which I why I didn’t delve deeper. But thanks for the feedback!
The entire point of the post is exactly to show what the Banach-Tarski Theorem is adding to our understanding.

Summarising ...

Previously, people thought that it might be possible to define a measure on arbitrary sets and have the usual desirable properties of isometry invariance and finite additivity (we already know countable additivity won't work).

But the Banach Tarski Theorem shows us that's not possible. That is thereby adding to our understanding of what is and is not possible with measures.

So yes, it does add something to our understanding.
Not really, this is actually pretty readable
> If this happened in the US

Perhaps this would be a good moment to pause and ask yourself why this hasn’t happened in the US.
I think the claim is the an interface that revolves a bunch of different tools being applied to the image (e.g. the Lasso, Pencil, Paint, Eraser, etc. tools on the toolbar) is imitating paper. I don't know what the better alternative is.
Streamline Your Development Workflow With Lando: A Comprehensive Guide
Installing Lando, a popular development tool, involves a series of straightforward steps. Lando is useful for local development environments and supports multiple development stacks like PHP, Node.js, and Python.
I can't speak for them, obviously, but, argh, this AI bullshit is just getting so tedious. Like, the methodology described in the article is just _nonsense_.

> "On two occasions I have been asked, 'Pray, Mr. Babbage, if you put into the machine wrong figures, will the right answers come out?' I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question"

Like, people have known this doesn't work since literally the First Industrial Revolution. And yet still we try asking the magic oracle to unbias our data.
My only issue has only ever been formatting from a DOC or DOCX, and having LibreOffice tell me that the page was actually some horrific table that Word had been hiding behind the scenes and that you can't possibly have margins on a table that small.

Words a trainwreck, but it is mostly a consistent trainwreck when displaying an already created document.

[Edit] You can see it in Word as soon as you try to change something and the whole document reflows in ways you wouldn't expect. Obnoxious.
Looking at the beatfreq values in the XML source of the preset [1], it's indeed combination of 4 to 11 Hz beats (mostly theta) and 2 Hz (delta).

[1] https://sourceforge.net/projects/gnaural/files/Presets/Minds...
Matplotlib already has a pretty uncomfortable API. I can’t imagine that wrapping that in a layer of elisp would result in anything nice to use at all.

It would probably be a case of the thing OP mentioned, where the amount of code needed would exceed just doing it yourself.
I was not aware of this, thank you for the clarification!

A good lesson this - even in a space I’m reasonably well informed, I got swept up into assuming I understood the context without researching it thoroughly first. I’ll do better on the next one.
Type safety isn't binary but a spectrum. It's obvious that C++ is more type-safe than JS but less than Rust, which is less than Haskell.
I remember AI Dungeon and character.ai taking off on HN. TIGS is still one of the best game communities around, even if the people have changed. Devlog section has some amazing things too, like Return of the Obra Dinn and Disco Elysium.
A cross-platform browser VAD module is: https://github.com/ricky0123/vad. This is an ONNX port of Silero's VAD network. By cross-platform, I mean it works in Firefox too. It doesn't need a WebRTC session to work, just microphone access, so it's simpler. I'm curious about the browser providing this as a native option too.

There are browser text-to-speech engines too, starting to get faster and higher quality. It would be great if browsers shipped with great TTS.

GPT-4o has Automatic Speech Recognition, `understanding`, and speech response generation in a single model for low latency, which seems quite a good idea to me. As they've not shipped it yet, I assume they have scaling or quality issues of some kind.

I assume people are working on similar open integrated multimodal large language models that have audio input and output (visual input too)!

I do wonder how needed or optimal a single combined model is for latency and cost optimisation.

The breakdown provided is interesting.

I think having a lot more on the model on-device is a good idea if possible, like speech generation, and possibly speech transcription or speech understanding, at least right at the start. Who wants to wait for STUN?
The model where copyright has a short automatic duration plus increasing costs to renew every n years is better.
>What's the modern day barrier to creating a "hobby" TRS-80 Model 100?

Nothing:

https://www.clockworkpi.com/home-devterm
Preventing Digital Decay
Wow I've always heard that South Korean internet is supposed to be one of the fastest in the world? How did that go wrong?
Everyone wants Windows software, which unsurprisingly runs best on Windows.

Normal people don't care what OS they use, they care about using the software they want/need.
Maybe I should have said so explicitly, but in that case the seller would have to pay someone else, e.g. a common fund for promotion of the arts, or general taxation, or to the other bidders in portion to their bids to compensate them for not having any way to access the work.

Are you arguing that the idea is impossible in principle? The details will depend on what sort of incentives you want to end up with, but I can't see yet that there isn't some reasonable solution.
Fun with Linear Time: My Favorite Algorithm
Oh! Thanks for your reminding! :)
In 2024, the intersection of blockchain technology and healthcare is forging new pathways towards improved efficiency, security, and patient-centered care. As the healthcare industry evolves, driven by technological advancements and changing patient expectations, blockchain emerges as a transformative force with diverse applications and promising potential.
One of the key features of a portcullis is because it drops into the closed position under gravity, it's very fast to close. Opening it is slow and involves a winch.

That's in contrast to another iconic medieval castle feature, the drawbridge, which drops into the open position, and closing it involves a winch.

And in contrast to simple doors, which are reasonably fast to both open and close, with no winches required, and which are widely used to this day.

Presumably the article's authors then asked themselves under what circumstances a castle would need something very fast to close - faster than a door or drawbridge - and concluded it was for surprise attacks.
I really think requiring police to carry their own insurance would help a lot here. It would obviously be hard to collect on a judgement against an officer’s pocketbook, but its easy to collect a payment owed by an insurance company. Plus its not weird - we already have many professions which de facto (or de jure) require the professional to find and pay for their own insurance - doctors, plumbers, electricians, carpenters, etc.

There are some downsides to the taxpayers under the private-insurance model. Assuming police are already paid about as little as we can get away with paying them, their salaries would have to increase by the average insurance premium. Over the long term, this should be equal to about 1.2x the awarded payouts. Assuming insurance company profit would be de jure capped at 20%, which happens for health insurance and auto insurance in some states - if the insurance company accidentally makes more profit they issue rebates to customers to bring down profits to the maximum level. So it could be argued that taxpayers would end up paying 20% more. But there’s some additional nuance which may lead to upsides for taxpayers wallets:

1) When a repeatedly problematic officer sees their premiums raised a lot, they’ll likely leave the profession. Removing the most egregious repeat-offenders will most likely lower the taxpayer’s bills.

2) Taxpayers in areas with sudden high judgments against them will be somewhat subsidized by taxpayers in other areas. This at least doesn’t suddenly victimize the taxpayers in areas where they are already victimized by police.

3) Police might be afraid of higher premiums, and change their practices to avoid judgements - thus lowering the taxpayer burden.

Any changes in how police do their jobs to avoid higher premiums could have positive or negative externalities.

- Would certain officers in the “in-group” get assigned lower-risk work and bank more take-home due to lower premiums, and others would be discriminated against by being assigned high-risk patrol areas and face higher premiums either as a result of their specific assigned duties or as a result of occasional interactions that are more likely to occur in those areas?

- Would police officers be even more hesitant to rush into Uvalde High than they already are to stop active shooters?

- Will police officers learn new techniques that are equally or more effective at reducing crime than current abuse-of-power techniques, or will they just avoid policing as much as they can to minimize the risk to their premiums and give criminals a permissive environment to operate in?

Ideally we want to find a way to incentivize professional, courteous, AND effective policing to get the most value from tax-payers dollars. Many people believe courteous policing leads to effective policing, and many people believe the opposite (that more extreme / “rough” policing leads to more effective crime-reduction). For that reason alone I think it might be difficult to get private insurance requirements enacted.

But I do think most people can agree that IF it’s possible to have courteous AND effective policing at the same time, that would be ideal.
Burrito time
Lookalike sculptures and paintings are not copyright able.
> agreement that NATO won't expand east of Germany

What agreement? Even Gorbachev (last leader of USSR) confirmed that there was no such agreement.

https://www.brookings.edu/articles/did-nato-promise-not-to-e...

And it did not voluntarily dissolved itself, it fell apart. Like when your plate voluntarily dissolves itself when you drop it on the floor.
You're talking about how it was to be in tech as opposed to using the tech - what the parent meant I think.

From the consumer's point of view, the parent is completely right. In the 90s/early 00s there was a real feeling that tech was trying to improve your life and make it easier without necessarily controlling every aspects of it.
And in a language like Zig, how would you track the roots, and update the pointers if/when memory is moved during GC?
Note for anyone confused, this is about AMOLED displays commonly used in phones and some OLED laptops from a few years ago.

W-OLED and QD-OLED have unconventional layouts compared to LCDs but every pixel has the complete set of sub pixels (RGB for QD-OLED, RGBW for W-OLED) so it looks more like this:

https://external-content.duckduckgo.com/iu/?u=https%3A%2F%2F...

Just mentioning as while AMOLED phones being the majority of OLED displays seems plausible to me, it's likely not what people in this thread are picturing when they see OLED.
I think the single best argument against this viewpoint is to just look outside. People are obsessed with iPhones because they're a superior product, not because they were sucked into a PR campaign filled with Justin Long ads.
The people that develop git also implemented rebase and especially interactive rebase. And added options to make rebase the default for pulls. Perhaps it is you that doesn't understand Linus' points and what they do and do not apply to?
I hope not. If we find a way to convert water into bitcoins cheaply, we will rapidly boil the oceans. This will be worse than global warming. The biosphere can re-evolve after a CO2 and temperature spike, but all known forms of life require water.
CATL expects its batteries to power electric aircraft with up to 3,000 km range
In Europe it was common to have disputes between parties with competing several hundred year old claims. Adverse possession prevents this.
I guess "medical-grade" xenon (for anesthesia) would be extremely more expensive (with warranties on purity from contaminants such as pump grease).
ahhh, IT lessons at school. That was our local chat tool.
We have to get fine with below 99% availability.
Unconscious from the hypoxia?

Why don’t recreational nitrous users mix in some oxygen like medical users do?
How is this a dupe? Different topic, different article.
Even when I do know which commit I am fixing I usually don't know the commit hash without looking it up - and doing that takes as long as manually reordering the lines in an interactive rebase.
Would be fun to add an emulsifier :) (particles that bond with 2 colors)
I'm constantly amazed by how much can be achieved with only CSS nowadays. It seems like it's getting more powerful by the month as developers find new and tricky ways to push the boundary ;)
Even more if one is sending out hardware-devices. It's pretty clear that the folks over there came from the Web-world and more frontend than backend and didn't follow industry-wide best practices at all.

I hope they have a good lawyer, because there will be one that sues, i'm pretty sure.
Luckily, most people don't live there and they are well connected to a big grid that isn't like that.
yes, I think java.desktop can work on top of cosmo, so long as we figure out the rest of the work to get a Native Image backend working for cosmo.

in the meantime, look at Native Image and jlink, as neither of these require a Java installation on the target machine.

jlink is usually not workable because it requires JPMS. not even guava ships a module info yet, so that’s tough.

Native Image works great, it just needs a cosmo backend. It supports most of Java’s native desktop APIs.
Can you point me to this treaty? Russia had admittance into the West. It wasn't serious about it. There was excitement to welcome Russia into commerce and brotherhood with the West. Russia wasn't considered an enemy after the fall of the Soviet Union until it chose to be, by becoming an expansionist power under Putin. An easy way to tell is to look at American movies in that time period--Russians stopped featuring as the default villain in American movies--no more "Ivan Drago" as foreign antagonists. The opportunity was there.

NATO doesn't threaten non-expansionist powers as a defensive treaty. Read the treaty. Being "admitted" into the west is easy--don't invade other countries, send little green men army invasions or make bellicose nuclear threats, and focus on business-first and the red carpet rolls itself out.
Most people who are going to experiment with this are going to do so out of a balloon, not a regulator.
I wrote a ton of Pascal on Concurrent DOS (multiuser CP/M variant) using Wordstar in the 1980s... so today, instead of nano when I need to pull up an editor for some basic terminal editing, I pull up JOE's Wordstar mode (jstar) just for a breath of nostalgia...
Music industry has been doing this already, for at least a decade now.
Unfortunately for you, working in a team means changing the way you work in order to facilitate cooperation.
I don't think marketing is too hard honestly. It's just that many people make a game that doesn't look amazing on the surface. The hits come with a different structure. If you can't hook someone in the first 3 seconds, it's going to be very difficult. That means name, screenshots, etc too.

I could do a little analysis, but Genfanad is probably hard to sell because... what's the name mean? It seems rather niche and artsy. I'm not sure what's going on from the site. Reconquest is quite obvious from the name and going into the screen, it seems... woah, maybe I have a lot of agency here? Then you look at comments and read of people getting ganked without moderator interference. That's likely why it took off.

Many games are fun to build and play, but they'll never ever be hits and have to be fixed from a structural level. Names are easy to fix. Steam is also very much hit and miss; if you don't have a certain level of wishlists, it's just going to be a waste of time doing any marketing.
No, it’s not possible, because bytecode compiled at a higher level cannot be run by JDK8. It can’t even parse the class file.

Most projects are compiling at JDK11 or JDK17 now at least, if not JDK21, which is the latest LTS.

the latest release is JDK22. so if you’re running 8, you won’t be able to run much modern Java at all.
This comment chain reminds me of the early 2010s

https://youtu.be/hWTFG3J1CP8?si=01CPwHIFDMoENWFe
You can probably come up with some messy compromise. But I'm not sure it's really much better than the existing system which already comes with fair-use constraints.

Or you could eg charge people a certain tax as a proportion of their self-declared value of the copyrighted material. (With the provision that they need to sell the rights to that material at the self-declared value to any comer or something like that.)
Check this out: https://www.nango.dev/
Given that there is currently debate about adding Nuclear to the energy mix in Australia I have a few things that come to mind.

Is this Nuclear option just F.U.D. over renewables and storage so that investment dries up and fossil fuels remain to be used?

Is something like Nuclear required to power the "AI" data centres of the future given that they're likely to consume a large load of power continuously? So if Australia does not have something like a large base load of power (coming from Nuclear) it will get left behind in having large scale data centres onshore?
> Afghanistan is overwhelmingly Sunni Muslim, Iran is overwhelmingly Shia Muslim, and those two groups HATE eachother.

That such a hilarious oversimplification. You are just bumbling into a highly complex issue throwing around generalizations.

The issues between Iran and Afganistan are overwhelmingly about water rights, not some religious battle.

Iran supports different groups within Afganistan, including Sunni and Shia.

> if you want to keep those two countries busy murdering eachother for the foreseeable future, well, you "give" a bunch of semi-modern military hardware to Afghanistan, obviously.

Except Afghanistan is not using those things to fight Iran at all. There is no hot war. Afghanistan can't really operate that stuff anyway, what they do is simply sell it as parts to finance the government.

And as it looks right now, a war with Central Asian countries that the US certainty wouldn't want is far more likely then a war with Iran.

> When I look at it though, I don't see a blunder, I see a strategic move.

If you want to 4D galaxy brain yourself out of any bad choices by the government you certainty can but its just complete nonsense.

The reality is these process are simply not planned out. Communication between militarily and politics are terrible. Sometimes things just are what they are.
Hameroff is one of those common pseudo-psy frauds. Dawkins hit the nail on the head when he said consciousness is hard to grasp and understand so everytime something in science comes along that is also hard to grasp, people latch on to it as an explanation. 70s it was chaos theory, then everyone switch to quantum entanglement, and already seeing it leak into AGI.
Looks like there’s a new build with the 6.6 kernel. I’ll try this over the weekend and report back!

Edit: I just did a quick test, it seems to work pretty well. The volume control works, the camera works. So far, what doesn't seem to work is the fingerprint sensor and automatic orientation. The pen also seems to work.
So, farmers destroyed their crops and starved. Is that how you understand it?

I'm not obligated to find a proof against fiction, when all real accounts show food prices almost halving in a decade, in fact I would be willing to speculate that the dust storms that came were in fact caused by the abandonment and large areas being left unsown, with no cover to hold the soil together.
Oddly the example doesn't work on my GCC 13.3.1, regression or just bad copy paste?
Very slow insert though.
SRS showcases 5G RAN deployments on AMD, ARM and Intel
Connector lines not showing in Firefox.
I know this is asking a lot from what is already a bundle of fun, but I wish it also made noises, in fact my brain is already simulating some

It's like a visual stim toy
I’m pretty sure it’s not literally BitTorrent, but a distorted version of it to build private paid peer-to-peer networks.