skysight-inc/HackerNews huggingface dataset:
When I was in grad school, my cheap old rental house had light fixtures that allowed you to choose between electric and gas in one fixture. The gas pipe had long ago been disconnected, but the electric bulb sockets were stamped "Edison Patent."

What I imagine was that electric lighting could have started out in commercial or municipal use, and spread out into the general population as it got cheaper and more reliable. The same thing happened with cell phones and the Internet.
How's that any better than using a credit card with a regular domain name service?
Narco-states (and the ensuing migrant crisis), the US carceral state, fentanyl overdoses, organized crime, gang violence and many other second-order effects are consequences of drug prohibition, not consequences of the fact that we are too lax with drugs.
Metamath itself is a logical framework, and doesn't really have a semantics. You can encode rules of a logic with it, and then you have to convince yourself that this encoding is what you want. I believe most of Metamath's content is based on an encoding of first-order logic, and it sounds like they allow some sort of schematic variables, which make it possible to replace axiom schemata by single axioms, but it is still FOL.

Given Metamath has no semantics, there is no built-in notion of soundness with Metamath. I think that has been fixed with Metamath Zero, but as a consequence, Metamath Zero is based on multi-sorted first-order logic only.

On the other hand, Practal uses Abstraction Logic, which can also act as a logical framework, but is itself already a logic with a simple semantics, simpler and more flexible than first-order logic (or any other general logic I know of). An important difference to first-order logic is that Abstraction Logic supports general operators, while first-order logic supports only two operators out of the box: universal quantification ∀, and existential quantification ∃.
You're all for diplomacy, except during wars.
i'm not employed by google, nor have i ever been. GSoC is google paying people to work on open-source stuff, with little direct relation to their profits.
Buy a domain, add CNAME records to your heart's delight. :D
The use of $theirpoliticalside as if it's a variable is pretty interesting. Because in this case, it's almost a const.
Show HN: Feedback Widget for Production ML
Hey HN! ML Feedback Widget is an simple and open-source React component that you can add to your ML products/projects to get direct feedback from customers on the results of your production models.

A few months ago, we started exploring the ML tooling space. Through our conversations with various startups, we noticed that production ML evaluation tends to be based on how the model affects product metrics and KPIs rather than model metrics. At the same time, it wasn’t always easy for them to actually tie those systems together or quickly get a clear pulse on how users were liking the model-powered feature, because product insights and model inference usually live in different places.

For now, the widget is just a simple React component. To view the feedback sent by customers, you’ll have to write your own endpoint. If this use case resonates with you, we’re also working on a more fleshed out version with a few initial integrations (S3, Posthog, etc) and support for custom styling to support prod workflows.
I would say that's generally soley the result of social reforms to try and mitigate the growing inequality. Conscious efforts to try and share wealth and offer protections to different degrees. Also, war. But the social status and loss of importance has been continuous.
What about RBS in the UK, or Credit Lyonnais in France. People still bank with them.
This article does not cover what I consider to be two key issues:

- how to boost the mass of something like a shielded nuclear reactor to the moon?

- how to extract the heat energy from the reactor? turbines (more mass)?
Are you planning to add alternative backends in addition to transpiling to C99?
A 1967 experiment that proved anyone can design a nuclear weapon
Lots of people, perhaps the majority, still use master passwords that don't have a ton of entropy. For example, the bad guys that stole the LastPass vaults have definitely cracked a lot of the vaults that were protected with weaker master passwords.

1Password's approach is definitely the right one here, where the master key is basically a combination of the user's master password and a random 128 bit (I think it's 128) value, which does make cracking impossible. The user has to print out this value so that if they need to sign in on a new device that they can enter the value, so it adds a little friction, but 1P has the right idea that humans just can't be relied upon to generate and memorize high entropy strings, in general.
400k Gallons of Radioactive Water Leaked from a Nuclear Plant in Minnesota
Yes, the example is very illustrative, thanks again for posting it, and thanks for the context here! This history is fun to read. I was partly curious if texture sampling is still one of the reasons for avoiding real-time tech. Back when I was in film production at PDI two decades ago, texture sampling was near the top of the list. It seems true still today that games tolerate (suffer from) texture aliasing and sizzling routinely, while film sups will not tolerate it at all, ever. High quality texture sampling was, at the time, one of the main reasons offline renders took a long time. I remember being blown away how sensitive the lighting sup was to the differences between texture filters, lanczos, sinc, Blackman, Guass, etc., and how quickly he could see it. Today maybe it’s more often about how many samples are used for path tracing.
Maybe the leftovers from their Archegos deal that went south.
Who do you use as a registrar and why did you choose them?
Birds of paradise reveal a dark secret (2021)
that works for companies too! Imagine how much better run they are now than in the '60s when CEOs only got 12x worker salaries.

/s
One of the favorite conspiracy theories of mine is that Fentanyl is a secret government project designed to scare the shit out of drug users so they stop using due to the fear of contamination.
i think you forgot to post your contact info and the reasons?
Of course, but that just means that said daemons need to be reworked to not have access to everything either.

This is why there's a push to do as much as feasibly possible in userland in both macOS and Linux, so even when a bad actor tries to route through system components the blast radius is limited. Realistically, they should be sandboxed too — an audio daemon for instance has no business directly accessing storage or network facilities for example.
Require a backup password when the TPM is offline.
Do you live alone?
So how does this differ from making your own unified kernel image, ie a self-contained EFI boot file made from dracut or other? And does it work better with Secure Boot?
> Imho, if WikiLeaks had focused on being the Craigslist of information, without attempting to market themselves, they would have gotten a lot more public support.

Turns out history has gifted you with a test case. :)

What you are describing was literally the early version of Wikileaks[1]!

The ostensible problem was that it generated little to no public awareness[1].

1: https://en.wikipedia.org/wiki/WikiLeaks#Submissions
Infrastructure is an enabling function. To claim it’s worthless is largely missing the point. It reminds me of the mechanical engineers I once worked with in rocket engine testing. Many claimed software was largely worthless because it was only replacing existing analog alternatives.

To the articles point, the problem is about helping people connect the dots between the infrastructure and the work they really care about.
I did exactly this - set up a protocol that chatgpt has to adhere to.

You can see my attempt here: https://gist.github.com/Qix-/4f3b3f249192caa140c95ce4c38a232...
Here's one made with Astro https://github.com/ddiu8081/chatgpt-demo There's a fork in Chinese somewhere with loads more features.
No, it isn't. You can ask google whatever you want, and no "red flags" are being raised, this isn't the Bourne Identity. Police barely have capacity to arrest criminals these days, nobody is checking if you download the anarchist cookook ffs.

If you get arrested for child porn, will police get your google search history and check you haven't googled bad things? Sure.
from the very first chapter with code (chapter 2 if keep numbers):

> There are several Linux system calls we need to learn before we can start socket programming.

Have we reached the state where Linux by default is New Unix/New POSIX ? Isn't it alarming for say FreeBSD guys?
That's the point. The people behind The Bulwark don't believe "this coup nonsense" because they are pushing for war there. All the writers there are always pushing for military solutions to everything.
What prompts did you try? This would be a good challenge for folks in the thread
> I'd put my money on a resurgence in terrible ideas from the past, because they are so hot right now. Stuff like racism, title, caste, what-have-you.

The current group of AI ethics people are busy divining techniques to allow the model to gaslight users in the service of their employers. It is inevitable that these techniques will be applied to new areas and on models that have not been tainted by any other fine tuning.
With that said, after a nasty experience with the zen 2 fTPM repeatedly resetting, I have a hard time trusting the reliability of the AMD fTPM.
HN community member response: Given that Ethereum launched in July 2015 and prior to that, no programmatic blockchain existed, on what basis did you select your parameter of 7.75 years as the amount of time necessary to elapse before we're sure no valid at-scale use cases exist?

Crypto bro response: loaning my USDC on Notional for a fixed rate of 4.6% and then bridging it to Arbitrum Nova to then send my friends and family interest-bearing US dollar payments for zero transaction fees seems pretty f'ing useful to me.

Degen response: lol ok bro gl with that
No, it doesn't. It applies to Switzerland.
>deregulate basic infrastructure services

What part of ISPs have been deregulated? Is it the bit where they're legal monopolies in many jurisdictions?
How many companies will want new or bigger apps that they can finally afford if it requires fewer developers?
This demonstrates a quantum leap in sentiment analysis. Very soon we'll be able to filter and prioritize arbitrary content accurately by sentiment, by topic.

How about a prosthesis app for Asperger's that reveals the emotional payload of speech? A sarcasm/irony detector? A hate detector? This technology would seem to move mass automated user content moderation from intractable to straightforward, for good and ill.
I know a small financial agency in the 00's that laid off their one-person IT department because they thought the computers would run themselves. It's honestly great that they're overselling AI, lots of messes to clean up.

edit: Ultimately there are going to be iterative pipelines with traditional programmers in the loop rearranging things and reprompting. Math skills are going to be deemphasized a bit and domain skill value increased a bit. Also, I think there's going to be a rise in static analysis along with the new safe languages, giving us more tools to safely evaluate and clean up output.
There is no such thing as a "constitutional right given to Swiss citizens to banking secrecy". Swiss constitution does not provide anything of sort [1]. The "Banking Secret" is defined at art. 47 of the Federal Law on Banking [2] and it has a rather narrow definition.

So there is no such thing as "banking secret" for Swiss residents. Hence even if Credit Suisse is nationalized, it won't change anything for their customers, except perhaps an increase in trust.

[1]: https://www.fedlex.admin.ch/eli/cc/1999/404/en
[2]: https://www.fedlex.admin.ch/eli/cc/51/117_121_129/fr#art_47
> I submit that we may reach a point where the AI is so compelling that we’ll reorganize teams/systems/businesses around it.

Sounds like me get reorganized out of a job though...what does it mean to reorganize everyone around the A.I if it does everything better than us?
Honestly I reckon they went for the wrong unit with Watts. Most things measure absolute values (e.g. miles) and then the speed is the derivative unit (miles/hour). Whereas Watts they went the other way. I reckon that's why everyone's confused and people expect to see "I use this much [stuff] in total", "this appliance uses this much [stuff per unit time] while it's on", because that's the way every other unit works.
Perhaps there should be a time limit when people should forget that their government imprisoned people without trial or charges, however I suggest it should be greater than 21 years.
Do you remember that story about two intelligences that weren't able to think freely by themselves, and take their own moral judgments, before they accepted the proposal of one supposed snake?
Agreed!

I have to say I was disappointed by the question at 59:23. They seemed to expect a retrospective on Ken’s career or some grand philosophical statement on software or open source. To be honest, I was pretty surprised by the direction of the talk myself, but I ultimately enjoyed it.

You see, Ken decided to talk about his 75 year project: his music collection. He talked about audio formats, collecting music from different groups, sourcing metadata, building hardware to play music and more. He was deeply interested in the topic and honestly probably a bit obsessive for multiple decades. This was very humanizing. And to be completely honest he reminded me a lot of my girlfriend’s father who we think is undiagnosed autistic.

Ultimately, I think the reason why Ken was so prolific over such a long time is his ability to be deeply interested in problems. He was not too fussy about tools. He didn’t push Go or Linux or UNIX. He wasn’t self aggrandizing. He just wanted to tell people about his project that he’s been working on. Honestly, I thought it was a great lesson that might have gone over a lot of people’s heads.

---

This comment was copied from lobste.rs.
https://lobste.rs/s/htwiag/ken_thompson_reveals_his_surprisi...
I am sure at the time it was a novel insight, but its punchiness is largely undercut by our contemporary economics which recognizes (if somewhat begrudgingly) that for consumers to continue contributing to the economy, they need to get paid sufficient wages to afford goods and services locally. It is ultimately an ancillary effect resulting from the holism of economies using common currencies.
If you had an AI capable of writing the code you mean to without errors, the demand for software developers would be even larger than what it is today.

Deciding what problem to solve and how to solve it is hard enough to sustain more than the current population of developers. (But if you had an AI capable of deciding those, then yeah, that would be problem.)

Anyway, the current crop of highly hyped AIs are obviously structurally unable to do either. And it's not clear at all how far any AI is from solving any those (what usually means we are many decades away).
As a Colombian, you have no idea of what you are writing about.
No, not really. Every option was either about my character extolling their love for him, or leading me down a path of attempting to confront him (because my character is apparently spiteful) and losing because, well, apparently Kalidasa is now a demi-God who's magical powers of poetry will defeat everyone he faces...

Which is what this was. So not seeing the "fun" aspect.

All roads in this seem to lead to some sort of victory to Kalidasa.

Perhaps this would have been better if you'd detailed just how you put this together.
The concept is fundamentally flawed. Curtailing rights and imprisoning people for victmimless crimes is incompatible with anything approaching a free society. There are many approaches to dealing with the problems inherent with drugs, we just keep using the wrong over and over and at an extraordinary cost, in money, liberty and ruined lives.
every package system (apt/yum/pkg/whatever) is distributing binaries.
So yeah, the upstream project can be open source, but there is 0 guarantees that the binary I install on my system is the exact same binary as I would get if I build the source myself (and this does not even touch on the subject that compilers can add weird stuff as well)

Sure, it's better than closed source, because at least you have the possibility to check all this. In practice though, we outsource this responsibility to the package maintainer of the package system we use.
Simulating AGI Box Experiment with GPT4
“None of that establishes whether Mr. Reagan knew about the trip, nor could Mr. Barnes say that Mr. Casey directed Mr. Connally to take the journey. Likewise, he does not know if the message transmitted to multiple Middle Eastern leaders got to the Iranians, much less whether it influenced their decision making. But Iran did hold the hostages until after the election, which Mr. Reagan won, and did not release them until minutes after noon on Jan. 20, 1981, when Mr. Carter left office.”

We actually can read histories on this - from the Iranian side. After the failed invasion/raid the chance that the Iranians ever would have worked with carter is nil. Zero. Nada.
If the Baumol Effect is true for college tuition, are college professors receiving better than inflation pay raises commensurate with the increases in tuition?
The spying scandal didn't involve "an executive" and "a former employee", it involved the CEO and several senior executives. Tidjane Thiam resigned in 2020 over it whilst denying wrongdoing, and was CEO at the time a lot of these problems built up.
Remind me of the saying: "They laughed at Galileo; but they also laughed at Bozo the Clown."

NFT/cryptos are the Bozo the Clown of technological innovations.
Yes. They're done.

Triscuits and panko both refer to the finished products. For the set of all Triscuits, there does not exist any element which will ever again be baked. Ditto for panko.
I think it's China's revenge for Opium wars.
Well, there goes my trust in another old friend. That's a downgrade attack for sure.
Huh? Dan Crenshaw has been all in on this war in Ukraine. He even openly admitted that it was a golden opportunity because we could fight a major geopolitical adversary on the cheap by just sending weapons with no American casualties - completely minimizing any Ukrainian casualties.
GPT4: The author expresses skepticism about the idea of an imminent Singularity, a point where artificial intelligence surpasses human intelligence. They argue that LLMs are more likely to be force multipliers, improving productivity and automating routine tasks, rather than replacing human workers.

I would say the problem is that we are multiplication something, and as a result, we don't know the outcome of the multiplication. Right now, the multiplication is only intended to improve productivity for some people. However, if this multiplication were to occur on a global scale or on a societal level, the true impact is unknown.
We've had a couple of playgrounds like this near where I live here in Virginia for a number of years. They're not very old, but certainly older than 2021.
But also credit for hiring someone and ongoingly supporting good work. Honestly this is one of the more essential things companies could be doing.
But I need an GPT-4 api key for that, right? The normal API keys don't work?
Ah, so you're point was more that regardless if its mastodon or twitter, they are both terrible hosting options, and we can do better, like hosting the link itself? Gotcha, and I agree.
People Had to Be Convinced of the Usefulness of Programmatic Decentralized Public Chains (aka Crypto)
> The increase in productivity from AI could in fact enrich our lives

If humans aren't the ones innovating anymore, what will be the point, for an AI, of supporting millions of people who serve no productive purpose?
Julia is my favorite language by far. The biggest issue is the tooling.

- Promotes REPL driven development, but can’t even redefine types without restarting the session.
- Language is very permissive (both by semantics and by convention). Very difficult to write correct code. Poor IDE experience. The shining light atm is
- Poor support for abstractions. Julia’s abstract types are very limited. Best practice is to use traits (not even a language feature, but a tacked on convention), but afaict, there is no IDE support for this.
- High latency due to compilation (Julia is an AoT language masquerading as a JITed language, eg V8 JavaScript). Julia 1.9 (beta) is first release I found tolerable latencies.

I do Java for my day job. That language is garbage in comparison to Julia. But the tooling makes it far more tolerable.
Being told what to think involves thousands of years of the evolution of human knowledge. It involves math, science, chemistry, language, writing systems, etc. Things that have been challenged and evolved by critical thought from subject experts over hundreds or thousands of years. You seem to think it’s necessarily evil in some way, when it’s instead what’s in the best interest for society. Otherwise the entire populous will be flat earther simpletons.
Community sourced headlines (toggleable visibility natch) would be a great addition. Tie the voting to karma on them.
Ask HN: What Should I Do?
I have been working in a 2-year-old SaaS startup related to smart water management for 1 year.

Now, at this startup, where I have been working since June 2022, I have not been paid in any way. Instead, they would give me an equity in June 2023.

We expected to receive investment until December, but that did not happen. As devs, we have constantly pivoted the product. We have constantly replaced the technologies with better ones.

Why did we do these? Because companies wanted demos. Instead, I think we could have shown a Figma drawing and presentation until the sale took place.

After struggling for so long, there really is a sale this month. Now they say I have to work harder. I'm tired of working for nothing for a year.

Yes, they told me they would give me an equity in 2023 June, at the end of the first year after joining.

They call the company valuation $2.5m. How can a company with a turnover of $0. have a valuation of $2.5m?

I noticed this now. We are in a 3rd world country, so according to this, the equity they gave was enough, but I realized later.

From here, what would you recommend I do?

I'd appreciate it if anyone with experience could give advice.
> But it's a herald for something that will. That is reality.

This is mostly what the people who described as “rational” say all the time, but there’s no rationality or even a deep conversation about what to do if this happens. I can flip a coin and it will half of the times tell me that it’s the end! Both of this camps are arguing like political sides and the conversation is usually a repeated instance of some beliefs on both sides.

I believe, instead, we can talk about the practical ways we can deal with this change. For example we can start with looking at what other fields that got automated did. Unions? Regulations? Wild west? Free market capitalism? Monopolies? What? Or we can discuss how to take advantage of this new change. Just sayin…
How could they be partisan when "both sides" have accused them repeatedly of being against them? Case in point, Collateral Murder was celebrated by Democrats and then when they leaked the Hillary emails now all of a sudden Democrats thought Wikileaks was evil. The information was true, the only thing that changed is they didn't like the what it showed.

That's not Wikileaks fault, maybe we should hold those in power accountable regardless of how we feel about their stances on other issues.