skysight-inc/HackerNews huggingface dataset:
> As it turns out the best debaters can talk fast AND make good arguments simultaneously.

Ideally yes, that's what's its SUPPOSED to be like. But I have seldom or never seen it in practice.

It's on the system and judge to stop the students from talking over each other. I don't blame the students. They are just playing the game. If they get rewarded by short-cutting the debate, why not?
They reposted the "When paying more does not get you more accuracy" link 4 times in 2 months. I don't mind occasional reposts but that seems a little much:

https://news.ycombinator.com/from?site=airgradient.com
> It's easy to sign up someone else hundreds of years ago to have gone through that

it's a pretty universal human desire to give a better life to your children and your children's children, so he might not be very far off.
Having been in a jury this debate format is a big problem. If one of the sides is not good at presenting their case, there is a problem. In one of my cases the prosecution had an expert witness that stated some totally wrong facts about visibility during sunset. Due to photography I know a lot about lighting conditions so if I hadn’t spoken up during deliberation the prosecution would have gotten away with a falsehood.
> Copyrights last a long time, but they're not perpetual either.

For the creators, copyright is effectively perpetual. It expires eventually, but rarely until after you're dead. "As a general rule, for works created after January 1, 1978, copyright protection lasts for the life of the author plus an additional 70 years. For an anonymous work, a pseudonymous work, or a work made for hire, the copyright endures for a term of 95 years from the year of its first publication or a term of 120 years from the year of its creation, whichever expires first." https://www.copyright.gov/help/faq/faq-duration.html
>>ldoughty I get it, its an honest mistake, in response to a muddy quotation style.

cheers
>Why do you think of it in terms of "entitlement".

Because that's the angle that the OP was going for, pointing out how it's some sort of injustice that capital gets a perpetual income stream but labor doesn't.
I see what you katydid there.
Show HN: Spatial: AI Assisted Customer and Market Research
I mean, I hope not. But I'd be a fool not to plan for the worst.

[edit: you can phrase your question differently. I won't be offended and I'm happy to explain my view on it.]

[edit 2] FWIW . I have a friend who's dying of lung cancer right now. I was real close to my uncle who died of it. There are a lot of things that can get ya, and I try to avoid all of them. People think this is ridiculous, but cancer is a cumulative risk. I don't eat processed foods or refined sugars. I get regular colonoscopies and checkups. I sleep with an air purifier. I just love to fucking smoke. Nine out of ten things I look forward to every day are cigarettes. Addiction gets a bad name. It's one of the most pleasant experiences you can have. Like sex. I'm not sure I'd want to live without it. If it doesn't hurt anyone else, e.g. I'm not robbing people for meth or ruining anyone else's lungs or raiding my kid's college fund, etc, I'm okay with it, because I'm going to die from something anyway. I'm 43 and don't really care to live past 60. Although I said this when I was smoking at 14 and didn't want to live past 30, so, who knows. Life's a gift. Wine, tobacco, chocolate, sex and foie gras are a few of the things that make it worth living.
Why use an LLM as middle-man? If we’re all connected to the network just switch over to real-time direct democracy enabled by your brain implant ala sci-fi.
I was literally asking what GP meant:
"> Who are you (not you personally, but anyone) to decide how others should live their lives?
Someone who wants to socialize your health."

Does that mean that socialized medicine justifies restricting health choices? To me, that is an argument against socialized medicine, and also the point I was trying to make is, where do we stop? We could force people to exercise and monitor them via a little camera built into a device with a screen ;)
In the real world, left wing causes seem to be making progress by means of college students anyway.
As someone who has become increasingly bitter about and alienated from the American lifestyle because of this issue, this comment made my day. Brutal, biting, hilarious. Thanks for writing it.
China and Chinese Mafias Overseas Protect Each Other's Interests
This article is about competitive debate, which is no more for learning about the world than bicycle racing is for transportation. Aside from maintaining a calm attitude, those points are irrelevant to the goal of winning the competition.
Historically the well-payed and well-educated are the most useless of groups to effect any change.
> falsely concludes

i disagree here. instance b did the right thing given the information it has. instance a should realize it no longer owns the lock and stop proceeding. but in reality it also signifies concurrency based limitations in the api itself (no ability to perform a do and then commit call). https://microservices.io/patterns/data/saga.html
Prometheus was known as a monitoring system, which promotes pull model over push model for metrics' collection. E.g. it is configured to discover scrape targets and then to scrape metrics from them at regular intervals - https://www.robustperception.io/its-easy-to-convert-pull-to-... .

It is interesting to see whether Prometheus will be transformed to multi-model (pull+push) monitoring system after the addition of Opentelemetry protocol.

P.S. VictoriaMetrics, the Prometheus-like monitoring system I work on, also gained support for OpenTelemetry data ingestion in the release v1.92.0. https://docs.victoriametrics.com/CHANGELOG.html
Laws that rely on misaligned interests are universally bad.
Greg Rutkowski Was Removed from Stable Diffusion but AI Artists Brought Him Back
Nice! What kinds of companies are generating enough AI images that they need automated image assessment? Is it only AI companies doing image galleries, or are there some more enterprise style companies
I mean that you need to accumulate the readings for a long time because the specific activity is so low.
Rapidly flashing lights! At night! That is without a doubt the singularly most obnoxious signage I've ever seen. I hope the city is successful in getting it removed.
The article at that link seems to show there’s _not_ something to it - it doesn’t work.
I'd be very interested to hear more about Dr Giavant. I teach and I'm always looking to hear what works for folks.
Use knip to detect dead code and types
Back in the day, it was still spelled Giga but pronounced Jiga. I heard from some old-heads at power company.
"In mathematics, a function from a set X to a set Y assigns to each element of X exactly one element of Y." [0]

[0] https://en.wikipedia.org/wiki/Function_(mathematics)
Winning a debate doesnt make your argument truer. It just means your opponent was weaker than you at making his argument. Agree or not with that judge but he makes a good point about favouring the validity of an argument over the ability of the debater.
Don't be absurd. There is a ginormous difference between a party whose position is that climate change is a problem that we have to deal with but doesn't support all possible ways to deal with it, and a party whose position until recently was that climate change was a hoax perpetrated by China or socialists or others to destroy the US, and whose current position is that maybe it is happening but we should not take any action and in fact should increase our fossil fuel use.
have you considered using ykcs11?

ykcs11 allows you to use the native SSH agent (or even no agent at all for individual ssh invocations) with an ssh key on a yubikey using their pkcs11 provider.

https://developers.yubico.com/PIV/Guides/SSH_with_PIV_and_PK...
Our town is Buena Vista, the first word is pronounced "Bew-nuh" -- and it's not strictly local, horse saddles were produced here in the early 1900s until I guess sometime before WW2, and old-timers who worked horses in the surrounding states know the local pronunciation!

The conflict aversion way to pronounce it is "BV" :P
> There's nothing special about where I live except that it's development predates the automobile.

Seems like there is, and it's that it's very rich? Because something like this:

> an amazing park with play structures, basketball courts, tennis courts, large gracy field, a creek, picnic areas, and such about a 1 minute walk away.

doesn't exist in the entirety of my city, which also predates cars.

Also, do you mean a detached house when you say "from my house"? How many customers within 5-10 minute walking distance does (for example) hairdresser serve in such place?
This strikes me as a similar technique to trying to jailbreak an LLM to answer your questions without all the safety neutering -- you're trying to convince the judges to eval your new rules of debate, and then interpret your utterances in that new context.
Choose style: LLVM, GNU, Google, Chromium, Microsoft or WebKit.
If a natural product that isn't obviously salty has 3x the sodium, then it's probably not worth worrying about. Besides, it's 3% of DV for a 20oz bottle. You'd have to drink a hilariously high amount for the negative effects of salt to kick in.
You might have missed or forgot the start of my post where I told you I lived in NYC (an immensely walkable city) without a car for 20+ years.

And that I gave it up quickly and gladly for a more car-based life once kids came.

The whole point of my post is a shift in perspective. Just curious, how many kids do you have?
https://archive.is/judzk
Police spending most of their time enforcing traffic? That’s a shock to me because I’d count half a dozen easy tickets for cars parked in protected bike lanes while commuting to work in Oakland.
And not because... it tastes good? What does coca-cola and pepsico have to gain from destroying people's teeth?
* spending the evening playing video games that I've already spent a ton of hours on and am not getting any kind of new experience out of anymore

* hanging out at a bar and talking to intoxicated people

* house parties

In exchange, new things are fun:

* skateboarding

* learning Japanese

* building an arcade cabinet in my basement (I'm a software developer, very little experience with wood working and other hardware stuff)

* waking up in the morning and being excited for the day
I see this all the time. It makes me SO angry. They do the same thing for construction. "Oh, sorry, the bike lane is closed for the next 2 years. Sorry, sidewalk closed. Walk 10 more minutes for the next 2 years."
Out in route 128, down by the power lines.
I would argue it is not a large part a webview. The webview related code is 900 lines vs the whole project 10k lines.
Mimicr: Text Generation using Machine Learning (2016)
We've heard good things about MP public schools so that's disappointing! Did you guys end up going to private?
https://archive.is/NmfCq
Are we talking about "PEP 554 – Multiple Interpreters in the Stdlib"[1] proposal?

[1] https://peps.python.org/pep-0554/
Might need to block off sections of the ocean to control for the cocaine shark research (https://www.scientificamerican.com/article/are-cocaine-shark...)
Go ahead an school me. I can't wait for the sources from one of Bloomberg's antigun groups, or out of the wing of Harvard he funds for the same effect. PLEASE make it something from Hemmenway, I do so love his flavor of "science".

Gun ownership has always been common. I didn't say more or less common than any point to compare to.

We're lucky it's more common now than in previous points in history. You just don't know it yet.
No, this isn't true nor correct.

Secure Boot and TPM do offer tangible security benefits and is security features you can take ownership of.

Secure Boot allows your own key hierarchy, and TPM allows you to take ownership.

The linked boot disk isn't really proof that Secure Boot is useless. If you don't set a MOKManager password (as you should), and you change the security state of the machine while present at the keyboard. Yes you can boot things.

This is intended to make sure people can actually decide to trust things. And having insecure defaults makes this less useful. Not very surprising.

EDIT: The bootdisk won't work with a recent shim nor a recent grub. The old shim it was using should be revoked if you have any remotely updated machine as well.

TPMs could also prevent attacks like this on your machine.

Incidentally I've invested quite a bit of time in making user-friendly Secure Boot tooling as well. https://github.com/Foxboron/sbctl
These attacks target jailbreaking because that's the easiest thing to test, but when you're reading about them, you really need to mentally substitute "jailbreak" with "indirect prompt injection."

https://simonwillison.net/2023/Apr/14/worst-that-can-happen/

For the most part you're right; there are reasons why you'd want to minimize jailbreaks but it's not the end of the world if you can get a model to swear. But if you can't keep a model from swearing, then you also can't keep it from phishing the user based on instructions in a PDF it reads.

It's reasonable that researchers target jailbreaking because it's kind of the low-hanging fruit of LLM defense, it's likely easier to defend against a jailbreak than against general malicious input. And like I mentioned above, it's much easier to test as well. But it's unfortunate that a consequence of focusing on jailbreaking is that it creates the perception that jailbreaks are the only thing that's being tested.
They chose Haskell for the reasons stated in the section 2.1. Namely human reasons of it being a general purpose language that is supposedly more readable by engineers, and preexistence of translators that they needed. To me the "formal" aspect of their spec starts after the output of the hs-to-coq compiler, which isn't a verified compiler. I already have to trust coq, in which about a paradox a year have been discovered(maybe less now), and which isn't small (about 20k lines minimal core iirc). Trusting an additional compiler and a language subset(some total Haskell subset) is stretching it formality wise. Using a general purpose language is also their innovation (Academic papers sometimes are written to cover the yet unclaimed design space, not necessarily because the approach is the best or practical). They even used the following language "It may turn out that the ideal community-shared spec language is quite different from Haskell, but our interest here is showing that a general-purpose language can work well as the host for a multipurpose spec, leaving fine-tuning of the approach for future work." I see no reason why they couldn't have done it in coq or lean directly, other than the inconvenience(having to write to-verilog and other translators) and "non-innovativeness"(publishability). Good old C today has been fully formally specified, and therefore could also technically be used to provide a "formal" specification for hardware. Would it be a good formal specification? The further it is from the logical core the less useful it seems to me as a formalization. Haskell's formal aspects are also scattered across multiple papers throughout the years and Haskell's versions as far as I know. Coq on the other hand has https://github.com/MetaCoq/metacoq
Random aside, but what are some sites similar to NewAtlas?

I really like their style and curation, and I really like that they aren't a zombie site like 99.9% of the internet (they check sources and email/call them, and they give very mild, reasonable takes).
Thanks. I will be updating the text shortly.

"You have to do this to do functions the kernel supports but haven't been ported to clib yet."

This is insightful. I'll reflect it in my updated text.
I suspect that he has not been involved in this project for a long time, but early on, Eric had the help and support of Guy Steele.
Do you know which of those would be the psycho-active substance for the purported buzz effect?
> Because that's the angle that the OP was going for, pointing out how it's some sort of injustice that capital gets a perpetual income stream but labor doesn't.

Well, "injustice" aside, doesn't it seem somewhat arbitrary, inconsistent, bizarre to be ok with capitalists having perpetual income from their products while ridiculing labor (the "snarky shots fired at you") for wanting perpetual income from their products too?

You said this, which seems to deny even the possibility of perpetual income for anyone except the owning class:

> If you want perpetual income, create your own enterprise, or become an investor yourself.
Maybe because a lot of our grandfathers lived through the war because they didn’t have to invade the home islands of Japan. So the “lives saved” argument is a little more visceral when I wouldn’t even exist today if it weren’t for the atom bomb.
Woodstock (municipal) Police or Ontario Provincial Police?
Stop relying on schools to entirely educate your children. School education is a baseline. Moreover, it's not entirely up to parents to "accelerate", much less educate, their children.

Let your children explore the world outside of a coercive environment, and they'll probably surprise you.

If your children don't want to explore the world when given the freedom to do so, then something might be holding them back, like addiction or depression. In the end, your child is going to become an adult one day and they'll need that self-motivation to be successful.
At most you shouldn’t accelerate kids more than 4-5Gs, maybe up to 6G if it’s only for a few seconds.
Freewheel Brewing here in the SF Bay Area (Redwood City, to be specific, 1 block from my house to be much more specific to many fewer people) specializes in cask ales. Many of their beers are in the 4% range, and I love being able to get beer in an imperial pint.

Their London Calling is 3.5%.

http://freewheelbrewing.com/?p=312
> Agree or not with that judge but he makes a good point about favouring the validity of an argument over the ability of the debater.

This is not correct; for an argument to be valid, the conclusion must follow from the premises.

That judge is saying he will vote based on the conclusion regardless of the premises.
How do I do this without being the parent of a kid that attends the school? I don't think they would enjoy that a random dude come in, they'd call the police I'm sure. We were in the SF East Bay (Berkeley) until recently which is basically ground zero for this stuff. Past tense because I don't want to stick around here too long and have my kids suffer this. In the above comment I was talking about my doubts, but we're actually acting on those doubts and my kids are going to study at an international school in Asia.
Org Debt
I've been noticing the similarities between how an organization is configured and a codebase. Upon reflecting why organizational change is hard, I made a comparison between the two and suggest an alternative.
You may be confused because a bijective function must be one-to-one, while in general, a function may be many-to-one. However, the standard definition of a function excludes one-to-many mappings.

> A function f from a set X to a set Y, denoted f: X -> Y, is a relation from X, the domain, to Y, the co-domain, that satisfies two properties: (1) every element in X is related to some element in Y, and (2) no element in X is related to more than one element in Y.

Susanna S. Epp. 2010. Discrete Mathematics with Applications (4th. ed.). p.384
Rectangular Micro QR Code (RMQR)
This is a fascinating take as far as I can follow it, which unfortunately is not that far. But does any of this formal logic help with deriving a function that describes a vector? Because it seems like the greatest inefficiencies and bottlenecks in big data analysis e.g. training networks still boils down to how to find functions that approximate output comparable to expected vectors, whether that's done by symbolic regression or layers of transformations. It would be "magic" if you could operate only on the vectors-as-functions without needing to distill or compress the relationships between their inputs and outputs somehow.
As always, there is an XKCD for that:

https://xkcd.com/349/
> Works if you consider the reader is what you use to do the reading. You have a source you want to read, so you get a reader that can do that.

This strains ordinary language imo:

Say you have a "log" which implements the Reader interface. When I call "log.read()" surely we are reading from the log, no? The log itself isn't the reader. This matches everyday usage.

Perhaps your argument is that you can envisage the "log" object as an abstract "reader" of the bytes on disk, or something like that -- so the mental model is not a "log being read from" but instead "bytes on disk, an object able to read them (the Reader), and the code using that object to do the reading". In this worldview one never does anything oneself, but always uses a tool to do that thing -- the "-er" tool. I dislike this as it introduces an unnecessary layer of abstraction, but I grant it resolves the issue consistently.

Also in this conception now I have a variable named "log" which does not represent the log but "a reader of the log". So you have to either ignore that inconsistency or name the variable "logReader", which introduces extra verboseness everywhere.

The other resolution is simply to say this is a programming language, not ordinary language, and we decided that having a consistent, mnemonic way to name one method interfaces was more important than respecting natural language analogies. So f it, we're using "-er" to mean "-able".

I would be curious to know what the actual conversation was during the development of Go.
> Russian

Say no more :)
What’s Discord done to make itself worse?
The first line of redis.io:

> The open source, in-memory data store
The war department was planning for 500,000 American deaths and millions of Japanese.

The Purple Hearts ordered for the invasion of Japan are still being given out today.
Is this the one that Intel is getting first dibs on for the next few generations? Looks like these fabrication paradigms generally work on Moore's law for some time before tapering off (S curve to some degree) but the discovery of a new paradigm can slow down the overall trendline if it takes too long to commercialize.
When you see a guide containing a 7 step manual to do something that should be simple, it's worth taking a step back and consider the question if you can make this valueable security feature more easily accessible.

Side-loading so-names into your security critical apps is probably something you should be more critical of as well.
Avoidant as I am of Apple's ecosystem, I can only imagine the "security" justification for serializing a display panel. Covert exfiltration of sensitive information from password managers and such?

At any rate, I continue to be unamused by how difficult it is for normal people to service their own Apple devices.
I loved that section and wasn’t sure how much livery Stephenson might have been taking. Not much, it seems.
Critical thinking and Critical Theory are not the same thing.

Critical thinking is why USA has better scientists and inventors than China and India.
The US does have fairly steep tariffs on imported sugar. And subsidises domestic corn production. Hence why high-fructose corn syrup is found in nearly everything!
https://archive.is/dsIpW
Yeah. When my son was born I realized the geographic separation of the extended family in space is clearly unnatural. I don’t mean that in a moralizing way, just that it’s like walking on your hands rather than on your feet. Doable! You could get used to it! But it’s a hell of a lot harder than the alternative.
I'm pretty sure parent recognizes that and is criticizing competitive debate as "debate".
https://archive.is/zBpO0
In developed countries..
I think that would be Arabidopsis thaliana.

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