skysight-inc/HackerNews huggingface dataset:
It's another reminder how <expletives omitted> C++ is, but for a long time nothing better existed.
Of note is that United States has severely fallen off the cube root law ( https://en.wikipedia.org/wiki/Cube_root_law ) which is more an observation than a law... but tells of how big the house of representatives should be.

> The cube root law is an observation in political science that the number of members of a unicameral legislature, or the lower house of a bicameral legislature, is about the cube root of the population being represented.

The US population is about 336M which would put the size at 696.

This would change it from an average of 754k people / representative to 483k people.

https://www.nytimes.com/interactive/2018/11/09/opinion/expan...
With a paper prescription in the US, you will usually drop it off at one window and wait a minimum of 15-20 min for their heavy process and blocking queues. That includes checking with your pharmacy benefits manager (a middleman different from your health insurance provider) to see how your drug is covered (could be the difference between $3 and $300)

One alternative is a mail order pharmacy which sends you drugs ahead of time, which is good for anyone who takes a drug regularly. The best service would integrate that with the neighborhood pharmacy that gets you the pills that you were told to take when you were discharged from the ER.

I am satisfied with my neighborhood Walgreens today but back in the pandemic they had some staffing related disaster which had them running very limited hours with resulting very long queues, long queues that you had to be socially distant in. That was a mess, today is fine so long as you remember the window in midday when the whole pharmacy shuts down for lunch.
I don't want a connected car where the manufacturer or whoever compromises them can remotely disable charging on my car. I don't understand why that sort of access would need to be included in the car instead of the charger. It seems an unnecessary compromise of autonomy.
In my mind, voting is an implementation detail of democracy. The drafting process is much more important, as that is where all the different voices are supposed to be heard.

> This tends to be dominated by lobbyists and others backed to promote narrow, self-serving agendas

In a real representative democracy, this shouldn't matter (yes, I know, this veers eerily close to a no-true-scotsman argument). If all the participants promote their own self-serving agendas, the end result will be a mix of those agendas, weighted by how widely particular viewpoints are represented.

The problem of course is firstly that systems like winner-takes-all and first-past-the-post violate democracy by silencing other voices, and secondly that lobbying is done by interests who represent nobody but themselves yet it has a hugely outsized influence on the outcome.
Except this lawn appears to be... Ukrainian.
What is stopping them exactly?

I live in a well off area on the outskirts of a city of 500,000. Driving across the city takes an hour. I have lived in the south-east, south, north, central, west, southwest, and northeast areas of the city and have been able to walk everywhere my entire life.

I guess people don't like luxury because a large chunk of my neighborhood will drive their 8-seater SUV(alone) to the convenience store on the corner for a drink. I have met precisely zero people from my area who walk to the grocery store nearby where I pickup my fresh produce every few days.

People are just lazy.
A microgrid generally means having wind/solar/batteries near your neighborhood, with a natural gas or diesel generator that kicks in when the batteries die.
Bookmarking Legible News! I have been surviving on https://lite.cnn.com, https://text.npr.org/, and http://68k.news/, but your site is much easier on the eye, so will be taking it for a spin.
This doesn't change the amount of generation you need to go N miles. Indeed, rideshare might increase distances overall.

Rideshare has some benefits in reducing some of the capital investment and some in allowing some charging infrastructure to be centralized (reducing distribution system). It might also be able to squeeze a little bit of mid-day charging in. But it doesn't really change most of the picture for the grid.
Is it really accurate to imply there are no women willingly complicit in or benefitting from evil corporation deeds?
Air conditioning peak load is 2-7pm, 5.5kW. EV peak load is like 7pm-1am, 6-12kW (and can be dialed back).

Frankly they are complimentary. If you have the service to run AC, you already have the service for an EV.
War time procurement subverts entire industries and reserves everything anybody produces first for the military.

Sure the country produced 300 destroyers, tens of thousands of aircraft and tanks, and that production is what ultimately won the war , but you have to keep in mind the country produced little else any other normal economic activity was severely curtailed and even basic life needs were rationed.

It not only ramping up but also ramping down are problematic, for example even though military doesn’t really want congress keeps budgeting for M1 tanks so it can keep those jobs.

Suddenly producing 20 destroyers in one year and nothing for next 15 is going to impact labor market massively and also you are going to loose all the skills acquired

In peacetime you want a low constant throughput for your military.
When Trust in an Expert Is Unwise
Got a novel idea about some math and GPT4 give me legit advices and implications.
"For most people here, workplace is 15 minutes walk/public transit away,..."

Curiously, how many cars need charging(at night even) in this area? Maybe I missed the intent behind your comment.

But it doesn't sound like there is much daily driving.

Perhaps "...hands wet on the wheel..." like in the Golden Earring song often? )))
I agree. If you look at the historical trend with technologies, it's very clear: look at the saddle, the stirrup, the chariot, the pull-cart, the carriage: all of these inventions increased the breadth of tasks that a single horse could do, but each time this only increased the overall demand for horses. Surely the internal combustion engine will be no different.
Tesla approach is to grief their customers into paying for feature they have no concrete plans to ever deliver on (in the absence of lidar/radar sensors it’s a crapshoot) -> profit. Worked pretty well
That's not really how any of this works. The formally verified kernel of the operating system gives you some assurance that your primitives are reliable (unlike on, say, Linux, where you're always a kernel reference tracking bug away from an LPE). But the "application" code you build on top of L4 doesn't "inherit" that formal verification; it's just code, with code bugs. If you formally verify your own code, it's verified, but otherwise you still own your own bugs.

For what it's worth, I'm not sure Apple publishes which variant of L4 it runs on, and there are many of them. The whole formal verification conversation here might be moot.
Nobody is going to take on extra kids because they get more votes every few years. Have you ever had kids? On what planet is it worth it to take on more kids for votes? I mean if you paid people they might, but I'm talking about voting. The thing that 15-40 percent of people don't even bother to do in various societies.
Progress on running Haiku OS on VisionFive 2 RISC-V dev board
I Took My PC to Geek Squad for a “Tune-Up”
Happy to read/search that lottery/sortition was discussed.
> I'd also like to see multi-representative districts so that everyone who got, say, 5% of the vote, is elected, with their voting power in the House proportionate to the number of people who voted for them. Do that and gerrymandering doesn't matter except at the absolute margin.

An example of this proposal and what it would do can be seen at https://www.nytimes.com/interactive/2018/11/10/opinion/house... (though note it comes with "need more seats too" aspect).

https://beyer.house.gov/news/documentsingle.aspx?DocumentID=...
I'm sorry for saying something you disagree with. Next time I'll ask for permission to comment my opinion. Really, what's the point of your comment? At least state why you think I have no idea what I'm talking about, the way you wrote it adds literally nothing to the conversation.
It looks like there’s a good bit of industry energy behind this stuff (defense contractors and intelligence agencies don’t want their side’s stuff broken into). So I don’t think this is one of those “Apple takes from the little guy and doesn’t contribute back” stories.
Being technically knowledgeable doesn't compel you to publish things that undermine their business.
> If you left out either of "ne" or "pas" in such a construction, people would either laugh, or assume you were some kind of primitive language generator.

Isn't it common to drop the "ne" in colloquial speech?
If course, there can be emergent properties. It will be fascinating to watch this research. But it is not going to develop another model that is even more capable.
If you exclude the features mentioned above by the creator, most htmx attributes seem pretty harmless from a CSP pov. Really, this is an argument for why htmx features should be built into the browser -- presumably details like this would be rooted out and resolved by browser developers before they would permit it to be included in their browser.
> I hadn't considered it as a build speed optimization, though that seems somewhat obvious in hindsight.

Some build systems like cmake already support unity builds, as this is a popular strategy to speed up builds.

Nevertheless, if speed is the main concern them it's preferable to just use a build cache like ccache, and modularize a project appropriately.
Container puts out inextinguishable fires in electric cars (2020)
> some kind of effective defense mechanism in open society against activist superminorities.

I'll be using comprised of more frequently. I was already a satisfied user, but now I'll continue with glee.

Language changes and evolves to serve the purpose of communication. It doesn't care about rules or usage.
Let's champion both.

Living in Austin, I plan to add solar to my house someday, and I would also love to see us build nuclear power plants.

I really cannot understand why people set these things at odds with each other. They are both better than fossil fuels or degrowth.
Green500 top supercomputer, gets 65Gflops/W.

65Gflops/W = 6.5e10 operations per joule = 2.34×10^17 per kWh

Assume $0.05/kWh electricity: (2.34×10^17 operations/kWh) / ($0.05/kWh) = 4.68×10^18 operations per US dollar

Human brain computational estimates are all over the place, but one from ages ago is 36.8×10^15 flops ≈ 3.7e16 operations/second ≈ 1.3e20 operations/hour: https://hplusmagazine.com/2009/04/07/brain-chip/

Given previously calculated cost, this is equivalent to a human that costs $28.31/hour.

Of course, as we haven't actually done this yet, we don't know if that computational estimate is correct, nor if we do or don't need to give it off-hours and holidays.

Still, general explanation is there's a lot of room for improvement when it comes to energy efficiently in computation; calling this Moore's Law may be inaccurate, but the reality happens to have rhymed thus far.
I was at a conference called World Summit AI in 2018, where a vice president of Microsoft gave a talk on progress in AI.

I asked a question after his talk about the responsibility of corporations in light of the rapidly increasing sophistication of AI tech and its potential for malicious use (it's on youtube if you want to watch his full response). In summary: he said that it's the responsibility of governments and not corporations to figure out these problems and set the regulations.

This answer annoyed me at the time, as I interpreted it as a "not my problem" kind of response, and thereby trying to absolve tech companies of any damage caused by rapid development of dangerous technology that regulators cannot keep up with.

Now I'm starting to see the wisdom in his response, even if this is not what he fully meant, in that most corporations will just follow the money and try to be the first movers when there is an opportunity to grab the biggest share of a new market, whether we like it or not, regardless of any ethical or moral implications.

We as a society need to draw our boundaries and push our governments to wake up and regulate this space before corporations (and governments) cause irreversible negative societal disruption with this technology.
No colours.

Eg Docker defaults to DarkBlue on Black for some status states and it's barely visible on my setup at tge daytime. At night it's just incomprehensible, I need to turn off Night Light or ramp up brightness over 150%.

No, I can't tune my environment, it's always some client's machine.
https://archive.ph/Sj7kZ
How many studys of this kind did you read yourself? How many of those studys you read, if you read some, you were able to understand? In my experience, people talking about not beeing sheep are the ones who get their "information" from some obscure youtube channel that tells them to not be a sheep.
They can't charge for RSA if they release transcripts immediately.
Having implemented subscriptions and using the docs, it was ambitious, confusing and hard to know what parts were applicable or not. What I needed from the docs was a good tutorial.
I mean if you use multiple translation units and header files, you need to have a copy of the function declaration in that header file to be able to call it from other translation units.
And with no negative outcomes imaginable. Was worried for a minute there.
I've found the best way to pair program with ChatGPT is with GPT4 API through a VSCode extension by @jakear [1] that uses the Notebook interface. Instead of setting a language for each cell, you set roles like "system", "user", or "assistant" and when you run a cell it sends the cells as chat messages.

A huge benefit of this format is that you can delete cells, edit the responses from GPT4 to incorporate changes from future queries, and even rearrange or add mock assistant messages to prime the conversation. As ChatGPT suggests changes, I incorporate them into the main code cells and replace the old queries/feedback with new queries feedback. Since the old changes are incorporated into the parent cells, it loses track a lot less and I can also touch it up to use the right file paths, APIs, etc when it messes up.

You can go a step further and monitor the llm file with inotify and extract assistant messages, infer the file path from the responses, and automatically write them to file as you update the notebook. That eliminates the back and forth copy pasting.

It'd be nice to extend that interface to include Jupyter notebook cells so we can use ChatGPT to generate notebook cells that can be parsed and executed in the interface directly.

Edit to add another tip: I use a variation of the below system prompt for working on larger sessions. Each user message begins with a file path and contains a code block with the contents of the file. After each user message containing a file, I manually add an assistant message that just says "continue", which allows adding several files at different paths. The last user message, the one I actually execute, contains the <request> tokens and the description of the modifications I want in the code. I incorporate the suggested changes into the messages then rinse and repeat. Prompt (sadly I forgot to record where I found it):

You are a Rust AI programming assistant. The user will send you the relevant code over several requests. Please reply "continue" until you receive a message from the user starting with the tokens "<request>". Upon receiving a message from the user starting with the tokens "<request>" please carry out the request with reference to the code that the user previously sent. Assume the user is a senior software engineer who needs minimal instruction. Limit your commentary as much as possible. Under ideal circumstances, your response should just be code with no commentary. In some cases, commentary may be necessary: for example, to correct a faulty assumption of the user or to indicate into which file the code should be placed.

[1] https://news.ycombinator.com/item?id=35605159
I dunno, the Vatican seems a perfect example of people needing to come up with new terms as old ones get “used up”, even when the ideas don’t change.

I mean, that’s pretty much the reason why we have the “Dicastery for the Doctrine of the Faith” rather than the “Congregation of the Holy Inquisition” and “Dicastery for Evangelization” rather than “Sacred Congregation for the Propagation of the Faith” (or, and this perhaps indicates how the name had worn out better, in Latin short form “Propaganda Fidei”.)
I like the idea that parts of the ‘should’ be free and open, but I’m curious how the people who work on these things would have time to do so if not paid.

Are you suggesting that they should be paid by the government - I.e. out of taxes?

Or are you simply saying if it’s part of the web, people should work on it for free - basically like open source? Even in this case, I don’t see where the money for infrastructure and power comes from.

Maybe I’m missing another alternative.
If you have access to AGI capable of enabling you to realistically build out your utopian vision, then it matters not what other groups are doing - short of coming to try to actively destroy you

I guarantee you there will be someone else with access to comparable AGI with an imperialistic vision who will enlist said AGI to help subjugate you and build their vision.
The current mass extinction doesn’t have much to do with the climate crisis though, it’s caused by good old fashioned massive exploration of the environment for human gain. (This is, of course, not a good thing. It’s an already massively fucked with ecosystem that climate change is causing increasing strain in)
> they still shed tire/brake particles

They shed a whole lot less brake particles due to regenerative braking.
Cube Root Law
Kinda... it's breaking off the domain into a different service (SaaS in this case). I usually separate auth out even for localized authentication, as stronger passphrase hashing is a relatively low bar for DDoS attacks in practice. If hashing a passphrase takes 0.5s of a single core, then it wouldn't take THAT many authentication requests to overload a system... and even then if you use other mitigations, that can have its' own design overhead.

So I generally try to design with a separated authentication from the beginning. I'll start with a "dev" auth service that will just have a form you can fill out whatever you want for the "user" and permissions, then sign a token to get into your local/dev environment application. From there it's really easy to create a more robust system or wrappers for external systems (Auth0, Okta, Azure AD, etc).

In general, however, MicroServices is about completely separating a given context domain from other services in a larger system. Account Management is separate from Assets, etc. In practice this means you will have a much more complex orchestration, deployment and communications system in place, often with some sort of Distributed RPC, Queue or other layers on top. You also have to be much more concerned with communications between teams and service versioning and availability.

This complexity isn't less complex, it just shifts the complexity, which can help with larger organizations, but for smaller teams it can really bottleneck everything. This is why the general concensus is to start with a more monolithic codebase designed to still scale horizontally, then break off systems as the need arizes.

The exception being if you are in an organization that has already paid the overhead/debt of setting up for microservice orchestrations.
Speaking as a design consultant who specializes in software: this is good advice! Use the lowest fidelity possible until you figure out what your product is and who it's for. Once you know that, it will give you a clear direction for the visuals and interactions.
The classic British example is "hoover".
Yep, and the Götheborg have hand spun tarred hemp for all the running rigging so using that as a towline is a no go.
As my parent post points out, it is certainly not history in the legal system and other fields where precise and Technical meanings matter.
Fully agree, same can be said about ever young generation’s slang.

What “bet”, “cap”, “rizz” and others used by the younger population isn’t wrong, it’s different and an evolution of certain terms.

I don’t study linguistics, but I can be sure there are terms we use today and take as normal-speak that were once the center of a younger generation’s slang vernacular.

An extreme example is the word retard. Years ago in normal speak you could say “After the EPA enacted stricter emissions regulations, this initially retarded the development of sports cars until new technology was implemented” other obvious examples are the medical angle of the word.

Today, you could use the word in such a way, it’s technically correct, however you’ll most likely get some odd looks.

Most uses of it today are either in specific comedic circles, or derogatorily towards another person/thing/animal etc
True, but as with every other OS project out there, nobody is gonna use it without userland. The kernel itself is already pretty mature, but now the effort should be put into making a full fledged OS out of it.
People don't use the car to go to work, but they use it a lot after they come home. Families with children use their cars a lot. Even with good public transport, handling affairs of a family of 5 takes a lot of time on the bus - so people use the car to go shopping, drive the kids to their after-school sports/clubs, visit grandparents etc.

Many households have multiple cars - one or two for the parents, then maybe one for the eldest child that still lives with the parents. Each car is used daily or almost daily.

There definitely is less daily driving per vehicle - but there's much more vehicles per square kilometer.
Thanks for details! Few follow up questions:

- I've seen neural nets using int8 for matrix multiplication
to reduce memory size [1]. Do you think something similar could be useful in the ANN space?

- Do you know of any studies using Faiss looking at speed/cost tradeoffs of RAM vs flash vs Disk for storage?

- Are there recommended ways to update Faiss index with streaming data, e.g. updating the vectors continuously?

Seems like more and more use cases for Faiss as neural nets become more and more core to workflows. Would like to try and figure out the configurations that are optimized to minimize carbon usage in addition to latency and recall metrics.

[1] https://arxiv.org/abs/2208.07339

(edit for formatting)
Interesting question. I'm guessing the information density of 100 miles of standard American interstate is less than that of 1 city block in Manhattan.
It's a comment on a message board. I'm not going to write a new constitution for an unspecified country and then meticulously go through each point, am I? I mean of course, you can address whether the voting is done by paper hole punchers or what kind of HB pencil to use, but in the context of a superficial debate on the internet, why not address the core issues?

Someone brought up that quiz voting was wrong, that was a reasonable objection.

On this one it's the principle of whether parents get to vote some share of their kids votes.
Ex-CEO of hacked clinic sentenced for failing to protect patients' session notes
Is there a specific reason why you have your link structured that way? I'm surprised to see that many tags as subfolders to the content, not sure I've come across that structure before. Just curious!
How it calculates the price? I thought that once you load the content (32k token request / 2$) it will remember the context so you can ask questions much cheaper.