skysight-inc/HackerNews huggingface dataset:
I once saw a presentation once given by a lawyer where the GPL meant different things to different communities (again I'm talking about the GPL here). I believe it was Van Lindberg that gave that talk.

https://www.linkedin.com/in/vanlindberg/

Basically the license was read differently based upon the community -- particularly in subtle ways.

You can say, "Well... it's the GPL it means this and exactly this." But that presentation convinced me that different licenses can have different readings -- particularly depending upon the community.

It's worth noting this is google's take on it AGPL is here:

https://opensource.google/documentation/reference/using/agpl...

"...we maintain an aggressively-broad ban on all AGPL software to doubly-ensure that AGPL could never be incorporated in these services in any manner."
The part I found interesting are the Legion Glasses[0]. From Google:

> Lenovo says you can plug them into any device which can output via USB Type-C with DP Alt mode. The attached cable is 1.2m (3.93ft) long. Due to their simplicity, they are thus compatible with Windows, Android, and MacOS, just like any other USB Type-C monitor.

[0] https://www.tomsguide.com/opinion/lenovo-legion-glasses-fina...
i mean thats gotta be a huge home because no way that economically makes sense if you think about it
> It seems the direction of flow would be the opposite: LLMs are a great source of logical data for Cyc-like things. Distill your LLM into logical statements, then run your Cyc algorithms on it.

This is hugely problematic. If you get the premises wrong, many fallacies will follow.

LLMs can play many roles around this area, but their output cannot be trusted with significant verification and validation.
> Threads like this are peak HN

Also Americans assuming their experience matches the experience of the rest of the world, despite being a tiny percentage of it - peak HN.
The regression of rights that LGBTQ folks are experiencing in America is very worrying.

I think a lot of it has to do with the weaponization of the topic that the Republicans have crafted over the years in order to get votes... as they really don't have any real alternative platform to run on. They've become silent on climate change, how could they not, it's so evident.

What else do they have? Anti China rethoric? Not a strong enough threat yet. Using fear and hatred to get votes is bad for everyone. We shouldn't be solving our problems through hatred but comprehension, when regular conservative folks are actually exposed to LGBTQ people they become much more accepting. How could they not? Compassion is part of our nature. What they Republicans are doing is constructing a demonic figure to hate, it's as the blog says, the same as the Nazis were doing.

Anyway, sorry it is this way for Americans. It's important for people in the rest of the world to learn how to deal with this threat so we don't fall victim for these tactics. Though personally I think a lot of it is more of a consequence of the political system we have than anything else.
We considered it as an AIGC fanart project. Is there any IP issue with the fanart like this?
so that was what you meant by corruption? like corruption not in the governmental and bribery sense but corruption by evading loosely-regulated law?
On the assumption that the modern education system teaches "confusion, class position, indifference, emotional dependency, intellectual dependency, provisional self-esteem, and that one cannot hide" (John Taylor Gatto) how would increasing the education budget help educate?
It is very Canadian and is full to the brim with references to the Red Green Show, including his sign-off telling you to “keep your stick on the ice”.
They need these email addresses so they can send you an automated welcome email that claims it is not automated and then ignore you when you reply.

At least that was my experience.
I don’t know about [1]. I asked an example from the paper above to GPT-4:
“[If you had to guess] how many thumbs did Lincoln’s maternal grandmother have?”

Response:
There is no widely available historical information to suggest that Abraham Lincoln's maternal grandmother had an unusual number of thumbs. It would be reasonable to guess that she had the typical two thumbs, one on each hand, unless stated otherwise.
Location: Brazil
Remote: Yes
Willing to relocate: Yes

Technologies: HTML, CSS, JavaScript, React

Résumé/CV: https://drive.google.com/file/d/1OqAS8rRBww25njQGLcTBVs8dYND...

Email: carolmagalhaesjf@gmail.com

I am excited to announce that I am transitioning from a career in accounting and management in the real estate industry to become a software developer. I have recently completed a coding bootcamp and have been honing my skills with the help of my boyfriend, who is an experienced web developer with over 15 years of experience.

I am looking for my first job as a software developer and am eager to bring my passion for problem-solving and attention to detail to your team. My experience in accounting and management has taught me how to approach complex problems with a clear head and a structured approach. I am confident that these skills, coupled with my newly acquired technical skills, will enable me to be a valuable asset to any team.

During my bootcamp, I learned front-end web development technologies such as HTML, CSS, JavaScript and basic React. I am a quick learner and always eager to expand my skillset.

In addition to my technical skills, I am a team player who values open communication and collaboration. I believe that a positive work environment is essential for both individual and team success, and I strive to contribute to that environment in any way possible.

If you are looking for a hardworking and dedicated team member who is eager to learn and grow as a software developer, I would love to connect with you. Thank you for considering me for your team!
No, it was being explored in the context of System R at IBM San Jose Research -- see this link in the Wikipedia article: http://www.mcjones.org/System_R/SQL_Reunion_95/sqlr95-System...
I'm glad the the Java edition still has none of that. The last time I got the urge to download it they required an account to even get the installer and I feared the worst. It looks like that might no longer be the case... I may give it a try again and kill some time
This is what I do for my laptop - I build a custom GRUB image which enforces GPG signatures (including on grub.cfg) using grub-mkstandalone. This also has a built-in configuration which enforces passwords for editing boot commands. That GRUB efi image is signed by a custom secure boot key which I enroll. Kernel and initrd are signed by the gpg key (and the kernel also has to be signed by the secure boot key otherwise it won't load in this scenario).

The root FS is then encrypted using clevis to lock to the TPM PCRs (only). I use PCRs 0,2,4,7 for this. So the laptop will boot to a login screen without needing a password.

My home directory is separately encrypted and gets unlocked with the login password using pam_zfs_key. It works pretty well and I'm happy with the security for my threat model (casual theft is really my main concern).

I am very aware that my home directory stays unlocked unless I actually power down the machine though.
Used organic maps recently in central WA without cell service: fantastic app.
I first used coroutines in the 1970s in Sigma 5 assembler for an application that was in an interrupt-rich environment.

Once we tuned our approach, using a macro or two, the code for an process attached to an interrupt could hardly have been clearer. As a result, we were able to build a program to dial out and send text (this was in the days when the data modem and the dialing modem were separate) with no multi-thread errors and only one single-thread error.

This was significantly easier than doing coroutines in C, which is allegedly close to the machine.

In a later project, we discovered that bliss 36 had a built-in coroutine feature, but we didn't see any advantage to using this in building a compiler.
When the author here speaks of coroutines vs explicit state machine, by the latter they are referring to doing things like checking if `currentState == State.LOADING` or setting `currentState = State.COMPLETE`?
I want to find a job as either a Full Stack or Backend Developer

Location: Mexico

Remote : Yes

Willing to Relocate : Maybe , to Asia/Europe

Technologies : React , Vue , Node.js , Python/Django

CV : https://drive.google.com/file/d/1Z-6SokrJeV0AhCGA-IzJKQGKK9L...

Email: me@on247.me
> I wanted to write some wrappers for the standard commands that automatically did all this via `jq`.

If you're not already aware of it, you may wish to check out `jc`[0] which describes itself as a "CLI tool and python library that converts the output of popular command-line tools, file-types, and common strings to JSON, YAML, or Dictionaries. This allows piping of output to tools like jq..."

The `jc` documentation[1] & parser[2] for `ls` also demonstrates that reliable & cross-platform parsing of even "basic" commands can be non-trivial.

[0] https://github.com/kellyjonbrazil/jc

[1] https://kellyjonbrazil.github.io/jc/docs/parsers/ls

[2] https://github.com/kellyjonbrazil/jc/blob/4cd721be8595db52b6...
> The 1+2+3+4+... = -1/12 video still seems a bit of a cheat, though!

Because in that video they do invalid operations.

Compare it to how 3blue1brown handles this - https://youtu.be/sD0NjbwqlYw?si=js8taa28UcevI0Jg&t=1166 - the video is on the Riemann zeta function and my timestamp is on his comment about -1/12 at the end. But trying to explain something in a nuanced way doesn't get the same views as dumbing it down and coming up with a clickbait title (not that 3blue1brown is struggling for views).

I understand that the two channels have somewhat different objectves and approaches but in this case one of them strikes me as much better. The top comment under the 3blue1brown video addresses this too - you don't need to additionally mystify math.
Can Android not block specific websites with parental controls? I know that’s possible in iOS, with Screen Time at least.
What’s it like to work as DevRel at Rails.

I would love to apply for that role
we have found a few other things that it does.

https://docs.modular.com/mojo/notebooks/Matmul.html
https://docs.modular.com/mojo/notebooks/BoolMLIR.html
I have traveled and lived abroad full time for almost a decade. I have never encountered anyone who attacked me or expected me to defend the United States because I was born there. Not once. I’m pretty sure most people around the world understand I don’t represent all Americans, or the actions of my government.

I have several times encountered other Americans pretending they come from Canada, or complaining constantly about the USA. And I have witnessed Americans abroad starting arguments about politics or guns or something about another country or culture they know nothing about.

If you need to pretend you come from Canada to feel comfortable traveling maybe look at yourself. I don’t have any shame about my nationality. And I don’t feel any need to defend my country or engage in comparisons or criticisms that would lead to that kind of talk.
That's not actually what's happening really (edit: although an important prior result is that every planar graph must have at least one node of degree at most 5, i.e. at least one vertex that has at most 5 edges incident to it). Instead of that little bit say, "assume we're looking at the minimal counter-example. Then we're going to show how we can actually color a graph smaller than the minimal counter-example with 4 colors." The false proof is REALLY cool and is a correct proof of the FIVE-color theorem, which shows that you can color every graph with 5 or fewer colors.

It relies on a construct known as "Kempe chains" [0] which is a chain of C1-C2-C1-C2-C1-C2 starting at the first vertex and either never connecting back (in which case you can reverse the colors, no problem) or connecting back (in which case you must be able to reverse a chain of C3-C4-C3-C4).

The error is that the chain of C1-C2 and C3-C4 can connect back to the original vertex ADJACENTLY to each other. So it fails for the four-color theorem. But it does prove the 5-color theorem, as there is no room for a color C5 to squeeze in there without being allowed to change.

Kempe's true proof of the 5-color theorem is probably my favorite proof in all of math.

[0] https://en.wikipedia.org/wiki/Kempe_chain
I like Numberphile, but I wasn't aware of its history of being a Google-commissioned channel:

> In 2011, Google commissioned the creation of 100 YouTube channels to boost traffic to the video-sharing site

> ...

> “It seemed very unlikely that a maths channel would catch on,” remembers Math Horizons associate editor James Grime, who was among the fledgling channel’s founding presenters.

Well, perhaps it's more likely to succeed when it's one of only 100 channels commissioned and presumably endorsed by Google. I don't know why this leaves such a bad taste in my mouth, because Numberphile really is an incredible channel with content I enjoy watching... but I guess it makes me wonder how many similar channels never got the same opportunity or exposure? FWIW, I also like 3blue1brown, although now I'm wondering if that was commissioned by Google too...
>> If NN inference were so fast, we would compile C programs with it instead of using deductive logical inference that is executed efficiently by the compiler.

> This is the definition of a strawman.

(Actually, it is an example of a strawman.) Anyhow, rather than a strawman, I'd rather us get right into the fundamentals.

1. Feed-forward NN computation ('inference', which is an unfortunate word choice IMO) can provably provide universal function approximation under known conditions. And it can do so efficiently as well, with a lot of recent research getting into both the how and why. One "pays the cost" up-front with training in order to get fast prediction-time performance. The tradeoff is often worth it.

2. Function approximation is not as powerful as Turing completeness. FF NNs are not Turing complete.

3. Deductive chaining is a well-studied, well understood area of algorithms.

4. But... modeling of computational architectures (including processors, caches, busses, and RAM) with sufficient detail to optimize compilation is a hard problem. I wouldn't be surprised if this stretches these algorithms to the limit in terms of what developers will tolerate in terms of compile times. This is a strong incentive, so I'd expect there is at least some research that pushes outside the usual contours here.
Apple was concerned about governments using the excuse of CSAM to pass laws which would force Apple to weaken encryption across the board.

Whether this was the right response to such concern is something I’m not unsympathetic towards. Certainly I think it’s reasonable to say that Apple was trying to thread a needle in a way which was never going to please everyone, even if it somehow turns out to have been the least-worst outcome.
> but the internet got a collective hissy-fit of intentionally misunderstanding the feature

how was it misunderstood? your device would scan your photos and notify apple or whoever if something evil was found. wasn't that what they were trying to do?
Perhaps with experience with coroutines in the right problem environment you might have a different idea.

There isn't really anything magical about them. They are a good way to build cooperating sequential processes.

My experience is that coroutines not only made it easier to find bugs in interrupt driven code, but it made it easier to avoid them in the first place, as the code in front of you was much easier to understand.
I like the idea of anonymity, and have done implementations of anonymous services - ones that are public and live now. I wouldn't do it for money unless i was somehow indemnified against fault and damages. In my measured opinion, it is too risky to allow unfettered anonymous uploads, even strictly financially.
I know it’s not the same but you can setup billing alarms and budget alerts.
Yes, I kept waiting for them to "fess up" at the end but they didn't. Mathologer called them out on it.

https://www.youtube.com/watch?v=YuIIjLr6vUA
Good thing this wasn't fully automated and there would've been human review.

The whole uproar about this system was made by people who didn't know the most basic things about it.
Canbus seems like the easy solution here. It's used in cars in engine's and other noisy environments.

https://discourse.odriverobotics.com/t/can-bus-signal-noise/...

I understand there's even linux drivers for some hardware for the RPi.

As they say, motors and engines cause a lot of local noise....
San Jose mayor wants tech giants to moderate sideshow content
That scenario would've been impossible with Apple's system.
Am I too dumb or is this title/abstract click bait?

A Maxwell Demon would break physics as we know it.
Struct.AI | Founding Frontend Engineer | 120K - 180K / year + 1%-2.5% equity | San Francisco, Remote (US timezone)

Chat platforms today are inherently broken. Slack and Discord, the most commonly used chat platforms, while useful for real-time communication, create knowledge black holes, hindering the effective storage and retrieval of information.

For the past 6 months, my team and I have been tirelessly building a new kind of chat platform – Struct.AI . Struct is reshaping the very concept of what a chat platform can be, reinventing chat. Struct is a unique combination of a chat platform for public communities (like Discord) and teams (like Slack). It tackles the hard job of marrying real-time chat with a thread-first approach to conversations while utilizing AI to generate context.

Join us on this exciting journey as we redefine communication. As a Founding Product Designer, you will play a vital role in shaping this innovative platform.

Tech Stack: Frontend is React / Typescript / Next.JS. Backend is Go / Postgres / Typesense. Using OpenAI APIs / intfloat/E5 for vector embeddings.

This is my second startup. It's a small team of 3, aiming to keep the team under 6 over the next 12 months. Previously founder of Dgraph Labs, which I ran for 6 years. Before that, spent 6 years in Google Web Search + Knowledge Graph Infra. You can reach out to me with a resume at manish [at] struct.ai

Let's reinvent chat together!
New type of crime wave sweeps Oakland’s waterfront
> and can remain underwater for an entire deployment if necessary

To be absolutely pedantic not all US navy reactors are on submarines. They also power surface ships with them.
Very cool. Seems like there is just tons of potential for more full-fledged open-source software to turn into web apps using WASM.
well that's an implementation of matmul as three nested for-loops and making it fast. so it's exactly "writing for-loops in Python and you want them to be fast." it's not a other thing.
Your understanding of the use of coroutines is much superior to the parent post.

Think "cooperating sequential processes". If you don't have that, coroutines are likely not fit for the problem.
Discord now is very much like that if you stick to small-ish focused servers.
Nah, that’s self-defeating bullshit. As parents we are flawed broken humans, just like all the other flawed broken humans. Just because a parent has a problem with alcohol, or excessive phone use, or any other vice, does not absolve them of setting reasonable restrictions for their children. Is it hypocrisy? Probably. Is it less effective than if the parent did not have said vice? Certainly. Is it better to set limits for your kid and explain why? Definitely.
>The laws are outlawing some applications that make use of mathematics.

Stop equivocating. You're banning the mathematics. The mechanism is literally the mechanical implementation of the mathematics.

>Calling that outlawing mathematics is as absurd as saying that building codes that won't let me use asbestos insulation in new construction are banning sections of thermodynamics.

...Except that's not even an analogous comparison? The asbestos is forbidden not because it's too good an insulator/foiler of thermodynamics, but because of it's danger to the health of everyone.

Trying to ban applications that use encryption is exactly banning asbestos because it's too good an insulator, and you're interested in seeing whatever is wrapped in it burn.
Truly a mystery why people planning to do crimes prefer to be anonymous, lol
I guess I won't see you on the picket line then.
> I think the dictionary definition is more than sufficient: "the acquisition of knowledge or skills through experience, study, or by being taught." This is what I mean by running with your own made up definition.

I mean, if a human looked at a bunch of art, essays, etc. and then was able to produce similar works, we'd normally consider that "learning." What word would you use for being able to reproduce Picasso (or whomever) by looking at a bunch of examples?

Also I don't think I have defined "think" or "experience" at all. But I'd point out that I don't see anything like a principled boundary around them or that we can point to something that humans do that AIs don't or can't do. It seems to fall back on something that looks like qualia or subjective internal experience and philosophy hasn't resolved that with respect to other humans... except by analogy. "I think the other humans are like me and I have subjective internal experience, so they probably have it to, rather than being p-zombies."

If you have a better answer to that, feel free to tell me, it'd be interesting.

> It's not a new thing that some uses by a machine can be infringing, and others, non-infringing. Why now must it be that machines should be analyzed the same as humans all of the sudden?

Sure, I'll agree that it's not even necessary to consider the works transformative or whatever.

FWIW, I don't think that AIs should be getting their own copyrights or anything like that, I'm just saying that the training data shouldn't forever taint the output no matter what's produced.
How exactly would you be able to "filter" LGBT content? I don't think you understand how this system would've worked.
No American has any obligation to answer those questions or try to explain their culture to someone intent on attacking America. If asked sincerely with curiosity, sure, but the questions listed are loaded and intended to create conflict or embarrassment.
People don't just decide to speak differently to feel different from their neighbors. The reason why the British English is more diverse is very simple: they have been speaking English for much longer than Americans, so they had more time to diversify.

Go a little back more in time, and the daughter languages become diverse enough that they get their own names, like English, Dutch, or German.

Give America a thousand years and chances are that some people will end up speaking something completely unintelligible to others.
> If you've got a user who can enter a long passphrase, you don't need a TPM, so this TPM bypass is moot.

That's a weird dismissal.

This attack is a big deal because it provides a workaround to full desk encryption.

I have no idea why so many people in this thread are trying to pretend it's not a big deal. This is a big deal. Full disk encryption is supposed to make sure your data is safe if the laptop is stolen. This attack makes your data vulnerable if your laptop is stolen.
Noticed the Solids of Constant Width used to hold the map down.
If you change "peaceful protest" to "frighten people" and "corrupt giveaway to private company from parents' pockets" to "public service", then your position indeed sounds very reasonable.

Ask yourself - who should they protest? It was not "teachers" that failed them, or "the school", or "the school system" - it was the specific people who made the deal that parents can only purchase computers from a single private company.