skysight-inc/HackerNews huggingface dataset:
> It is too small to make any dent it global greenhouse gasses even if it wasn't too late already.

It's not like wealthy "green" western countries don't have their share of blame when it comes to global warming and environmental damage, they just don't do it in their own back yard, and instead mostly export it to poor/developing countries where most of the dirty manufacturing of the goods they buy happens and where much of the dirty hydrocarbures get burned.

It's already been documented through studies, that people in wealthy countries actually have bigger environmental footprint compared to people in poor countries (they travel, fly and drive a lot more, buy more stuff online and throw good stuff away more often, use a lot more AC and other energy hungry amenities like heated swimming pools, buy cars more often, etc.).

Also, Switzerland is the world's leading coal trading hub. So while they don't use it very much themselves, similar to green Norway making bank on selling its oil to others, they defiantly build their wealth off profiteering from environmental destruction, so Switzerland is not innocent here.
AWS too -> https://aws.amazon.com/blogs/aws/amazon-bedrock-is-now-gener...

> (Coming Soon) The Llama 2 13B and 70B parameter models by Meta will soon be available via Amazon Bedrock’s fully managed API for inference and fine-tuning.
Their Gross Income (ie. money remaining after Revenue is spent on expenses) has been dropping severely [0]. In 2019 their net income was $1.8B yet by 2022, their net income was $700M. That's a 61% DROP in net income in just 3 years.

If your expenses are growing faster than you revenue, you done goofed.

If we look at earning statements (can't cuz they're private), this was probably due to overhiring.

[0] - https://www.statista.com/statistics/1234193/epic-games-annua...
Enhance Music: a music library and audio player demo app, built on web standards
ts_zip ( https://bellard.org/ts_server/ts_zip.html ) already implements lossless compression with language models and is fast enough to be usable for some applications.
You also forgot implicitly concatenated strings.

"hello" "world"
blah = (
"line"
"line"
)

They are actually really useful when you want multi-line formatted strings without indentation and had to be made official when people wanted to take them away.

> If you want to be a jerk, you can multiply 4 * 2 * 2 and say "ZOMG 16 string types!!"

And now you understand how they calculated the number of string types in YAML.
Words are placeholders for meaning. Once you lose the words, you lose the ability to retain the thought with any reliable accuracy due to how our brains work.
A standard step to improve the books if they're intending an IPO in the near future.
I don't think it's fair to say they've disinvested from libraries.

Most of the information is digitized, which has better reach. Books that cannot be digitized yet due to copyright are held in storage until they enter public domain, and you can request chapter scans in the meantime or even check out the physical book. Separate special collections are kept for items whose physical existence is significant. Libraries are being repurposed as study spaces, which campuses otherwise tend to lack. Reference librarians are available online with extended hours.

The overall trend seems positive.

Similar arguments about presses. Mixed media is the future. Some schools invest in various learning platforms and knowledge hubs, sometimes collaboratively. A building doesn't facilitate such variety very well.
Here is a good thread on Scuds on Twitter:[0,1]

[0] https://nitter.net/CalamineW/status/1706917692731453757

[1] https://twitter.com/CalamineW/status/1706917692731453757
Because it's perhaps the only intersection of:

- Large research area

- Definitions you can comprehend without a math background

- Extremely vague applications so that there's no area in which it definitely doesn't apply.

I think the hype, which has lasted for a decade now, is a result of there being a lot of smart people in different fields who are interested in math research, but not so interested they're going to catch up to whatever the Langlands program is about.
The 18-44 age bucket is shocking
I bet that you can use webdrivers badly and or for evil, but then again isn't that true for any non-useless tool?

Wouldn't it be helpful for the ladybird development team, to use to check for regressions?

Apart from that, if Ladybird could be used in a test suite, wouldn't that be massively beneficial for it's adoption?

My thinking is that if it became praxis among hard core open source fanatics to test their webpages thoroughly in ladybird, it would after a while more or less become "best practice" to do so, with said fanatics serving as "early adopters".

What also speaks for this argument is that hard core open source fanatics, often go for simple and no-nonsense designs such as the very page we are using to discuss this on? I'm sure HN is perfectly usable in ladybird, even though I haven't checked it out myself!
So what if a few projects take money and go nowhere. GND was an infrastructure bill for the most part. The country's infrastructure is crumbling so might as well invest in new green infrastructure while employing the people who have been abandoned when all the factories closed down. (The situation in 2018/2019 when this bill was proposed was different than post-pandemic decoupling from China).

The legacy of GND is that it helped influence the Inflation Reduction Act so we sort of got to an extremely watered down version of what the original vision was.
Ask HN: What does open source mean to you in 2023?
With hacktoberfest right around the corner, I'm curious to what open source really means to you as a developer
They do also sell them directly, though not in large quantities. They even have a retail store somewhere in the UK.
Not available in the US, while the 4 is.
Diesel and thus jet fuel, which is mostly the same thing minus some variance in additives are both essentially kerosene + additives.

Diesel is not very flammable. You can drop a kit match into a puddle of diesel and it’ll extinguish the match.

The big difference is that unlike gasoline, diesel doesn’t really vaporize at standard conditions, and it’s the vapors that are so dangerous - the god old surface area effect, the same reason sawdust is much more dangerous than a solid hunk of wood.
I doubt Delta made this. It’s an official the shelf product that can do ships, trains, planes, etc.
See https://news.ycombinator.com/item?id=37692883
More and more LLMs in biz products: who'll take responsibility for their output?
Is it THIS Eric Schmidt?
So x / 0 should be equal to x right ? Because you substract x zero time.
Dumb question: are glaciers from the last ice age?

Or can new glaciers be formed / frozen today?
> Its a universal human right, actually, to be able to record anything you can perceive in public

I completely disagree that this is (or should be considered) a universal human right at all.
We didn't use TLS at Netflix either, and instead used our own encryption protocol that ran on top of HTTP. We could do this because we controlled the clients too.

The why was because of trust store issues. Every device has its own built in trust store, and especially on devices like TVs and DVD players, they couldn't be updated. After looking at all the devices we supported, there was no common certificate signer amongst all of them.

This meant that we would either have to get multiple SSL certs signed by different parties (some of which weren't all that secure) and present the right one depending on your device type, or we could just roll our own over HTTP. So we chose the latter.
>How do you reach that conclusion?

Because the hypothetical damage a bad member of society could do outweighs the potential risk of private life details leaking (and any effect resulting from this) for good members of society.

Say you live in a neighborhood with 50 people, and nobody knows anything about each other. Then one day, a hacker comes in an publishes a lot of private details about every single resident - grocery shopping lists, movie preferences, political leanings, website search history, even private videos and photos. However, it turns out that one of the residents is a serial rapist, while another one deals drugs. Getting information on those two is extremely valuable to the neighborhood, even if it came at a price of reduced privacy.

>It would also be a corporation filming private citizens on a very large scale (and government can obtain data from corporations).

I get the whole "government bad" liberterian sentiment, but this never really plays out in reality. I mean, lived 4 years under a literal fascist and came out largely ok. There is enough due process in place and good people in the government to avoid misuse of power on a wide scale. Furthermore, the government is a combination of incompetency and not enough man power for the average citizen to worry about.

As for corporations, most people are ok with data being collected about them and used for things like advertising, because they still continue to use the products and apps, because the value add of those is worth more than privacy (which many people don't even understand what it is).
I don't know the mechanics, my guess is they translate the MIDI notes to the scale given to them by a tuning file

Here's a pretty comprehensive-looking list of software instruments supporting microtuning:

https://en.xen.wiki/w/List_of_microtonal_software_plugins
> in need of a rebinding

Rebinding this particular book reminded me of an old coworker at Scout camp who did something neat where he completely unbound it, laminated each page, and then stuck it all in a 3-ring binder. It made it so the book would lie flat on any page, which is nice when you need both hands to practice a knot, and also protected it from messy 11 year olds. (He had another copy which he kept in pristine condition, as well.)
I have a heated mat decoy on my desk. It gets a little warm and uses very little power but my cat prefers it to my keyboard... most of the time.

Then when she's bothering me it's usually attention she wants.
The same— I'm in a long-time world of generated message headers for ROS, so "codegen" to me is that add_custom_command/add_custom_target dance you do with CMake to get it to run a non-compiler tool ahead of actual compilation.
I think it is due to the homotopy type theory book. There is an elegant connection between category theory and type theory. I guess most of the people submitting category theory to hacker news (or any graduate math) just do it to flex and seem clever.
Windows Ends Installation Path for Free Windows 7/8 Upgrade
The grander your title, the more likely you are to want a succinct summary of need-to-know data delivered to you in a convenient format. For most executives, something in their email is best; they are there anyway, no logging in to anything.
> Am I right that you want to apply certain apriori ideas, like preference of simpler models, in order to build semantic interpretation of reality? I don't believe that any set of such apriori ideas should be universal for all minds.

Your first question about my views was - whether it could be scientific or not. If you subscribe to the scientific method in any serious manner, then you must by necessity subscribe to preferring simpler models in describing phenomena. If two models can produce identical results given a particular purpose, the one with lesser number of components, lesser relations among components, the one easier to comprehend must be considered superior/preferred. Preference for the simpler explanation is a cardinal doctrine within the scientific method.

Rest of your comments - I have further thoughts/comments about them but this thread has already gone too deep, and HN is not the right forum for it. So I let it be. Thanks :)
That's a fine opinion to have. Carry on.
> we just need the government to not back student loans and allow it to be discharged in bankruptcy

Honestly, start with the latter. See what happens. Maybe include a first-loss provision for schools with an endowment.
This seems like a poor slippery slope argument. It’s not as if charging for internet is new, it’s been what? 20 years? And yet they still don’t charge for water
Does this serve the same purpose as .in-addr.arpa?
> Such is the price of freedom.

No. This is an example of reducing the freedom of some in order to increase the liberties of others.
Give me one example, then. Of an app which uses a notification as an actual app data source and not just as a notification which opens the app. And which also updates the primary app view to reflect this new information.

No other app has updated its app state based on the content of notifications. Slack/Discord/Teams et al (the ones that aren't allowed on free messaging plans) will show you previously cached messages and then an infinite spinner when you open it. Fastmail/Gmail/Outlook et al will show you existing emails but not load the new ones.

Could other apps do this? Surely. Do they? No.
> USB flash drives suck too.

USB Flash Drives can suck, just like there are good SDcards.

>And high-quality ones are almost always bulky.

Yeah, but have you ever run a Pi off a good SSD over USB3? Very nice.

And eMMC can be bulky too, I'm so scared to dremel this plexi so that the case doesn't crush this IC, marked by blue: https://imgur.com/VQNV7Bp

Relatedly wouldn't it suck for the RPi5 to introduce another breaking design to the case ecosystem for the minority group that is already served by the Compute Module?
Note that motion sensors can, in some cases, be used as a microphone: https://www.kaspersky.com/blog/non-standard-smartphone-wiret...
You can use Hurl [1] an open source CLI tool based on plain text and libcurl! (I'm one of the maintainer)

[1]: https://hurl.dev
OP here. The more you use, the cheaper it gets. But if you're not using much, there isn't any cost-saving benefits.

Once you scale to ~60M characters per month, it's 50% cheaper. In other words, if you're at a stage where you spend $1,000/mo on text-to-speech, you'd spend $500/mo instead.
I hypothesize this is because most of MSFT's income is corporate buyers.
> Its a universal human right, actually, to be able to record anything you can perceive in public ...

No. It's not. Here: https://www.un.org/en/about-us/universal-declaration-of-huma...

If you believe something is a right, and most other people don't, it's definitely not a universal right.

What is an established universal human right is: "No one shall be subjected to arbitrary interference with his privacy, family, home or correspondence, nor to attacks upon his honour and reputation. Everyone has the right to the protection of the law against such interference or attacks."

> without that right we cannot exercise political freedom or our rights as individuals for redress.

Yes. We can. We've done it since long before cameras existed, even. Where I live is moving towards a balance where, very grossly oversimplified:

- Government officials have very little privacy protection, and first amendment trumps privacy

- Private individuals have a lot of privacy protection, and privacy trumps first amendment

That seems reasonable.

I'd like corporations to have no privacy either, but that's not where we're landing.
I don't think there's anything "environmentally friendly" about making users have an extra dongle to get basic functionality.
Most captive portals have gotten wise to this trick and block large DNS requests.
Why lie? Pis have fragile connectors and they certainly break more often during use than a brand name laptop's connectors, but they do not have a high defect rate out of the box.
I am ambivalent about a downturn but the resumption of student loan repayments could pull $100B ($9B/mo) out of the market [1] - which might directly impact Epic's market.

[1] https://www.marketwatch.com/story/a-100-billion-drag-on-u-s-...
Facebook are absolutely "creeps".
> I can live a perfectly happy, healthy life without eating animals.

That’s completely false: a life without bacon is less happy than a life with bacon, and thus imperfectly happy.

> So ethically, how is eating meat any different than torturing and killing animals for pleasure?

The former involves deriving pleasure from eating flesh; the latter involves deriving pleasure from inflicting pain.
I think scalping is more of a supply issue, raising the official price of the product would only require more cash when scalpers are doing their buying.
> I didn’t know what I’d do with the data at this point, but I started collecting it right away so that I’d have as much as possible to play with later.

And people complain that everything everywhere collects data on everyone.
The thinking starts with the beer, then progresses towards one entity, then backpedals because one needs a second to offset against, and from two comes three, and we have come full circle.

I see a similar pattern in the advent of abstract art. People have independently settled upon primary colors, primary shapes, and primary compositions, only to then get stuck in a rather limited playing field, from which people started again to create the total utter chaos that is called post-modernism.

My personal conviction is that neither religion not abstract art have found the key to understanding the universe. They merely reflect our limited way of thinking.
I have a similar program I run that does this stuff for United flights:
https://github.com/ejcx/uwc/blob/master/uwc.go

The code is horrendous but it has worked for years and I guess when I wrote it originally I didn't want to use a go struct for some reason?
ARM, ByteDance, Compass etc. they’re making a killing even after all those losses.
This is the URL I'm sending people to when I want to point out just how far domain-specific gibberish can go. Or just to mess with people...

"I was looking for an experimental proof assistant for synthetic ∞-categories and stumbled across this awesome project..."

"It's wicked cool! It uses a version of second-order abstract syntax which is great for lambda extraction."

The project description sounds like something that MIT automated gibberish research paper generator would come up with.
> it seems the open source community managed to generate the documentation

That would be terrific. Do you have more?

A while ago, I tried to cutomize a Novation Launchpad but couldn’t find coherent docs or an intro.

Some people have mastered it, as witnessed by this great extension [1]. But that’s example code, not a documentation.

[1] https://github.com/hdavid/Launchpad95
> They have a classic lock-in strategy where they build these services that only work with their store, and they use the fact that they have the majority market share in order to encourage everybody to ship games that have a broken experience in other stores... And we were bitten by this early on with a number of multiplayer games coming to the Epic Games Store. Steamworks didn't work on our store, so they had either a reduced set of multiplayer features or none...

What's controversial about that? What's he blaming them for?

Competition is good for consumers. If Steams leadership position is making it harder to have quality, viable alternative game stores that's bad for dev's and consumers long term.
"The system" is not just the justice system. If the justice system is relying on wrong evaluations by experts, that's still the system doing harm instead of good. And if it is known that so-called "experts" in a field can get things this wrong, the justice system should not be relying on their confident assertions.
Webserial let's Home Assistant users flash their ESPHome devices without downloading or compiling any software. WebUSB let Google update my Stadia Controller to a normal controller after they shut down their cloud services. It also offers firmware updates for some Pixel phones.

These are all quite useful tools. I've never used WebMIDI but it's older than the other Web* APIs. When you have a use case for them, the APIs are a lot better than figuring out a cross platform serial port protocol (or, more realistically, writing a Windows application and letting the Linux/macOS/Android users figure it out themselves).

WebSerial/USB/Bluetooth doesn't do anything unless you permit it to. If websites used this feature, you've clicked "okay" when mapquest.com asked to use your serial port.
Everyone loves Plausible, the Google Analytics alternative, but I had a really bad experience with them that I bring up often.

Their code didn't work with many pages on my web site and was just silently not recording any data (you don't know that it isn't working, so you don't know you're not getting data).

I eventually spent about a dozen hours debugging it and figuring out what the problem was with their code. I was broke and homeless and I told them I had the fix for the critical bug in their software - how about throwing me a few months of paid service (it's $6 a month). They told me to basically get lost and that they would find the bug themselves one day and fix it and didn't need my solution.

Left a bad taste in my mouth and I pass that on.
Would it ever reach 100% in anything short of a runaway greenhouse scenario?
During an overnight power outage several years ago in Provo Utah, I was able to read a book near a window solely via light pollution from Orem Utah reflecting off of snow and low lying clouds. I wrote at the time that we might be able to solve the light pollution problem by showing that increased light pollution corresponds with lowered church attendance due to a decreased sense of wonder. Perhaps we can convince religious fanatics to rally against light pollution with the same sort of fervor that they use against abortion now.
How thinking like a VC led sales rep to “life changing equity” at $11B startup
Gravity doesn’t suck, but it does exert a force. It’s called a gravity well for a reason :)

Hence my question.
Couldn’t businesses just collaborate on closed source projects (source is open only to project members) and then not charge each other.

Lots of open source programs (IMO, pretty much all the good ones) grow organically out of community efforts or out of academic projects.
Perhaps he feels passionate about the idea of making a profit. Some people are interested in the process of creating and operating a business, for its own sake, and the actual problem being solved is secondary.
Wobbly USB port is an issue of the past with microUSB and lightning. USB-C does not have this issue as the weight lies on the cable.

Batteries in some Bluetooth headsets can be replaced. There are iFixit guides available.

Most customers use terrible quality SD cards, and then QQ about them breaking. A burden for CS.

The exterior case design of FP4 and FP5 copies Samsung rather than Apple.
If a makeup company wanted targeted ads for their dark-colored cream, they would advertise on BET instead of Hallmark TV channels.

They have traditionally had this functionality.
Even US-only. Broadcast networks category is especially slim. They've anticipated this kind of scrutiny and claim no money is exchanged, but idk. Someone should try adding a random obscure service.
Numbers? Gives my experience with no-code solutions that aren't spreadsheets, I wouldn't be surprised.
Explore Linux Space Time
On a tangent, was that ever remotely proven. Like even a smidgen of a hint of evidence?
I was asked to help evaluate a couple code-generating LLMs at work, so I set out to build a couple toy apps in languages and frameworks I wasn't very familiar with.

My experience was that it was about as useful as searching Google and Stack Overflow without knowing what a good answer looks like. You copy and paste a lot of code, a lot of it works, but inevitably, something breaks and you have no idea why. So you still have to go back to "the hard way" of reading the documentation and building an understanding.

I'm sure things will improve over time, especially for products built specifically for code generation, but my first and second impression is that so far, LLMs don't actually lower the bar for junior programmers.