skysight-inc/HackerNews huggingface dataset:
Funny. This is happening at work. Like, technically, we're just sysadmins with a lot of systems and different services running on those. Kinda boring, just like a crud service. But if you squint a bit, we're seeing ideas of formal verification, algorithmic correctness proofs and empiric experiments creeping and seeping into gaps.

Just today, me and a coworker kinda laughed about the fact that this was the second or third time we kinda ended up with an induction proof about the overall correctness of our backup retention handling for off-boarded customers, correctness being dictated by the contractual regulations of our customers. When we stopped laughing, our team lead pointed out a logical problem in one of the steps, and we were eventually able to construct a counter-example which would violate the contracts. Dang it.

Call me silly, but at this point I'm entirely ready to take a day or three off of other work to pick up a formal verification tool to validate our backup retention strategies against the different classes of contracts we have.

In a similar vein, we're starting to work towards certifications like an ISO27001. And there is a staggering amount of similarity between policies and invariants, if you look at them on a systemic level. And from there you can enter the ideas of different algebraic constructs - just like you can have broader and narrower clasess of servers with different amounts of invariants holding or not holding for them.

On top, we've started to pull data from large numbers of system to jam them through jupyter notebooks so we can use data visualization tools to get a stronger impression of what reality is like. It's pretty interesting if you can use data visualization tools like scatter plots and such to deduce the existence of a default value for a config setting. Or, to pull data and to realize: "hello. This is reality calling. Two out of three assumptions you made about systems are incorrect."
Unfortunately, this is neither readable nor particularly concise.
How can I use this with llama ?
CFTC explicitely claims that 1) that's not true, 2) CZ and rest of upper management were aware that their restrictions on US users were just for media.
That whole thread is gold. Molly White is truly doing the Lord's work:

> Rule 1: If you're going to do crimes, don't put them in writing.

> Rule 2: If you're going to put them in writing, don't write them in "I CAN HAZ CHEEZEBURGER" style writing, it's embarrassing.

https://twitter.com/web3isgreat/status/1640378422483472386
I wonder if an AI researcher would love to build a better interpreter for reverse engineering LLMs and would want to try it on an LLM clone of OpenAI's setup.

The cloud-service moat is the strongest security for OpenAI.
I have very expansive taste in music, and enjoy Cardi B as well as Stravinsky (though not usually back-to-back). In a given week I might listen to rock, hip-hop, blues, classical, folk, world music, more hip-hop, and even Cantonese pop songs (when my partner is in the car), but I still get the frustration!

Apple Music's weekly customized playlist for me was consistently including 2-3 songs of modern country, which is the only genre I don't listen to. It was maddening, and I had to reset and clear my entire multi-year history to get it to stop.
As far as I know the current chatGPT running on the chat.openai website is specifically gpt3.5-turbo .
Wikipedia suggests he was hired by Google in 2012 to work on NLP.[0]

I also found an interview with him and Lex Friedman, though it is from Sept 2022[1]

[0]https://en.wikipedia.org/wiki/Ray_Kurzweil

[1]https://lexfridman.com/ray-kurzweil/
DVD? In 2023?
Is this an archaeology-related piece?
> If a majority of the people's representatives approves chat control, it would be perfectly democratic.

In liberal theory, the tyranny of the majority[1] was supposedly solved with rights (encoded in constitutions.) The problem here, according to the theory, is that we don't have a right to privacy.

1. https://en.wikipedia.org/wiki/Tyranny_of_the_majority
> it means that more pain is coming in the future

So you're no longer reality checking this prediction? What are the reasons for firing up the terminal? Config file editing? Or something more serious?
Auto parts and accessories for all vehicles makes. Products include exhaust systems, floor mats, brakes, trailer hitches, suspension systems, wheels and tires. Covers all cars, trucks, Jeeps and SUVs.
So I'll have to eat twice as much to not feel hungry?
Chrome DevTools provides complete visibility into what's happening inside your web application, from the HTML DOM at any given point to the network requests your app fired. Chrome DevTools also provides latency information for every API/network request, performance insights, step-by-step debugging for your source code, and an interactive console.

Although Chrome DevTools lack the capability of modifying HTTP requests & responses - Rerouting URLs, Modifying Headers, Modifying API responses on the fly for quick prototyping & testing use cases.

Requestly an Open-Source browser extension - https://github.com/requestly/requestly fills this void. It leverages chrome webRequest API (MV2) [0] & chrome declarativeNetRequest API (MV3) [1] to provide support for most of the modifications. To override API request payload & response body, Requestly overrides native XHR & fetch objects' prototype, and registers its own interceptor.

Requestly desktop app [2] runs a local server (aka proxy) on localhost:8171 and provides options to connect installed browsers & mobile devices to the local proxy. The proxy module is a simple node-based MITM proxy available here [3]. A separate rule processor module applies the modifications defined by the user.

Listed down a few problems that HTTP modifications can solve in this article [4]

[0]: https://developer.chrome.com/docs/extensions/reference/webRe...

[1]: https://developer.chrome.com/docs/extensions/reference/decla...

[2]: https://requestly.io/desktop

[3]: https://github.com/requestly/requestly-proxy

[4]: https://sachinjain.hashnode.dev/the-missing-piece-in-chrome-...
Phases of the Post-GPT World
Architext: Language-Driven Generative Architecture Design
It's an ad for an EA (effective altruism) book
I just want to learn why Bitcoin is being taken so seriously as an asset class that it's outperforming bonds, equities, gold, silver, real estate, etc. (or if it is really, or if the price is being manipulated, and if so, how is that manipulation able to operate at this scale).
Rich kids at Ivies come from wealthy households that surely consume 5x the fossil fuels as average Americans, and probably 100x the global average

Big homes, vacation homes, pleasure boats, SUVs, sports cars, ski trips to Switzerland...I know how cruel it was for Exxon to force all of these terrible luxuries on to your families
> It seems that more chips means more things that can break

Nope.

> I guess the question is what's more likely, one of one chips breaking, or one of two chips breaking?

Doesn't matter. In each case you lose your data. And if the system is so frail what addition of another chip rises the failure rate through the roof then the talk about the reliability of such system, no matter how much chips it have, is moot.
A more useful way of thinking of "natural rights" is that "The set of rights that, if everyone were to have, would maximally smoothen interaction between individuals and groups."

I don't think there's a real argument that, somewhere in our DNA, exists a list of personal freedoms every human being ought to have. Feels like an ad absurdum more than a genuine engagement, tbh...
Microsoft Teams: Advantages of the new architecture
I might be misreading this comment, but the answer to bloated software is not writing all of it in rust/C++/zig.

The reasons for bloat is not garage collection.
Most people in here are users who want to have a slick, fast responding tool. Even if I understand the market gains point; as a user, I dont like it when I have to wait >1 sec to open an application that only shows texts and images. (I also dont like it as a perfectionistic engineer.)
Ah, I found something, he spoke just a few days ago at #Abundance360, see for example (scroll a bit) https://twitter.com/search?q=ray%20Kurzweil

Not sure of the content yet, will have to look at it later. But happy he's around and talking about it all!
The banks don't want you to split the money because they will have to pay higher insurance to FDIC. This will eat into their margins. The business and the customers interests are not aligned in this case.

Until the law changes, you have to look out for yourself and not beg for bailout. Also, this is not complex since software takes care of it behind the scenes. Our company did it from day 1.

Also more than half of deposits by volume are FDIC insured so the system can handle the whole volume if the customers choose to do so
Alibaba founder Jack Ma back in China after months abroad
Aaaands it's broken.
Point taken. Though my experience in university (2005ish) was that most people could hold a conversation, but were often struggling with vocabulary and grammar.

> And assuming German-English bilinguals are indifferent to the language

Well, I stopped going to those stores because I prefer English, but I’m not exactly representative ;)
I've suggested in past threads the solution to this would be to install the Starlink terminals on buildings they wish to have demolished and then use long range WiFi repeaters to share each terminal in that sector. Make the enemy waste munitions and do your demolitions work.

One could even take this a step further. Install the transceivers and some solar panels on many buildings but make their power remote-control. Only enable them when needed then shut them down remotely and let them charge back up. Cover the panels with large cloth netting.
>openAI is just a parlour trick to milk cash from corpulent tech giants clawing desperately at the next big thing that might differentiate them from competitors that they may continue to remain relevant for at least another quarter in a recession

Glad someone said it.

Isn't software industry in general that? More a fashion industry than technology?
not exactly what you asked, but something close - https://sharegpt.com/
IMO the approach MS took was actually the correct one here - use Electron for your v1, then rewrite it once things are more established. There's nothing wrong with using a slightly less performant version of something for your MVP (could be argued against for someone as large as MS, but still). Rails is perfectly acceptable, you don't need Rust as your backend from day 1.

As a separate argument, this entire point might be moot. Native webviews are becoming more common (hell MS has used them for the OS for quite a while - when I was there working on the windows 10 start menu, it was actually a webview) and can be much more performant. Since you aren't bundling a full browser in the executable, the memory impact is quite low. Tauri seems to be gaining quite a bit of traction which leverages native webviews, and shows a lot of promise.
I think the parent poster if confusing general anesthesia from sedation [1]. If you got a colonoscopy or your wisdom teeth out, it was probably sedation. If you got major surgery where they cut a big hole in you, that's more likely to be general anesthesia.

"Twilight sedation" is pretty spooky from a philosophical perspective. You are somewhat aware of what's happening to you and are experiencing it in the moment. But you are unable to form long term memories of it, so after the procedure, it's like it didn't happen. But there was a point in time where they you that you were was at least somewhat conscious of the procedure.

[1]: https://en.wikipedia.org/wiki/Sedation
One of the worries I have is that the grand prize is so top weighted. It feels daunting to want to attempt to work on something like this if there's only one winner. If my team isn't the first to win it, but we contribute an interesting method, the most we can get is a 2000$ open source prize?
> They couldn’t just send people up into space and not capture the magic and beauty of it all.

Hence "pics or it didn't happen"
Automate Dynamic DNS Updates with Gandi.net API and Docker
Sheds. These are sheds. at 25 grand a piece some private contractor is going to make a killing.
Can also use tools like Teleport that handles all of this programatically. Open-Source core as well (github.com/gravitational/teleport).

Source: I work for Teleport so a little biased, but love the fact that more and more orgs are going away from static creds/keys and using short-lived certs and/or passwordless solutions. Spent many years in a production role and wish I had these tools (or was aware of these tools) back then.
>Such an extreme measure without strict requirements on developer profit margins turns this kind of act into flowing more cash into the pockets of for-profit development corporations. Zero-profit development should be mandatory.

What evidence is there that the housing crisis is caused by profiteering in the construction industry? Are construction margins significantly fatter in california/US than other developed countries? What's preventing new entrants from setting up their own construction companies and undercutting the incumbents?
And when GDPR does it they pick up the pitchforks
I'm trying my best to!
Also, even if it were, having a subsidiary does not magically launder things the parent company does.
Probably a selection bias, most (all?) ancient works we have were copied by hand (expensive!) and widely circulated enough for us to still have them. So we still have Marcus Aurelius but not Caesars poetry.
Why/how was Bitcoin able to recover from its last crash? I get that "sentiment changed". But... who? Who was "afraid" of Bitcoin when sam bankman-fried got arrested/FTX collapsed, sold their coins, waited, saw everything get better, bought back in? Based on the price action, we'd have to assume a LOT of people have done that. Like, enough for it to shoot fall 21k -> 15k on the FTX news, then 15k -> back up to 26k. I just don't get it. Who is dollar cost averaging into Bitcoin with their fiat (USD, EUR, GBP, JPY, whatever it is) every paycheck? Millions of people? Where's the proof, other than the fact that "the price is up"?
Eh, he doesn't need the excuse. He's supreme leader, he wants a rewrite, he gets a rewrite.
I'd be embarrassed to show a video of an app of mine taking 20s to launch in the old version, and even more embarrassed to show it take 1s to change channels as an improvement.
Crypto trading platforms should also not get any of the benefits Coinbase is lobbying for right now.
Yeah, fair enough. The goal isn't necessarily magic. But I feel like the way to get there, at the moment, mostly is, especially with something like comparing a mouses lifespan against ours.
Because a trailer has a bathroom and a kitchen and these are sheds?
People complained about perf and now they improved it? ¯\_(ツ)_/¯
Smallstep uses ProxyCommand [0].
Not sure how Tailscale does it.

0: https://smallstep.com/docs/ssh/how-it-works
> It seems to get distracted pretty easily though.

That’s true, gpt-4 is way more easy to guide with the system messages and it doesn’t forget the instructions as the conversation goes on.
.debs here:

https://web.archive.org/web/20221130114832/https://packages....
Except when you say "Linux", it's just a kernel. Everything else is... not linux. It may be GNU, or a specific computer program that uses that kernel.

The original post I replied to argued that Linux puts the user in control, unlike Windows or OSX/Apple.

My point is that for the last 10 years or so, it has become increasingly difficult to avoid certain parts of a linux-based OS, such as systemd and dbus, that reduces user's control over the system in the name of convenience.

I would like a Windows without scheduled tasks - no longer possible.
In the same way as Windows does things on it's own, I would feel less in control if a NON-ROOT app could open a connection to a wireless network, or auto-mount a block device, or start a service/daemon, or change audio settings. It's less about how dbus or systemd is set up, but more about capabilities.
I can't say much about how a Linux with those things installed could again be made secure, private and obedient to root user, because I never had them installed. That's not the point. I simply don't like what it CAN do.

PS: I have 3 Linux systems. 2 of them run musl. It's actually A LOT easier to change glibc with something else than have a desktop without dbus.
I'm wondering if it can remove all "a"/"the"/"an" from the output to further reduce # of tokens spent.
You can. https://www.ribbon.finance/
I use this to create passwords when I need to manually:

function password_generate { head -c ${1-12} /dev/urandom | base64; }
You can absolutely know and understand all of those things without understanding the product, mostly by asking the people who do understand the product.

Otherwise you're arguing against the concept of delegation, and there are several mountains of counterexamples were you to try.
Banks should fail much more often
Ask HN: Are there any chess-like games where twisty puzzles are used as pieces?
In particular, you would be able to move the twisty puzzles around the board as well as mutate them by performing twisty puzzle moves.
Essentially the other comments capture my view. Speed and memory safety with a rigorous type and language system that disallows unsafe operations unless explicitly marked as such is worth a lot. I don’t think this means zig is worthless, and I see a lot of utility in a fast to write lower cognitive load language that offers the same speed and memory efficiency at the cost of runtime safety, but I don’t trust myself or other programmers to do a good enough job. Memory safety bugs are just so difficult to reason about most of the time that I find the compile time safety mechanisms worth whatever overhead they impose, to a point. Rust is far from reaching that point and is generally easy to develop very complex stuff very quickly. So, after reading the article (I’m more familiar with rust than zig, so it was very informative) it led me to conclude it’ll be fun to learn zig but I don’t think it’ll be useful for Serious Stuff.
OSS Index and Dashboard · Metabase
Elon Musk Sends a Message to Warren Buffett
This. It doesn't stop the crap in Edge (which is easy to turn off once you know where the magic button is), but I never see any of this stuff at the OS level on my work machine. (My home machine is a Mac, so I don't see it there either.)
> Zig forces you to pass the allocator in, so you might as well think about the most appropriate one!

I really feel like this is an underappreciated aspect of some of the more complained-about constraints that these newer languages place on programmers.

Like an i32, the default allocator will do a reasonable thing most of the time, but having to think about each allocation (is this short-lived or long-lived? is it actually necessary to do a heap allocation at all here? do you actually want GC?) makes code better and pushes the programmer to improve their ability to rationalise about what they’re actually doing in ways that provide tangible benefits.

By way of comparison, when I started writing Rust I was very frustrated by all the explicit conversions, but eventually realised that it (a) forces me to actually stop and think about what the most natural type is for a given value, and (b) also makes it clearer where the natural boundaries are between components. In my experience, if there’s a lot of conversion going on within a function or module, it’s usually not because the language is ‘too verbose’. Instead, it’s because the API boundaries are in the wrong places, and the language has helped to reveal this by making doing the wrong thing harder.
Matt Levine discussed this in one of his posts. During the financial crises the government asked JP Morgan to acquire a failed bank, which it did, and then the government fined JP Morgan for crimes committed by the failed bank it just acquired.

EDIT:

> Lessons from the financial crisis are still seared into management’s brain at JPMorgan. After the 2008 crisis, it got slapped with the label of a bailed-out bank profiting from taxpayers’ generosity, and it eventually paid billions of dollars of fines and legal expenses after buying Bear Stearns and Washington Mutual, including a then-record $13 billion penalty over mortgage lending. The irony was that it completed the takeovers partly at the request of the government, which had encouraged JPMorgan to acquire the stressed banks to prevent further instability in the financial system.

https://www.bloomberg.com/opinion/articles/2023-03-15/silico... (although Levine is quoting from a different source)
First CGN Hualong One reactor enters commercial operation
Also ketchup at restaurants probably has to be refilled daily, at worst weekly, merely from customers using it.
I think they are referring to 'old' Teams opening in ~5 seconds. The MacOS version of 'new' Teams is not available yet. I imagine the new version will open in a second or so for the new application.

'Old' Teams opens in ~4 seconds on my M2 MacBook.
A random sample of size 50 is drawn from a large population. The population standard deviation is 5.6. The sample mean is 10.5.
Find a 90% confidence interval for the population mean, 𝜇.
Round your answers to the nearest tenth.
What is a "twisty puzzle"?
A Whole New (Old) Ballgame
Well, maybe I have to clarify what I mean with these parties :D Me and three friends meet from time to time, and each of us takes their PC to a friends home, where we game and watch movies from friday evening to sunday afternoon. Sometimes we play local games but a lot of times we'll also play global multiplayer games. It's just about being physically together for a couple of nights :)

A selection of games is Minecraft, Valorant, Left for Dead 2, CS:GO, Age of Empires, Stronghold, The Forest/Sons of the Forest, Valheim and some others.
Maybe it’s happening now. It would be interesting to see some weekly figures for published Stack Overflow articles, to see if they’re in decline.
There are so many unknowns with this whole subject. How much it will help or hinder society as a whole is a rollercoaster ride that we’re all strapped into, whether anyone asked for it.
They need to get the team who makes the Mac Azure VPN Client to make the Teams version. It usually opens in under a second and establishes a connection after a few seconds.
The scam via voicemail possibilities are endless!
it’ll be very very funny if this is what undoes tether and de facto destroys the cryptocurrency cartels
You're obviously reading the wrong books. Try Programming Perl, Clojure in Action or Well Grounded Rubyist. If you have a soul you will not want to part with them.
Small point: men are XY, not YY.

Personality is an element of gender, but they are not synonymous. Even in your definition of men vs. women, there are people of all "personalities" in each "gender".

Yes, science classes chromosomes, and yes, one of each is (generally, let's not get too caught up in parthenogenesis) required to reproduce. Is that all you see in men v. women? You used reproduction as a determinant, but now you're saying that women who can't reproduce are still women because...they're supposed to be able to reproduce? That's not quite circular logic, but it's darn close.

Taking hormones is pretty far from "coloring your skin green" -- by your definition Arnold Schwarzenegger wasn't really as muscular as he was, or Lance Armstrong as fast as he was, because they took steroids/PEDs. It's easy to argue that they cheated, but hard to argue that they actually weren't as big/fast as they were.

Your argument seems to simplify to chromosomes. Of course you know that there are people born with neither XX nor XY. You can claim those people are "something else," but if they want to present as male or female, is that wrong? And I'll ask you the same question I posted in a separate comment: if we were standing in Times Square and I asked you to point out the women walking by, would you really say, "I can't until I get blood samples"?