skysight-inc/HackerNews huggingface dataset:
Inductive reasoning is by nature probabilistic so it can't prove anything.

See: https://en.m.wikipedia.org/wiki/Inductive_reasoning

The first paragraph mentions this. As science is statistical in nature inductive reasoning by being probabilistic suffers from the same problem.
So it’s the FoxConn model but cool?
> Comcast definitely weaponized data caps with absurd overage fees, and also didn't invest in backend network infrastructure until they were under 3MBps average video streaming speeds on their 100MBps plans.

This is almost certainly related to Comcast's handoffs to content providers, and not their backend which had plenty of capacity for commercial customers.
I tried out guidance. Encountered endless bugs
That's not what the word "monopoly" means though...
When I read the title, I thought this was going to be a REALLY stupid post.

But this post is amazing and explains a pretty tricky concept, and history, of "subsystems" in a pretty easy way. Effectively, Kernel32(Now KernelBase) has the logic for usermode stuff, and goes into ntdll solely for syscall stubs. It then gently eases the idea of User32 having a similar purpose, as well as GDI. These are the 3 "subsystems" that interact with the Kernel, and it's a pretty core concept, but alot of newbies struggle to understand.
I honestly can't believe duck isn't more popular in the US. Yes, it's more expensive than chicken but part of that (I suspect) is its rarity. But unlike lamb (which I love) being something of an acquired taste, duck is unambiguously delicious.

My only real guess is that both duck and lamb–to me–seem more sensitive in general to preparation. Beef, chicken, and pork are less enjoyable when they're not cooked well but they're still alright. Duck and lamb seem significantly less enjoyable when they're prepared badly.
That's a neat way to put it!

- RabbitMQ: Smart messaging, dumb client
- Kafka: Dumb messaging, smart client

Have you heard of Fluvio?
Fluvio: Smart messaging, Smart Client, Stateful Streaming

Kafka + Flink in Rust + WASM
Git Repo - https://github.com/infinyon/fluvio
I love when TONT gets into, well, old things.
I was alive before Uber, AMZN existed and nobody starved, people just worked elsewhere, so this assertion is just not true. People have to work, but they don't have to work for AMZN, they didn't before it existed. Sure, quitting is disruptive, but people are not actually forced to work for any company, come on.
I took it the same way. I work at a 100% remote company with folks across the US and Europe. We don't have an office anywhere, but if we did, this would be a compelling way to take a short trip + meet some coworkers.
> Is it unethical for a student to use ChatGPT in this case?

I think this is the wrong question to ask. The real question is: "is it smart for a student to use ChatGPT instead of doing their homework?". And probably it is completely stupid. School is not an adversary, school is here to teach. If students manage to trick the system to get good grades while staying stupid, it doesn't really hurt anyone other than themselves.
>> * Every thing that happens, happens at a time.

What is a "time"? Is it a number? A string like "uyeuhwydyjghafjhbhsjahsgg"? Some opaque object? Is it possible to compre the "time" of two different events? If there are two different events, did they happen at the same "time" or at different "time"?
How is burning better than landfilling it? If the landfill is lined the garbage isn't going anywhere, and leaving the plastic in the ground is much better than releasing its co2 into the atmosphere. Land use might be an issue in some places, but I doubt that's the case in Oregon.
You're being dishonest. I said they aren't "Israel" as in the nation. Of course there are Israeli people working for this multinational company, as there are Israelis in Israel working for Apple, Google, Intel, and even General Motors (https://search-careers.gm.com/en/locations/israel/), etc.
Would check out https://www.askmarvin.ai/ if you're into this.

I haven't downloaded 1.5 yet, but they released this last week: https://www.askmarvin.ai/prompting/prompt_function/
There was a medical article the other day that popped up where a daughter received the first kidney transplant without life-long anti-rejection drugs. Instead they reprogrammed her immune system to see her mother's tissue as self instead of foreign body. She was on anti-rejection meds for months instead of life. I presume so they could test whether their plan worked or not.

If they can do that for life or death situations, I have hope that we can refine the process for other auto-immune diseases that are everything from lifestyle threatening up to life-threatening. My issues are middle of the list, but if arthritis had a solution other than immunosuppression while I still have cartilage, that would make me so happy.

And I'd really like to be able to eat croissants and baklava again, if that can be arranged.
Taxing the carbon content also has the desired effect of making low carbon fuels, like natural gas, less expensive than higher carbon fuels, like gasoline, and even less expensive than all carbon fuels, like coal.
Lombok can be used for more than just getters/setters.

I personally use the @Builder annotation on records with more than 3-4 fields. I find it much more readable than a long list of arguments to the constructor.

It also makes it easy to return a copy of the record where only a few fields have changed:

var r = book.toBuilder()
.lastUpdated(now)
.title("...")
.build()

I also use other annotations, but I could work without them if a future version of Java provides a builder-like pattern (or named arguments)
You can uncook the white part of the egg though.

https://www.sci.news/othersciences/chemistry/science-uncook-...
Yeah, I get the ergonomic benefits. Same imports you already have, fewer arguments, etc - there are a lot of reasons why people would prefer the specific versions.

It's more that a shared API keeps getting presented as an impossibility without stdlib support, and I don't see why that would be true. Stdlib isn't special like that, nor should it be, and nothing seems to be asking for compiler magic (necessary for await in the first place, but not really beyond that).

If anything, the failure of the ecosystem to settle on a shared API seems to imply there should not be a stdlib version - let the competition continue, don't choose any until it's clearly the best choice forever.
This is neat. It makes it easy to prototype, and then you can just remove the decorator and write a specific implementation if you need to.
Are there any projects that make use of those e-ink price tags that seem to be ubiquitous and maybe cheap(er)? Or are they locked to prevent their use for other applications? Not sure if there's a good source for those e-ink price tags on a one-off basis that's down in the low double-digit pricing.
I don't know why I have to keep explaining the history of this. What people call "Net Neutrality" is just how the internet (and ARPANET before it) had always worked. No one had contemplated it working in any other way.

Then Verizon came along and started blocking well-known VPN ports unless you paid for a "business" account. The FCC responded with "Net Neutrality" saying no, you can't just decide to block certain protocols, websites, or services for monetary reasons. QoS should be enforced when requested by clients or for technical reasons (eg VoIP), not to create class tiers to squeeze both customers and the services they use for money on both ends. If you want more money raise your price of service.

If you think the bean counters at the big telco and cable companies aren't excited by the idea of charging you extra to use a VPN, a VoIP phone, and hitting the top 100 websites on the back end then I don't know what to tell you. Absent any legal barriers they can and they eventually will. Most people don't have meaningful competition so you'll take what daddy Comcast deigns to offer you or you can go back to 2Mbps ADSL.
Maybe the year of the LLLM has finally arrived?
LLLM, as in: the Linux Large Language Model [enabled Desktop].
sudo apt install llm, use it with any app, you get the drift...

This is not about hype, AGI, singularity or gazillions. Its about enabling individuals to get on top of the information fire-hose with the help of an important data processing tool. In a private and empowering manner. Nothing more, nothing less.

Sure there are certain hardware and data issues (where / how to train the models, with what data, how to ensure speedy inference in interactive use etc).
But those are tangible targets people can chew on. No obvious show-stopper.
Note that AWS is actually not a part of this lawsuit. So that is mostly not relevant.
This and a container story are glaring holes in macOS.

Instead we get widgets on the desktop like it’s 2005 again.
> It is just me - is that a red flag? Some people have asked me about my team and I told them it was just me. I got the feeling that it may have turned them off because the conversation kind of ended right there.

Solo people and even small teams are a huge risk to enterprises. They will have to dedicate time to negotiating with you and integrating your solution. If you just disappear after that, that's a huge problem for them.

Fog Creek talked about this a long time ago, where they priced their B2B product just below the typical limit for an engineer to expense, so that engineers could just buy their product online with a credit card and expense it. Once you enter into vendor vetting, it will be really hard to get out of it.
Extremely relevant, albeit somewhat dated by now: https://www.brown.edu/Departments/Economics/Faculty/Glenn_Lo...

I don't know why nobody has maintained this line of inquiry in the nearly 20 years since this was published.
Right, so you agree with my math? They were talking about just the energy to capture, so I gave that number first, followed by the number to do both.

> Agreed with you that 7x isn't "several orders of magnitude" but it's certainly not happening anytime soon either.

The hard part of that 7x is switching our current energy uses. It's not the extra power. And a reliable grid with that many renewables should make lots of extra power as a side effect.
> once everybody's experienced six months of unemployment, used up all their savings and moved back in with their parents, going back to a daily commute won't seem so bad.

If you move back in with your parents and your expenses decline, why go back to the commute? If anything, you can be much more picky about the job you can take as you have unlimited runaway as long as your parents let you stay (and something like 50% of Millennials and Gen Z are moving/living with parents).

https://archive.ph/fD4Bp | https://fortune.com/2023/09/26/millennials-gen-z-living-with... ("Moving back in with your parents is so common now that it’s nearly lost its stigma")

https://archive.ph/0E7r4 | https://www.bloomberg.com/news/articles/2023-09-20/nearly-ha... ("Nearly Half of All Young Adults Live With Mom and Dad — and They Like It")

https://archive.ph/xt7PH | https://fortune.com/2022/10/24/gen-z-delays-homebuying-retir... ("Gen Zers don’t think they’ll ever own a home, and are buckling up for long-term financial instability")

Like the Chinese say, “lay flat.” If your life would've been "move out, work a few decades in a job you likely don't enjoy, eventually inherit parent's house at death", why not just skip the grind and live with them until they die, maximizing happiness in your best years if this is the environment these folks must operate in.

https://www.cnbc.com/2022/08/12/job-unhappiness-is-at-a-stag...

https://en.wikipedia.org/wiki/Tang_ping
Yeah, but most of those extra charges are because the FCC has failed to classify broadband as Title II. Because pure broadband hasn't been Title II, pure broadband providers have zero rights to get on utility poles.

So Sonic bundles in a voice line that no one uses - but that gives Sonic the right to get onto poles (owned by incumbents) at fair prices, and they can complain to the state and feds if they don't get that.

If we'd gotten classification right from the start (looking at you Michael Powell), that kind of chicanery would be unneccessary.

Still I'm paying $75 a month, fees and taxes included, for a 10Gbps symmetrical connection with no data cap. Happiest I've ever been with a broadband connection.

Voice Federal Subscriber Line Charge Fee - STI-0555086-8/PAIR200 6.50
Voice Federal Universal Service Fund Fee - STI-0555086-8/PAIR200 2.62
Voice California 911 Emergency Surcharge - STI-0555086-8/PAIR200 0.30
Voice Oakland Utility Users Tax - STI-0555086-8/PAIR200 1.46
Voice California Public Utility Commission User Fee - STI-0555086-8/PAIR200 0.08
Voice FCC Interstate Telecom Service Provider Fee - STI-0555086-8/PAIR200 0.04
Property Tax Allotment Surcharge - STI-0555086-8/PAIR200 1.64
Voice Regulatory Recovery Surcharge - STI-0555086-8/PAIR200 1.29
Fiber Phone Service - 5103800838 - STI-0555086-8/PAIR200 0.00
Fiber - Fusion 10Gbps - STI-0555086-8 59.99
Fiber Information - STI-0555086-8 - Data $49.99 Voice $10.00 0.00
Voice California 988 Suicide Prevention Surcharge - STI-0555086-8/PAIR200 0.08
Voice California Public Purpose Program Surcharge - STI-0555086-8/PAIR200 1.11
> run their own LLMs on Linux and the unfortunate answer was always that the existing options were slightly complicate

What about https://github.com/ggerganov/llama.cpp ?

It compiles and run easily on Linux.
Fact checking has worked out so well in other places. I mean - social media sites and news outlets plus the groups that fund them being the primary funders of fact checking groups creates absolutely no conflict of interest at all.

Having some personal assistant developed by megacorp that helps me be a better worker for megacorp does sound game changing - but not in a good way.
Oh interesting, how so?
Hey Dang, sorry about this. Just wanted to clarify that this was a major overhaul to Ollama. In the past, we did not support Linux with GPU support.

We needed to change the main architecture to support different GPUs out-of-the-box. We thought this was ShowHN worthy as other tools require users to manually install nvidia toolkit / drivers. [It sounds really simple, but to do it across the board on different distros was a lot of work]
Safari 17 is also available on Monterey (macOS 12) or Ventura (macOS 13).
Of course you can control your actions. But that doesn't mean they can't be influenced by external factors like drugs, weather, or in your case low blood sugar.

You don't have absolute total free will in all situations. That's why development of willpower is such a huge discipline (religion, meditation, etc).

There's a range where your blood sugar starts to influence your actions, with more willpower and cultivating a less cranky personality you could certainly extend that range.

Some people have similar non-beneficail reactions to high stress situations, other people develop the skill to abstain from those actions and maintain control in those situations.
Write some tests for those functions. It will be worth it. No, I am not kidding, especially for AI we need tests, but we should report accuracy instead of a hard fail/pass.
> complete dependency and no hope of novel thinking outside of it.

Where have I said "there is no hope of novel thinking out of it"? (Re: Most thought is borrowed) I am simply saying not a single thought is entirely yours. There's always something external mixed in, stuff from society. Thought is always dependent. That means, you can be the co-author of an idea, but not the sole author. Having sole author is merely a simplification device, not a realistic description of the situation.

By the way, I still have not made the ultimate challenge here (since this is HN, filled with no-nonsense, individualistic hackers): what is referred to as "I", is also an idea delivered by society. Therefore, this whole conversation is thought talking to thought, and not chromoblob vs atomicnature.
Who has the time to count the cost. Just keep shipping and worry about the costs later is the reality in a large portion of the tech ecosystem.
So, like streamlit?
I really like the typewise keyboard app, it's great IMO
Amazon makes more gross profit in a day than the FTC has revenue in a year. Good luck!
Bringing the high down is one thing. Having a flat line, with less than 1 degree deviation, for the whole day is another! Or perhaps "low" isn't calculated this way.
Fair enough, although I can hear the future complaints about Apple "Sherlocking" Magnet already. :^)
What I do is basically:

- Put it in deep sleep

- On top of this, turn off the power domains for the RTC peripheral, RTC memory and the XTAL oscillator manually

- Use exlusively the ext1 external wakeup (ext0 requires the RTC peripherals to be powered on)

From my reading of the spec sheet, this is the best you can do on the chip.

Note that my choice of RTC also factors into the equation, the RV-3028-C7 has a significantly lower current draw than the common DS* RTC chips you see on maker-type boards.

And yeah, I bought a CurrentRanger :)

I'm very lazy about charging devices (I'm one of those people that keep their bicycle mechanical instead of going with the trend of electric shifters, because I absolutely don't want that hassle), so my goal was to maximize the number of months I wouldn't have to touch it.
The thing with the three-tier system is that it only partially disaggregates the system. Market consolidation has a certain gravity to it: once one market is consolidated, they start stripping the margins off their suppliers and increasing prices for their customers. The only defense against this is to consolidate yourself to maximize your negotiating leverage. If wholesalers and retailers were horizontally disintegrated then it'd be a better system.

This is also why businesses are furiously and unanimously anti-union. Labor is their biggest cost and they get ahead if they can keep labor fragmented while they consolidate.
It could be done. Show me the carbon you sequestered and how the containment will work.
The real question is: why are emojis tied to operating system updates in Apple land?
At round 8:50, Goetz talks about the design, in essence the quote is,

"We designed it as a functional library because functionally inspired libraries are successful at meeting these goals."

Ironic.
I agree with you.

However for large swaths of the country's population people would interpret all of the above as "socialism" and they'd complain. In contrast "defend our people from evil terrorists", either via TSA or military, does not get the same scrutiny.
As a consumer, this doesn't really hurt me. I get good products for cheap delivered in two days or less. I don't see how the FTC is helping me here.
Was a bit surprised to learn that my MacBook Pro from 2017 isn't supported. It doesn't look like Sonoma has many new innovations though, so I guess I'm not missing out on much.

Operating systems feel like they've really stagnated in the past decade.
If they run out of duck names they may move to chicken names without anyone noticing ...!
Giving junk a pass under normal circumstances may be what is causing much of this greenwashing. It speaks to the overall culture of startups.

If this 78% figure is consistent with the figures of tech startups in general, that would suggest a connection.

And that's only one reason why I'd like a baseline; there are many more. Throwing out a single percentage without comparisons for context is just plain bad statistics. It is not meant to inform, merely to persuade.
since I just mentioned the Master and Commander series yesterday:

A very common dish on Capt. Aubrey's table was mutton chops.

I love lamb, but interestingly, even that is too strongly flavored for a lot of Americans. Sad.

There's a halal grocery near me, but I don't remember seeing mutton in their display case. Maybe you can ask for it.
Show HN: Deep Lake HNSW Index. Rapidly Query 35M Vectors, Save 80%
Pretty simple if you ask me, make everyone handwrite stuff. It's easier to handwrite from knowledge than it is to transfer work verbatim.
"document"?

You MUST be new here :P

Sadly, documentation gets relegated so far down the list of priorities that it [effectively] never happens :|
Show HN: Mail Memories – Export all your Gmail images
I've added screenshots so you can see how it works now. Mail Memories lets you download all the images in your Gmail account from 2004 or 2010 or any year. Would appreciate your thoughts.

Previously: https://news.ycombinator.com/item?id=37265924

Demo - Download the oldest images in your account for free: https://mailmemories.com/app/start
The wedge product (or "outer product" in geometric algebra) generalizes the cross product and works in any number of dimensions, in the sense that the cross product in 3D is just the Hodge star of the wedge product. The cross product gives a vector perpendicular to the plane generated by two vectors, whereas the wedge product gives an object representing that plane directly, and the Hodge star then mapping it to its orthogonal complement.
There was one - count it - case of an attempted shoe bombing, which failed dismally. Billions of travelers have had to take off their shoes and have them scanned by x-ray ever since. This is wildly, pathologically irrational.
Cybersecurity as Realpolitik: A Reflection on the Future of Cybersecurity (2021)
TBH, Fedora Silverblue with the parent commenter's approach it's far more secure.
> PE firms jacking up the cost of housing

They're just profiting off of a supply shortage. Fix the shortage and they won't be able to make money.
Every decision has a consequence. There are a lot more options depending on the use case.
What is the situation with and roadmap for using JSON columns in DuckDB?

A friend has a use case involving searching structured data (like everyone). I think it's basically reports on different companies, so have fields like name, location, market cap, etc. They come as JSON documents, with very similar structures, which change slowly over time as fields are added and removed. He needs to give users an interface to these, where they can filter on various fields ("show me all small hairdressers in Minnesota" etc).

He currently dumps the JSON documents into ElasticSearch, and queries that. It works, but my gut feeling is that ElasticSearch is wildly less efficient than the theoretical optimum for this. Could DuckDB be an alternative?

The easiest thing would be if he could put whole JSON documents into a JSON column. Less easy would be breaking them up into real columns; i know that DuckDB is able to do this automatically, but it feels like a brittle thing to depend on.

I did some playing around with searching data from JSON, comparing a single JSON column to automatic 'proper' columns, and the proper columns were massively faster. Is there scope for making queries on JSON much faster, using indexes, or some setting i missed, or something?

Is DuckDB even likely to be a good solution for this? It's intended for analytics, whereas this is more of a retrieval / search / filtering use.
They premise is basically a violation of the law of thermodynamics and market forces. Any process making this viable, would quickly replace any other energy source available?
TIL TLA’s meaning
I agree that free will functionally doesn't exist. However for the purposes of social organization I see no better alternative than to treat each person as an agent and hold them fully accountable for their actions, regardless of upstream "causal" impacts.

If you're starving/high/whatever and you violate someone else's fundamental rights, the reasons/excuses you give as to why your control was compromised seem irrelevant. Actions and outcomes count, not intentions.