skysight-inc/HackerNews huggingface dataset:
This is an interesting article that suggests that ChatGPT gives us a new way to look at human bullshittery.

> Many people in many fields, including quite a few in academia, also act rather like a ChatGPT, particularly in academic disciplines that don’t do much empirical work, work with facts or testable hypotheses

> I now realise that me not understanding what someone is saying is sometimes a sign that they don’t know what they’re talking about, and that they are essentially acting like an LLM. This would become apparent if they were ever interviewed in the way that politicians are sometimes interviewed in the media, with forensic questioning: ‘what do you actually mean by x?

I won't continue to spoil a short, interesting piece by continuing to steal quotes from it!
> Man, I wish I didn't need DTDs. Unfortunately, the USAF TMCR says I do. Verbatim. TO-00-5-3

Then enjoy your complimentary security vulnerabilities.

Jokes aside what is it used for that XML Schema or other XML technologies can't do better?
Nothing is worse then when you care, and apparently all the code written/test/work done 3 months by team goes straight to the trash, no explanation.
Simply some exec in this large thought that it should go to trash, couldn't even give me a reason.
I quickly quit after that.
I wonder if facebook could train LLM on all chat histories of all of its users.
What it takes to pass a file path to a Windows API in C++
And even if you do have your own domain (I do), for one-offs these services are still useful, since they're not relatable to you, and motivated spammers can't just guess new addresses for you. For example, y'all can send me an email at 0yiulnql3@mozmail.com, but if I get lots of spam there, I'll disable it and you'll never know what other Firefox Relay masks I have.

That, and the UI for disabling masks is much easier than having to create a new filter.
Seconding Firefox Relay. Got premium to give Mozilla money to waste on CEO compesation /s. Dislike sarcasm a lot, still had to do it.
Or worse, they'll accept it, but then some backend system trips over it, and now the product you ordered never ships to you, but customer service doesn't know how to refund it either.
Surely the solution then is to block government officials from the platform. Bad for engagement but keeps your "no, really, this is a private forum" status.

(Rather like how lots of non-US banks block US nationals from having an account even if they're resident in the bank's country, because of the paperwork overhead)
Why would anyone use TikTok when they can FTP videos to each other?
Increased CO2 impacts agriculture through changes in precipitation patterns, heat stress, reduced soil moisture, soil salinity, accelerated weed growth, pest and disease proliferation, pollinator disruption, shifts in crop phenology, nutrient imbalances in crops, decreased water availability, altered growing seasons, and the possibility of novel crop diseases, to name just a few.

The full range of potential impacts is vast, complex, and is a subject of ongoing research.
The symmetric keyboard seems “as obvious” as using tau instead of pi as a universal constant, but then again I don’t play piano
It would store the defaults, I suppose.

I got the idea from a book. Can't remember which, but it may have been in the early oughties, or even last century (and the book called it "Honeypot Fields").

The nice thing was, the user didn't have any friction at all. They had a subject and message. No CAPTCHAS, no math problems. Nothing.

The form was on a site with a fair bit of exposure and traffic. Another similar site used Contact Form 7 (or whatever the predecessor to it was), and we would get fairly regular spams. This was a plugin that I hand-crafted.
This combined with tox is great for Python projects in particular. Tox automates creating virtualenvs for the right Python versions you want to test with then running your tests in them. It can also run static checks by issuing `skip_install = True` because you want to test the source code itself. You just need to run this in a Python container that has tox installed as a globally available tool and all versions of Python available in it (like https://github.com/georgek/docker-python-multiversion <-- not maintained but easy to update).

Here's some boilerplate to do all that:

[tox]
envlist = py{310,311}

[testenv]
passenv =
PIP_CACHE_DIR
deps = coverage # deps only for tox
extras = testing # testing extras include pytest
commands = pytest ...

[testenv:check]
passenv =
PIP_CACHE_DIR
PRE_COMMIT_HOME
skip_install = True
deps = pre-commit
commands = pre-commit run --all-files --show-diff-on-failure
Games Publishers in Trouble
Good point! On the other hand, we're not provably safe for social interaction. We have all manner of punishments for variance from expected behavior exactly because our altruistic tendencies are so unreliable.
"I don't understand" why concept of vendor lockin is so hard to understand for you.
Ask HN: SQLite as Dump Export?
I mean generating a SQLite db for exporting all the data in an API.

I think it would solve several things:
- Your customers will not hit rate limits
- They don't depend on your uptime
- Custom queries
- Even GPDR exports for end users

Depending on the amount of data and the nature of the API, the service could generate the dump from scratch or an incremental based on Litestream, for example.

What do you think? Would you like it as a customer for your services? Would you like to use (and someone pay) a service that consumes your API/webhooks and generates an SQLite for your customer?
The problem is that "getting people to see your stuff" is the route to monetization, and therefore is horribly choked with spam that stacks the odds against real humans.
> to make money it helps to insert yourself between people and something they may want or need. this is how pretty much every business works.

This might be the rentiers scheme, but that's hardly how any economy works.

A bakery hardly inserts itself between the very bread it makes and the client who wants to buy it. Even logistics companies, the epitome of a middleman, delivers critical value.

> social media made it possible for anyone(?) to gain a following and so put themselves as a kind of authoritative middle man and act as a conduit for advertisers between people and thing they want

I don't think this is true. Marketing is not a middleman. Raising awareness of a product and/or service is not the same thing as making impossible deals possible.

Likewise, newspapers from a couple of decades ago were not middlemen in any of the adverts they printed, or is YouTube a middleman in any of the adverts it shoves between videos.
I thought that this is something that wasn't done before (analysing google comments with ChatGPT) and that would be amazing. https://sentimentscanner.com
Simple as that and market will verify.

Also it is nice to develop 5-10 times quicker then in scrum/jira ticket driven development. I couldn't believe that in Saturday I can do more then 1-2 weeks in my job. I of course understand that this doesn't scale to team, but yeah it is nice to feel that you can write good code so fast as a rockstar developer
I think Wormhole William is great, also has a mobile app. But when I discovered croc, I switched to that, it has been very reliable. From the developer:

AFAIK, croc is the only CLI file-transfer tool does all of the following:

- allows any two computers to transfer data (using a relay)

- provides end-to-end encryption (using PAKE)

- enables easy cross-platform transfers (Windows, Linux, Mac)

- allows multiple file transfers

- allows resuming transfers that are interrupted

- does not require a server or port forwarding
That's a bit of a false dilemma. To address copyright issues, we needn't prove that machine learning models learn exactly like humans or not. The more relevant point is that neither human learning nor machine learning has the intent to store or replicate copyrighted material; both aim to generalize from data to produce new content. It is in this way that they are similar.
They already do that. Spammers don't read.
We're scaling up what computers can do. They still have as much consciousness as a rock (none). Don't lose sight of what they are, just because their capabilities seem human-like.
A private plane is not a private jet, and a sailboat is not the Fulk al Salama. I'd bet the private plane was a little cesna and the "ocean going yacht" was probably a medium sized sailboat or catamaran. Rich? I suppose, but not wealthy. Upper middle class maybe.
Most people don't think livestock are "general intelligences."

Those that do probably overlap with those you want to leave out of the discussion.

Are we creating machines with just enough reasoning to be useful, or are we building sentient general intelligences?
I am wondering if there is any special hardware needed for the "silent printing" calibration on the A1 Mini, or if this is just a firmware update away from getting into the P1S and X1 Carbon.
This is why I often skip the article and go straight to the comments on HN!

"Emergency recovery can be handled by a supervisor process" - this sounds a lot like Elixir to me, but I can't find any example in Swift.
"Necessary" for what purpose? From the article:

>> Musk’s promise was to revolutionize prostheses and engineer an implant that would allow human brains to communicate wirelessly with artificial devices, and even each other.

And from wikipedia:

>> In April 2017, Neuralink announced that it was aiming to make devices to treat serious brain diseases in the short-term, with the eventual goal of human enhancement, sometimes called transhumanism.[16][7][17]

https://en.wikipedia.org/wiki/Neuralink

It seems that while there might be medical applications of the developed technology it is not primarily developed for medical purposes. Plugging your brain to your iPhone doesn't sound like a great justification for animal experimentation.
I feel this resonates with mindfulness lifestyle: give your full attention to the present moment and the quality of your activity (and product) will show.
Oh sure, I don't think LLM are sentient. But this paper is about hypothetical "general intelligence," no?
It's just plain wrong from today's perspective. Back when pixel sizes were predictable, one could exploit this at all levels.

Pixel artists would (and still continue to) consider every individual pixel, performing anti-aliasing by hand. Animations would be timed in relative to the (fixed) framerate, leading to optimal smoothness.

Reaching this level of fluidity is only recently possible again, at the cost of vastly higher hardware requirements. Most people haven't even experienced this, because of the suboptimal period we have been in for some time now.

You win some, you lose some.
'broke' is a weird word here. I never learned math in English, is it usually used in those cases?
I guess your kustomizeations are relatively simple. Just wait until you have 4-5 layers of it, flipping between several files to figure out which file needs to change how, just to change an attribute. With a chart, I just make the change and can work it out, all in the same file.
Android has clamped down hard on access to the SD card. Chrome certainly doesn't have the special All Files Access, and on my device it doesn't even have Photos or Music, since I never use those permissions with Chrome, and Android regularly turns off permissions that haven't been used recently
Unfortunately I can't see your web site as it does not work without sending cookies to Google. Please implement the site with only needed cookies.

NB this means that your site cannot be used in Europe,
mozilla servo all over again?

Rumors (I did not check rust syntax specifications) say rust syntax lost itself like c++ (and what is happening with latest C syntax additions from ISO).

Is this true?

Because, personally, I am not interested in a browser written with a beyond sanity complex language syntax. I would have prefered a web engine written in plain and simple C (without the latest tantrums from ISO). Without bazillions of deps, SDK included.

That said, a modern web engine, beyond a javascript engine (for instance quickjs), is tens of millions of lines of code (Big Tech made sure Small Tech could not reasonably follow).

In the end, in my opinion, the most reasonable option is to go noscript/basic (x)html where it does a good enough job, bridges with super simple protocols you can navigate to with URIs (for instance irc://... mailto://...), and really in the worst case scenario a semantically optimized network protocol (the leanest possible) with a rich GUI client (for instance sliding maps, even though you can browse maps ok with a noscript/basic (x)html browsers).
> A huge portion of US infrastructure is built on the idea that no one in their right mind would walk to it.

No one in their right mind would want to walk to any business in the US due to its urban planning and transport infrastructure.

Even biking is an absurd risk that only rare people dare to make.

In the US it's not abnormal to express the length of even mundane car trips in how many hours you spend driving. That's definitely not a halmark of a walkable region.
You must be European.
You still want priv escalation if you're trying to spy on someone. The content process can't see anything you're doing in other apps, and the browser can only access a very restricted view of the storage

Living in memory or living off the land is generally a good idea, but you still want a chain of exploits anyways
I cannot take the survey with my noscript/basic (x)html browsers.

Expected? Or I missed the link?
You can apt install magic-wormhole on Debian.

I'm not aware of any other major OS ;)
What the OP meant is that there are (multiple!) open source C compilers, which you agree is the case.

Questions about the standard/specification are a different matter:

1. Whether the language has one? (Many languages, both open source and proprietary don't! I believe mojo doesn't have one?)

2. Whether it's available for free (gratis)?

3. Whether it's under a free (libre) license that allows redistribution with modifications?
But it does work in LAN mode since recent update[0] and as other commenters said - through RTSP stream as well.

[0] https://github.com/bambulab/BambuStudio/releases/tag/v01.07....
About relying on the developer to provide the relay server (this was early 2022):

The cost of croc is mostly bandwidth - over 8 terabytes of data is sent every month through croc! That's amazing to me since I started this project just as a way for me to share files with friends. Four years ago, the public relay server only costed $5/month, but now it is costing me $40-50/month. The higher cost is enabling file transfers for thousands of people all around the world.
> I think this paper is refuting Conway (and others') proof of the claim that a set can be divided into 3+ parts without relying on the Axiom of Choice.

This paper is not refuting Conway's, and Conway's paper does not prove the claim that a set can be divided in 3+ parts without relying on AC.

What the Conway's paper proves is that, without assuming AC, if there is a bijection between A×n and B×n for some finite n, then there is a bijection between A and B. Axn can be equivalently written as the union of a×n, as a ranges over the elements of A, similarly B×n can be written as the union over b×n. This paper shows that if instead you take the union over a×N_a, where the sets N_a are pairwise disjoint and have n elements, and similarly instead of considering B×n you consider the union of b×N_b, where the sets N_b are pairwise disjoint and have n elements, then the existence of a bijection between those two unions is not sufficient to construct a bijection between A and B if we're not assuming AC. The main point here is that without choice we cannot order all of the N_a's and N_b's at the same time, while in Conway's paper, since N_a=N_b=n={0,1,...,n-1}, they are already uniformly ordered and no such issue arises.
I know plenty of more intelligent people than me who don’t use Linux.

Just because you’re Willing to spend time to tinker with some obscure OS doesn’t make you smart… some would argue its a big waste of time.

Not me though, I’ve been an obscure OS tinkerer for 20+ years XD
none, but they sure cant plug in their vacuum.

hispital ones are red wires
You assume that everything will cost exactly as much as now. While the trends are clear, batteries keep getting cheaper and gas more expensive. Which is inevitable when production shrinks. And expensive gas is even bigger "kick in the balls".
Those new language constructs are exactly what's enabling the performance gains, by giving reliable information to the compiler. Projects like numba have clearly demonstrated the limitations of trying to compile pure Python.
Unity May Never Win Back the Developers It Lost in Its Fee Debacle
and who says they want to?

this is not a net plus game. Catering to Americans might mean catering less to other cultures.
I've got a Bambu printer and it's fine. I've completely blocked it from internet access (for good reason). It'd be pretty hard for them to update my printer for mandatory cloud integration. I don't think this printer even does spool detection unless I get their AMS unit.

Their slicer is a fork of PrusaSlicer, and even has a pretty well supported community fork OrcaSlicer which is what I use. The problem is to interface with the printer over wifi, you need to use their closed source module. Now could they somehow push a firmware update over that? Definitely.

Anyways I've got a Prusa XL preordered. Just waiting on them to let me change my preorder to the 5 toolhead version. Multi-tool looks way more exciting than Bambu's filament changer that creates a ton of waste.
Yup the more I learn music the more I'm impressed by sheet notation and realise (as someone passionate about programming language theory and also linguistics) that something that can unseat sheet notation will be a huge undertaking.

Granted it does have its edge cases. IIRC it's not great at representing complex rhythm.

But what sheet notation does great man does it do well at it. Like recently have been looking at quite a few different multi voice piano pieces and the fact that using convention you can differentiate between the lower and middles voices is pretty amazing.

Eg in Clair de lune the runs that are played by both hands will share the same beam to denote it's a single voice
The website doesn't mention fly.io, why is it in the title and why does it matter?
That's not what I claimed. The parent poster was talking about non-AI applications.

Regarding their use today, model checking is indeed quite usable -- today -- for verifying function contracts. It is more difficult to use model checking for recursion, loops, data structures, algorithms, or cryptography. But, calculus of constructions can be used to build up proofs of these things and extract viable software.

This field has significantly progressed over the past 20 years and the past decade.
What development resources is green hills contributing to GCC or clang? As far as I know, they don't actively develop either, aside from selling a completely unrelated compiler that used to be called "gcc" long before the Gnu compiler ever used that name. They also haven't meaningfully participated in the mailing lists under their company name.

In any case, it's my understanding that the C standards have largely been community driven efforts that formalized things already being done by major compilers like Gnu rather than driven by the technical needs of industry the way C++ has.
Rooftop solar 'cannibalising' power prices as generators pay to stay online
> don't even know there is a problem here.

OR, they don't care.... American centrism on HN is so bad
> The difference between O(logn) to O(1) is often referred to as an order of magnitude. As is O(logn) to O(n).

That isn't good usage, but there was enough context in your comment to guess that that was what you meant.

The main problem I was pointing out is that the difference between O(log n) and O(1) is much, much, much, much, much, much smaller than the difference between O(log n) and O(n), so it doesn't make sense to describe those two differences the same way.
If you think in terms of PBR rendering:

* refractive index determines the split between reflected and refracted light vs angles.

* diffuse albedo determines the absorption of refracted light.

* specular albedo determines the absorption of reflected light.

* opacity determines the scattering of refracted light.

* roughness determines the scattering of reflected light.

In PBR, metals are modeled with a purely black diffuse albedo (with very high refractive index), while dielectrics are modeled with a purely white specular albedo.

A transparent dielectric means all the refracted light goes straight, while a opaque white dielectric means all the refracted light are scattered (but not absorbed!)

For metals, it doesn't really matter whether the refracted light is scattered or not, if they're all gonna be absorbed anyways.

---

EDIT:

laying out the parameters like this, I just realized why Unreal Engine's PBR felt "off" at times -- their "metalness" workflow does not allow you to adjust the refractive index of metals!

I'm guessing they just assume that metals have infinite refractive index and so the refraction-reflection split is 0%-100% with no angle dependence.

This means that they are generally overestimating how shiny metals should look with no Fresnel effect at all.
There's a firefox addon that allows you to remove specific domains from Google's search results (I forgot its name though).
Monitor firmware has had security exploits before, so firmware updates for them seem like a good idea.

https://github.com/RedBalloonShenanigans/MonitorDarkly
https://news.ycombinator.com/item?id=32634467
RFID reader is not a thing when you don't use AMS (for multi color printing). RFID is used to identify the filament, otherwise you just have to set it manually on what did you load to which holder.
Rather illustrative article, especially re the false simplicity where the language just silently does the wrong thing

(though I disagree that ".ext" is not an extension of an empty base name)
LLMs and other generative AI methods are nowhere near replacing the need for better reasoning about software, especially in safety critical systems.
Re: 100k Threads? (2002)
You seem to misunderstand, this is months after the breakup and people still rented the phone. It stopped so quickly because the practice was literally banned by the FTC.

It seems strange today that people would rent phones, but they used to be very expensive items even outside the US. The practice ended because prices fell so far not because people’s preferences changed.
Brotli comes with a dictionary by default, which is optimized for plaintext use cases. Once you give ZSTD a similar dictionary, its ratios are going to be similar/better.

I won't provide random links, because those can't replace testing on your own dataset.
It seems their latest "changes" did not really fix the core issues.

This is a big test for the video game industry, because if unity gets away with that, it means ALL other game engines/game libraries will be able to do the same, and confidence will be broken with many game devs for a long time, if not forever.

The "hurt" and motivated enough game devs would slowly move to open source game engines with their own specific issues.
I see it as a project to produce more and more unhackable routers, phones, code, bunkers, homes, small communities, etc.

Something that at least will allow AGI-wary people to have technology not controlled by AGIs for a little bit longer and give them a fighting chance.

61% of Americans already believe that AI poses risks to humanity, so promote your router as unhackable and AI-safe and sell a bunch
https://www.reuters.com/technology/ai-threatens-humanitys-fu...

The project starts small and can become a movement.
...if you have other sources that can defend you from the bills.

The obvious needs to be stated.

That said, yes! Learning by genuine curiosity is what can bring to express the best in ourselves.