skysight-inc/HackerNews huggingface dataset:
I have seen a single line of code passed through 4 "interface functions" before it is called that call each other sequentially, and are of course in separate files in separate folders.

Trigger warning next time. I was trying to eat lunch
Try again. What do you have to lose?
Is it possible to split it up? All the money comes from advertising and major products exist to capture (email, Chrome, phones, wearable, assistant) or analyse (ML) personal data for that purpose.
this is the classic over abstraction problem so that you can change things behind an interface at some point down the line if you ever need to while being totally opaque to any consuming code.

A lot of languages force you to start with this from day one, unless you want to go refactor everything to use an interface later on, so people just do it even when there will literally never be a reason to (and for testability, sometimes).

The cool thing about Go is the interface system is inverted kind of like duck-typing, so if you write purely idiomatic Go, then the thing receiving an arg in a function call is the one specifying the interface it must meet, rather than the implementing code having to declare every interface that some implementation meets.

People screw this up a lot though, especially if they came from Java/C# backgrounds.
There's a niche group of people (particularly electronics distributor FAEs for some reason) who have them for the same reason many people own F150s: because they like to look like they work in that sort of environment.
I had looked forward to Threads Fediverse integration, but ultimately it ended up completely useless.

It’s opt-in only, and because there’s no real incentive for a user to enable it, no one does.
Anyone know the current state of the art on "tabletop" particle accelerators?

https://newatlas.com/berkely-world-record-compact-particle-a...

https://news.stanford.edu/stories/2019/09/precision-physics-...
Love every program having a little police bundled in them these days
How easy is it to fudge your scientific rank? Meet Larry, the most cited cat
This reminds me of Chaitin's work on the nature of randomness and his halting probability constant: https://en.wikipedia.org/wiki/Chaitin's_constant
So much hate here in these comments and threads. I know for myself, sometimes it's good to even have an idea of small/medium/large sized projects / ideas to run with to consider as an "experience" in doing a new skill I've never worked in before.

It looks like these are an attempt to create units of work that are approachable and individually researchable to complete.

I think it's pretty great!
Apologies on missing this. Fair. I was interested in the link and the idea that there is something there, even if we don't know what.
This is actually really bad practice and a very “over eager junior engineer” way of writing software. You’re not off base at all that it seems excessive and confusing. It’s the kind of thing that seems technically complex and maybe even “elegant” (in isolation, when you first write the “interesting” code) at first but becomes a technical nightmare when used in real software that has to grow around and with it. You’re actually more on point in worrying about the understandability and debuggability this introduces.

I spent the better part of two years unfucking some Go software that (among other things) misused channels. The problem with channels is that you rarely actually need them, but can use them for a lot of different things without too much initial difficulty.

I think a good litmus test for proper use of channels is if you answer no to “could this be done with a direct function call instead?” and “can I use a wait group or mutex instead”, and yes to (zooming out a bit to think about what kind of decisions you previously made that led you to think about using channels) “am I really benefitting from concurrency/parallelism enough to justify the technical complexity of debugging concurrent code”.
France charges Telegram CEO Pavel Durov, releases him on €5M bail
Hey John,

Thanks for your comment! Have you checked the Twitter video?

It’s essentially a privacy toggle, but instead of just public or private options, privacy is determined by the context. In a conversational setup, context is made up of messages, so each message becomes a privacy setting.
SQLite DB Migrations with PRAGMA user_version (2017)
I like this definition more. The other way is basically to redefine the meaning of the word “time” to something more akin to “sequence”.
Chaitin's Constant: The Halting Probability
> The absence of message backups is arguably one of Signal’s advantages over the competition.

Telegram has that. Just forget to log for 6 months and poof.
This thread is about how taxes with small rates applied only to the rich have a historically documented tendency to grow in scope and rate, and that therefore it is legitimate for all potential taxpayers to worry about a new kind of tax, no matter how tightly scoped and low in rate in initial proposals
What Is Post-Quantum Cryptography? – NIST
Cracking a window doesn't help if you live in a damp climate. My bathroom is in a basement so the vent fan would just bring in more damp air. The heat isn't to bake out the moisture but to force it to disperse.
https://archive.is/do6tG
The old front-end at old.reddit.com seems to be working just fine :).
Dang, this was a humbling experience.

I was kinda upset today that my raise I just found out I was getting will barely beat inflation, but according to this MIT site, I make enough, by myself, to support another adult and 3 children, based on where I live.

Thats a very different perspective for me today.
A couple of million dollars really isn't a lot of money these days.
Twitterlikes seem to straddle the space between a public forum, with open discussion on particular topics, and a private blog, where the author moderates the comment section on their posts.
Holy shit I actually did Google this. Yikes.

If you're a Go programmer, this is about a guy who fucked his mom and has nothing to do with Go programming.
Most of FAANG is effectively in competition with each other; OpenAI might be joining that cohort soon; as long as Facebook can kill their business model, Facebook is keeping a major player out of the running. Zuckerberg will keep doing this for as long as it takes to kneecap or bankrupt OpenAI.
This is fine for LLM fans, not for general user. I don't need more problems to solve.
I noticed this was the case for the project laudspeaker as well. The description says

"Techno Thriller Panopticon Explores Encryption and Espionage"

but the project is for customer engagement and onboarding.
You asked whether or not the FSD ran the red lights safely. You were given the answer of "No". You never, at any point, asked whether or not "it's traversing red lights while they are otherwise safe to traverse (no lateral traffic)" which is a question that contradicts itself.

If you ask a question, someone answers, and you start berating them because they were either not able to read your mind to determine what the actual question you're asking is or gave you an answer you did not like, then why ask the question?

The article you posted a comment to shows a video of numerous instances of the FSD trying to run a red light when it is absolutely "not safe" to do so.
I find it odd that kotlin-jupyter notebooks still use the `.ipynb` file extension.
True, but enterprises wanting to make LLMs available to their non-technical employees would.
Reddit is a good example of how insane that can make discourse look in some subreddits, with one large one in particular showing how you truly can just engineer a faux consensus by deleting and banning every single comment and commenter that differs even slightly.
TLA+ is only "executable" in the same sense that an algebraic expression is executable. It's perfectly possible to write things on TLA+ that can not be simply executed linearly. (These overlap to a great extent with the things which TLC rejects.) As a basic example, it's easy to write a statement with \A (unbounded universal quantification) whose truth can only be judged by a proof engine.

Specification languages are explicitly not programming languages, for the core reason that programming languages dictate only what must occur; whereas specification languages can dictate what must not occur. It's not possible with a "specification" written using a programming language to determine what of a program is actually the specification, vs. what is an accident of the implementation.
Oooh, I finally managed to coax my manager into getting me a ToughBook at a previous gig, after I'd churned through a Dell Mobile Workstation or two a year doing field work.

The ToughBook lasted years. True, the keyboard left a bit to be desired, the screen ghosted like you wouldn't believe and the colours were a bit, uh, off, not to mention ridiculous resolution - but killing the thing was essentially impossible.

It is the Land Cruiser of laptops. Expensive, sluggish, heavy, indestructible.

It even had a serial port (and, still does as an optional extra!)

Nowadays, I spend much less time in the field and use a T14. Has served me well thus far. Oh, and I can actually carry it around without thinking twice of it.
Indeed.

This article: > In 2015, GE was the third largest manufacturer of wind turbines globally by both capacity and revenue, trailing only Vestas and Siemens. By 2023, it had fallen to 8th and had a more limited geographical market than either Siemens Gamesa or Vestas.

Translated: 14 years after Jack Welch retired (edit to add: and 14 of 17 years into Jeff Immelt’s term as CEO), GE was #3. 8 years later, they had fallen to #8, so clearly Jack Welch is to blame for the slip. /s
My desktop firefox only shows the linked post too.

Could be something about my uBlock Origin, but I'm not taking it down for anyone.

I've also never had a twitter account.
Barely. And that's unfortunate.

The future (maybe even present) looks like a return to time sharing. My students don't even know what Microsoft Word is. I'm told to avoid local computing when possible , whether it's where to save files or even how to log into the laptop.

Google classroom, Google classroom, Google classroom. Not allowed to unlock Linux on Chromebooks. Can't install extensions. Can't change your wallpaper. An obsession. I'm negative towards the whole thing. Don't even know why I'm teaching anymore.
> "specification of system behavior" sounds like a programming language to me. A systems programming language, even.

Lamport has directly and repeatedly addressed the differences between what's desirable in a specification language versus what's desirable in a programming language. Understanding the difference is vital to writing specifications.
Wow it’s not even named MobileCoin anymore, despite what the link on that page says.

https://www.sentz.com/blog/welcome-to-sentz
They'll probably get it. Investors still have money to burn. And despite stocks making all time highs, the Fed is going to cut rates. Easing credit = even more money to burn.
No as in, this is not the Android backup system, but rather something custom-built by Signal? If so, how do I enable this on my phone, and what's that passphrase the tool alludes to? I don't see an option to set one in the Android app.
They've got a lot better. Years ago they'd have their own specific SKUs...

"Sorry, this Western Digital 7200rpm 2TB drive is a WD72002048-AMZN, and we sell the WD72002048-BBY, so we can't price match."

They got busted for having different prices if they detected you were hitting the website from a store (Wifi or terminal)... "I know you thought it was $109 when you looked online, but you must be mistaken, here, let's pull up the website, yup, $159".

There was a brief loophole for a while when Amazon allowed ad-hoc Marketplace items from users - find what you wanted on Best Buy's site, create a listing to sell it on Amazon for $x cheaper, and then show them that as the price match. Then they moved to "must be fulfilled by Amazon to be eligible".
I'd dare say: social media promotes the idea that any sort of dissenting voices is harassment. It's not a spontaneous belief on the part of the people who claim that.
The questions in that survey are poorly worded so as to make the results ambiguous, since they confound 1) languages in which X person has worked with in the past year, with 2) languages in which X person would like to work on next year. These express two very different concepts: 1) popularity in the workplace, 2) developers' personal preferences. (Neither of them have to do with the most "admired".
Can someone explain this for people who don't want to do it?
Most people will be using the official app or the web site and if you're really dedicated one of the web archives will probably have the post and the quoted post archived.

It's not about being perfect, it's about cutting off wide masses from abusive behavior.
Telegram CEO Charged for Alleged Criminal Use of App
(2022)

Some discussion then: https://news.ycombinator.com/item?id=31924052
This is actually my preferred approach. If you want to put a 4gb base64 as your phone number, go right on ahead; best believe I will truncate it to a sensible length before I store it, but sure. Who am I to question your reality.

Sadly, people abuse shit like that to pass messages (like naming Spotify playlists with messages to loved/friends/colleagues while in jail) and maybe we have to assert a tiny bit of sanity on the world.
> All you need to do is ...

That's not all you have to do. I'll let people who've owned houses in snowy climates amplify that.

In a building, water is your eternal enemy. Keeping it out of places where it doesn't belong accounts for a good part of the other things you have to do.
UI design comment: In their first example of detachment, two ways that "Removed by author" seems ambiguous:

* which author is meant (the quoter, or the quotee)

* whether the quoted post was removed, or merely the link to it

This ambiguity not only requires learning by all users of that platform, but will also be confusing to non-users, such as when screenshotted on another venue.
As a person whose been on both sides, it makes a difference if you truly interact with someone.
I’m not getting at anything. I’m literally asking if you think I should be adding a % tip to my invoices as a freelance dev.

And if the answer is no, why not? I’m providing a service after all am I not?
Did someone publicly predict in the 80s or 90s that Welch would kill GE?
Wow. I typed in: Create a page that has a snake game clone that you can control with the keyboard.

Within <20 seconds, i was playing it. That was crazy. I then asked it to add better graphics, retro-style. And add a counter displaying the current snake length. And then finally, add a high score tracker after the game ended.
Adding the tracker caused an error, and I told it to fix the error. It looked at the logs and fixed it. There is still a bug where the top 10 scores all update at once, but I'm sure if i didn't hit the free credit limit on the site I could ask it to fix that.

I did all of this within ~3 minutes. It works, and while it is very suboptimal (it plays Snake using basic React state code, not ideal lol), the speed of this and how surprised I am reminds me of the first time I talked with ChatGPT 2 years ago. Amazing work.

I don't know if these are shareable, but this is the link I'm using to view the page it built:

https://preview--arrow-snake-adventure.gptengineer.run/
Nvidia CFO Commentary on Second Quarter Fiscal 2025 Results [pdf]
My current method is O( (n/h)^2 ) where h is the hash size, which is really O(n^2) for n>>h. I'll have to think about this to see if it would be better.
They have the highest number of registered and concurrent users of all LLM providers, the best apps and they have deals with Microsoft AND Apple.

So I would say they have a solid grip on the market, and a good position to keep it with minimal improvements.

Most users don’t care about the best LLM, they will not switch. I mean they probably are not even aware they are using OpenAI because it is just integrated into Office or Siri…
The question is how quick would Earth core cool down if the star died

Nuclear is probably a better candidate for long term energy source
It is an effective safeguard for protecting female prisoners from male prisoners.

There are different safeguards within each prison to protect prisoners from others of the same sex. VPUs for example.
Anyone have a good analysis on the various strategies different sites have tried over the years? Feels like it would have to include threaded versus non-threaded conversations, as well. I don't typically think of that as a way to control toxic crowds, but it does help stay aware of conversations without having to follow down rabbit holes.
Simple =/= easy.

It seems to me that TLA+ is executable in the sense that a difference equation can be run forward in time. Plenty of mathematics is executable in that sense.

Specification is not the same thing as implementation. A specification language does not tell a machine what operations to perform, a programming language does.

System behavior and systems programming are entirely different uses of the word system.
Thanks for sharing and that makes me really happy to hear. Keeping Rerun simple to use and easy to get started with has been a goal of ours from the beginning.

> I think Rerun should actually make the timeline view just another "view"

This is something we've talked about on and off internally and mostly all agree it's the right thing to do at some point. I also think there is a lot of things we could do to increase the usefulness of the timeline view even further so glad you're getting alot out of it already.

> Also we already have infrastructure to log and for live telemetry streaming so we don't integrate with the SDK directly in the deployed software and instead just have an adaptation layer to take logs or live data and push it through the Rerun SDK.

This is actually quite a common case and we don't have the ambition to make the Rerun SDK be the perfect logging library for all usecases. We're trying to do more instead to make it easier write efficient adapters that run elsewhere in your infra for cases where using the logging SDK isn't the best fit. The recent `rr.send_columns` API is in that direction but there will be more in the future
Other old links not so much:

https://zz.reddit.com

> upstream connect error or disconnect/reset before headers. reset reason: connection failure
That's because its inspiration was to create a language with the power of Erlang but that was as enjoyable to code in as Ruby (many people's "most fun to code in" language if they've actually worked with it; unfortunately it can't compete with Python's ecosystem).
Fascinating. I've never run into anyone with a vanity toughbook, but I can totally believe this.
You seem to think that a new local platform excludes existing platforms, this is now how anything works and would be a fantastic money making strategy if it did.
The comment just above yours for me is exactly this. A recommendation to read Orwell's Down and Out. Posted seemingly 1 minute before this post. Probablt not important but i thought it was interesting
> Nobody can buy them without bankrupting themselves many times over, unless the big companies buy them (very unlikely)

There are lots of M&A structures. A company can in fact buy another that is bigger than itself. Plus Microsoft will easily be able to afford a $100B acquisition with some creative financing, or maybe even outright cash.
Huh? It's not hard to find construction jobs at all. Contractors are constantly hiring.
Nvidia Quarterly Revenue Trend [pdf]
100% better than the GETACs my ambulance service used, those were hot garbage, with even worse touchscreens (or it may also have been that my service was so cheap they'd buy them on eBay, and even buy partially broken ones and the Director of Ops would Frankenstein multiple broken ones together to get one working)...
Holy double-dipping Batman, that's an expensive way to run some EC2 instances.
No, I understand that. Union dues are not a transaction any more than taxes or insurance premiums. Part time or temporary employees will always be deprioritized under people who have built lives and families working for that company and continue to do so.
This is a terrible idea. They even note it by saying "we’re leaning into labeling services and hoping to integrate a Community Notes-like feature in the future".

Why push an update that is undoubtedly a net negative when the company itself suggests that it's not the best solution?
Isn't the entire known sequence of pi also known to repeat due to its nature?
"We estimate the supply-side value of Shakespeare's works by estimating the cost of paying an author to write the approximately 884,000 words in his collective works. We therefore calculate the value of Shakespeare to society at $320,000, or approximately the same as the value of 3 Tesla Cybertrucks."

-- MBAs, probably
On Reddit I mostly see this feature used for political manipulation. Especially by people who to me are obviously propagandists.

It's a very common pattern for me to encounter something, writing a reply I think is superb, seeing it highly upvoted, and then seeing the person I replied to delete that comment.

It's incredibly effective-- you get your propaganda out, and when it gets questioned it just disappears-- the lies will have affected many and the rebuttal seen by few.
Nvidia Announces Financial Results for Second Quarter Fiscal 2025
I think this is a big open question right now.

LLMs can accelerate your learning. I've been programming for 25+ years and the rate at which I'm learning new skills and tools has gone up a very material amount now that I can bounce things through ChatGPT and Claude.

Should you worry that if you don't struggle against a weird compiler message for 3 hours (which ChatGPT would have told you how to fix in 30 seconds) you won't be gaining essential crank-on-a-frustrating-problem-for-three-hours experience?

I'm personally not convinced that the frustration is worth it. I'd rather have spent those three hours learning a bunch of other stuff.

But maybe the only reason I'm a competent programmer today is that I worked through that pain earlier in my career?

Since you're clearly thoughtful and conscientious, I suggest trying both. Some days, go all-in on LLMs. Other days limit yourself and work through challenges without them. Experiment like that for a month or so to see which learning style appears to be working best for you.
Google and Meta employees are getting jealous of their wealthy Nvidia peers
> I also think LLMs are wildly over hyped, and they will be shunted to a niche in the next few years, essentially providing autocomplete or search for business tasks for the most part, with strong inroads on video analysis, automated translation, and other classic machine learning & neural net tasks.

There are many useful tasks that LLMs can automate and they will provide great value for humanity. The problem (for investors) is that it's hard to make people pay for it or make money out of it. This is the same problem Google Search had, and ads seem to be the only way forward here as well.
Do you host your own 405B parameter model?
Hey! What literature would you recommend for learning more about this stuff (routing, firewalls, etc)?

I'm learning as I'm going and my goal is to come up with a way to build secure/beyondcorp/zerotrust-style networks using only existing tools and established tech, unless absolutely necessary.

Tools I'm using include wireguard, iptables, nftables, nginx, ping, traceroute, and nmap.

Which articles, books, authors, or repos must I read and which concepts must I understand?

Trying to find real knowledge about this stuff online is a nightmare!
'My identity is stolen': Photos of influencers used to push pro-Trump propaganda