skysight-inc/HackerNews huggingface dataset:
Governments of the Industrial World, you weary giants of flesh and steel, I come from Cyberspace, the new home of Mind. On behalf of the future, I ask you of the past to leave us alone. You are not welcome among us. You have no sovereignty where we gather.

We have no elected government, nor are we likely to have one, so I address you with no greater authority than that with which liberty itself always speaks. I declare the global social space we are building to be naturally independent of the tyrannies you seek to impose on us. You have no moral right to rule us nor do you possess any methods of enforcement we have true reason to fear.

A Declaration of the Independence of Cyberspace

https://www.eff.org/cyberspace-independence
PC = personal computer

Since it is so personal, the iPhone should probably be named PC above any other device.
A Declaration of the Independence of Cyberspace – John Perry Barlow
> While the clox compiler does prevent a lot of these cases, it does not prevent stack overflows. The author intentionally decided to skip this check because it would require a lot of boilerplate code. Real-world interpreters using unsafe structures like these must absolutely do it though.

You can do both overflow and underflow checks without any efficiently loss by using virtual memory page faults to "catch" the resulting access (which in any case is a fatal error).
> it also doesn't have guaranteed tall-call elimination

I had no idea about that. Is there a specific reason why that choice was made?
Proficiency in Rust requires learning what won't work, rather than trying various things until they compile. Borrow checking is a set of rules to design for, rather than an oracle to test against.

It does take time and effort to really internalize these rules. But eventually you should be able to have a mental model of how ownership and borrowing work; consider what owns the data, if it can be borrowed within statically known scopes, will it need to mix sharing and mutation, and then apply Rust-specific types and design patterns to match.

Conversely, there are things that you just can't do, like using temporary references for parent-child relationships. Knowing this will save you time from even trying.

Perhaps learning materials need to be more explicit about it. For example, I suspect lots of people are discovering the limitation of self-referential structs the hard way.
So we don't go extinct?
The market will decide if those "good enough" people are right.
Is this finally an atom bomb from the SEC?
You could add type hints.

I poke around in the pybindgen code base semi-often and it’s fairly large. No problems that would call for sparing use.
> That just shows that the us has good medical treatment for people with essentially infinite money who don't have to worry about cost or insurance coverage so they can bypass the kind of issue the article is talking about entirely.

No, that shows that even in places with public healthcare, there are issues.

Universal public health care is not the utopia that its proponents religiously advocate for.

> You can't just ignore insurance and judge the us healthcare system based on the best hospitals and doctors when most Americans aren't going to have access to that.

Most Americans have insurance. You can't ignore real data. Are you from the US?

https://sgp.fas.org/crs/misc/IF10830.pdf

Only roughly 8% are uninsured.

> , healthcare in the us is a nightmare

Compared to the rest of the world? It is not.

US is not the top, but within the top 20.

https://worldpopulationreview.com/country-rankings/best-heal...
How many of those people would actually have paid an expert vs. downloading some stock photo or artwork and going close enough?
> I am now able to create, rig and animate a character thats spit out from MJ in 2-3 days. Before, it took us several weeks in 3D. The difference is: I care, he does not. For my boss its just a huge time/money saver.

This is the crux of it. The bottom line is that you are free to practice your craft and love it, but don't expect a company to pay you big bucks for it for no reason when they can find cheaper and better ways to accomplish the task. Automation eating away jobs (including ones that had a quality of romanticism associated with them) has been a constant in human history, and it is silly to expect that it won't apply to you for whatever reason.
We added HNSW-based vector search to Typesense as well recently: https://typesense.org/docs/0.24.0/api/vector-search.html

So you can combine attribute-based filters along with nearest-neighbor search.

Put together this semantic search + filtering demo just last week: https://github.com/typesense/typesense-instantsearch-semanti...
> The idea of "having", of ownership, is not natural.

> In the natural world ownership is defended purely by force or guile

There is a third view which is that human law is a continuum ranging from things we are genetically predisposed to expect as members of a social species to constructs which are mostly cultural.

For example, almost every human civilization has some prohibition on killing and stealing from other members of the community. These are more foundational than laws about how to dress or speak. Even communities of non-human primates recognize stealing as a transgression and may collectively punish a thief. So the idea of personal property has deep roots and is not exclusively human.

"Property" which includes constructs like probhibitions on copying what someone else has done without paying them tribute is an abstraction of personal property, which is much closer to an innate human concept.
I think "noise limits" should extend beyond simple decibel. Even if sonic booms can be made much quieter, just a random faint explosion, if I can still hear them I will go nuts. The unpredictability and suddenness of it would be the problem, not the volume.

Currently working up the energy to go on a walk so I don't have to hear my neighbors drying machine turn on and off at random intervals.
Curious how you work the prompts with the therapist persona? I'm interested in this. My main concern is GPT seems to struggle maintaining context after a time.

If you have time I'd love to hear how you approach this and maintain context so you can have successful conversations over a long period of time. Long even meaning a week or so... Let alone a month or longer
The most practical uses of recursive functions are those that cannot be easily eliminated. For an interpreter, it could mean dozens of functions all calling each other in a pattern determined at runtime.

The issue used to be with LLVM, yes, but that appears to be solved (see Clang's 'musttail' attribute). Instead it's more about language design. Constructors, destructors, and all of the fancy language features Rust has must work with this new feature, with no changes being visible elsewhere.
It shouldn't actually matter. Hardware clocks should usually be in UTC, but the timezone should be "whatever makes sense."

Webapps should be timezone aware via the browser or user preferences, internal timezone should be whatever makes sense for logging et al.
The lack of empathy the HN community has really shines through in many of these replies:

> There were no doubt quite a few nail makers pre-industrial revolution that took pride in making consistent, quality nails.

> And nothing of value have been lost.

> LOL at the reply a couple posts down, where OP admits they work at a mobile shovelware sweatshop.
A true free market is when anyone should be allowed to practice medicine including your barber. That would give your regular doctor a run for their money and have them perform better that the barber.

Similar goes for pharmaceuticals, a true free market does not exist.
This seems like a poor use of Copilot. At least in the JS ecosystem, pretty much every library has TypeScript support now. No need to guess or look anything up. Copilot can still be wrong, especially if the API changes over different updates

In my experience Copilot's value add is simply autocompleting simple/boiler-plate-y lines for me. Definitely wouldn't wanna trust something as fuzzy as an AI to "memorize" APIs on my behalf
I have the book but haven't gone through it. When I do eventually get to it, I will probably ignore all of the implementation languages, instead choosing something like F# or Racket. You could do something similar.
I'm going to assume that at least one popular interpreter uses a weak hash function for its hashtables/objects, and I haven't ever heard about it being an issue.
I recently write up a description of a relatively simple algorithm in markdown. Then pasted into ChatGPT-4 and asked it to write python for it; it was correct except for a small error. Saved me an hour or so.
> What do they do exactly, start collecting government IDs from us before every visit?

That’s the idea actually.
... a sentiment as impotent as it was naive.
They are UTC - the actual time on the system is measured in seconds since midnight Jan 1 1970 (https://en.wikipedia.org/wiki/Unix_time). This time is then converted to local time per the OS timezone setting. A lot of apps (e.g. databases) will also have their own time zone conversions based on context (e.g. per database connection settings).

As far as practical use of UTC vs local time: I am a developer that happens to work with customers directly. It is difficult enough to get customer to provide timestamps for issues they report in local time, I cannot imagine they would be able to convert to UTC.

Love the local time!
I don't understand why someone would want their servers running on anything but UTC and only use time zones in the application itself.
I think the OP wasn’t disappointed about the end result, which is now higher quality by their own admission. They can certainly use their skills and experience to engineer prompts that will return the highest quality work, no doubt.

What made them sad is they no longer have the joy and satisfaction of developing those models in a 3D rendering software. This is what they trained for.

In many ways, this is like the initial trauma of becoming a manager. Learning to be content with the end result and the success of the team, than your direct individual contribution. The difference here is they didn’t ask for it.

I fully empathize with them. It makes me sad to think what they’re going through. My advise to them will be to look for other ways to get that satisfaction - either through a hobby or considering a different role/profession. For better or for worse, the world is changing rapidly and I can’t see it going back to what it was.
This documentary sounds pretty bad from the description, but I this article paints an incorrect picture of how mathematicans study the infinite.

Whether there is one infinity or multiple is entirely context dependent. Yes, there's far more than just one infinite cardinal. But it is a mistake to identify "infinities" with "infinite cardinals". In fact, mathematicians use a bunch of systems of infinite numbers; cardinals are only one of them. (Also, they may also use "infinity" in ways that can't reasonably be called numeric, or that are entirely informal; I'm not trying to cover every possibility here, just demonstrate how it's not just cardinals.)

For instance, in addition to cardinals, there are also the ordinals, another system of transfinite numbers which works quite differently. Or, if one wants infinitesimals as well, there are the surreal numbers (although these (sort of) include the ordinals).

But also, in many contexts, the right thing to do is not to use any of these, and to simply use the extended reals -- i.e., just take the real numbers and just stick a big flat undifferentiated "infinity" on the top of it (and possibly a minus infinity on the bottom depending on context). In the extended nonnegative reals, there really is only one infinity. And as much as I love cardinals and ordinals... they're not appropriate for most situations involving the infinite. The extended reals are useful far more often. You're going to be using a system with only one infinity far more often than a system with multiple infinities.

It's worth pointing out the more general point here -- numbers come in systems and cannot be used outside the context of some system! There is not, in fact, any single mathematical definition of a "number". You might imagine that in math there is some set of "the numbers". (Many people seem to specifically have the wrong idea that the complex numbers are "the numbers".) There isn't! There are different systems of numbers and each works differently.

Some of these systems of numbers fit together and are compatible with one another; e.g., the whole numbers include into the real numbers. And also, the whole numbers include into the cardinals; it's compatible with either. But some of these systems are not compatible with one another and do not fit together. You can't combine real numbers and cardinals! It's meaningless to ask, "What's 2pi + aleph_0?", even though both are "numbers" in some sense, because these systems are not compatible. (Well, unless you do the work to make them compatible, which can sometimes happen; although note that in many cases systems are quite definitely incompatible and can't be made to fit together.)

So it is incorrect to say that cardinals are the way to do infinities and that "infinities" mean "cardinals". There are other, incompatible, systems of infinities; and in many contexts, you want a system with just one infinity, not multiple. And in these contexts, which are numerous, you do just say "infinity" and leave it at that, and this is perfectly correct.
If you can only work with GPT-3.5 model, the prompt that bumbledraven shared may still produce some explanations and provide no syntax highlighting. To solve this, you can add: "Skip prose. Skip explanation. Answer in a single code block in markdown."

Also, if you're using the playground, I'd recommend keeping the temperature low (I normally set it to 0 for this task). This will prevent any extra information such as test data, from being included. From my experience, setting the prompt I shared earlier as the system prompt produced more consistent results. However, whatever I shared is based on my own trial & error, so I'm not sure if this will work for you/in general.
Yep. The bar is so incredibly low for communication.

I know job searching isn’t fun, but it’s shocking to see how some candidates act like they can’t be bothered to even have simple person-to-person discussion about their application or career interests or write even a simple written description.
Submit thumb for verification.
I'm an SVB employee who lost more than $1M
Non-paywalled mirror: https://archive.is/R7LyN
> If you start playing the piano, you’re a pianist

> You don’t need to do something for years, or even professionally, to call yourself by your new title.

Wow. Okay.

But please don't call youself a Senior Software Engineer if you've just started programming.
Generally yes, but this specific example is imbalanced, in my opinion. The trade here is employees going above and beyond in return for employers simply behaving in a way that I would expect any decent person to: "not gaming them", "won't dump them cold", "advance their responsibilities and compensation as fast as they can" (that last one I read as "as fast as responsible company management permits").
This has, "If you write in your FB status that FB doesn't have permission to use your pictures as outlined in their ToS (which you already accepted) then they have to comply with your request," vibes.
Yes, I asked in a kind of exaggerated way. I'm not saying that we should stop having kids altogether, just that a birth rate that keeps the population stable is justifiable now.
I do that too! It’s nice to have some “scratch space” at the end, like an artists’ palette to dab colors from.

Ideas naturally flow from scratch to outline to fleshed-out paragraphs this way.
To complete this idea, old nails are better at holding than modern nails in at least some applications and are required for some restoration work. I remember reading (but can't find) a church-restoration project report mentioning it, but more can be read here: https://news.ycombinator.com/item?id=30421682
Jarvis: An Experiment Leveraging the Open AI API, Apple Homekit, and Siri
Clarity as to your server time no matter what time zone nonsense a government devises.
To apply this to philosophy, Wittgenstein argued that many of the "classical" problems of philosophy, like the meaning of life, beauty, truth, etc, are basically misappropriations of language. The reason they are intractable is because they are nonsense. The words "life", "beauty", "truth", and all other words, have meanings in certain contexts for a communicative purposes, to achieve some mutual understanding about a state of affairs in the world. But once you remove this purpose, you're playing word games with yourself. Past a certain point, it's a waste of time.

That's probably an oversimplification and wrong in some way, happy for someone to correct me. But that was my takeaway from reading a ton of philosophy and eventually reading Wittgenstein and feeling "cured".
Only if under/overflow can be bounded. E.g., with stack probing.
Wow, amazing tip! I'm shocked I haven't heard of that before. Do you have example photos?
I'm getting paid by the hour, not by the task. As such, there is no point in "motivating" me to get more work done from my perspective, other than to manipulate me for your own benefit and replace me as soon as the overdrive's price needs to get paid.
We've actually already started contributing :)

https://github.com/qmk/qmk_firmware/pulls?q=is%3Apr+sort%3Au...
and he got it how many times, after ?
Details on "Snowden showed that all American companies were in bed with the US government when it came to spying on foreigners"?

Because that wasn't in the records I read.
I posted this earlier today

https://news.ycombinator.com/item?id=35301727

“The Death of a Technical Skill”

The case study what happened when Adobe Flash died and how the job market was affected. With AI this will happen for many more industry verticals.
Al Gore does not represent the scientific community. If you're looking for up-to-date info, you should read the IPCC's recently finished AR6 report^1, which combines together 13,500 research citations to evaluate estimate ranges for impacts like sea level rise and coastal erosion.

^1: AR6 report: https://www.ipcc.ch/report/ar6/syr/

AR4 report (2018) has more info about sea level rise specifically: https://www.ipcc.ch/site/assets/uploads/2018/02/ar4-wg2-chap...

This is an important bit: https://i.imgur.com/inEZ1Lp.png
Maybe you aren't on top of keeping your timezone database up to date, maybe you have to deal with dates spanning 2005, maybe Ontario will finally abolish DST. Using UTC simplifies time handling with very little downside.
> As it stands, the economics of air travel force carriers to optimise for reducing fuel consumption, since that's (by far) the biggest fraction of a commercial aircraft's operating cost.

Not only this, but in general jet speeds have decreased due to airspace congestion. There is a lot of schedule padding due to delays at hubs like JFK, LAX, LHR, etc.
This would ring a lot more true if we weren't talking about centralized websites that will enjoy the excuse to demand your government identity, adding to the surveillance databases that power their real business. And until tech culture moves on past this evolutionary dead end, governments will continue to think that the "Internet" is just another thing to be micro-regulated.
It's a damn shame, too. If we got the APFS documentation we were promised I feel like we'd be one step closer to world peace.
About signed commits, but off topic for the article:

Many signed commits ("Verified" in green) on GitHub are signed with GitHub's own private key¹, not the committer's key. There's a good technical reason, but many committers don't realise their own signing key isn't the one used on their signed commits to the main branch.

That GitHub private key would be a fun one to have leaked!

It would invalidate most of the "Verified" flags on commits on most repo main branch histories.

(¹ GitHub uses GitHub's own commit-signing key when you use the GitHub GUI to merge or squash-merge commits if you already signed them, and the resulting commits show as "Verified" the same as conmits signed by your own key. So you do have to sign with your own key,, but it's not the key used on the main branch commits everyone sees whrn they visit and doenload. Many controlled workflows require approved PRs to be merged to main/master through GitHub's tools, and many users default to using the GUI for PR merges by choice.)
why are your servers not UTC? sheesh.
Dark mode is missing. Here's a guide to implement it properly : https://ryanfeigenbaum.com/dark-mode/
> Many employees get more than 50% of their salaries in equity — SVB stock — every year. My equity in the few years I've been here used to be worth more than $1 million. Now it's gone to zero.

I understand the appeal of holding onto stock so that you can get LTCG, but it seems pretty risky to hold quite so much stock in one company. It's possible that $1M is not very much of this person's net worth, but even still it seems unwise to have so much stock in the company that employs you (because of the correlation and possibility of getting doubly wiped out).

The complete erasure of SVB's equity was obviously not very foreseeable, but there's always a substantial chance that a sector (like banking) could get whacked, which would cause job instability and stock losses.
Microsoft fixes reversible screenshot vulnerability on Windows
Yeah I feel similarly about programming, honestly even the existence of compilers makes me feel this way to a lesser extent, but AI is absolutely crushing any sort of enjoyment out of anything and further turning it into a mediocre slurry of content.
I managed with 3 chars: "?"
Servers (and every other Unix/Linux box) ALWAYS use UTC. The time zone is only specified for the purpose of DISPLAYING the time in some locale where the system resides. The only things that should care about the time zone are those that generate output for human consumption (such as log entries), and this is usually automated.

For a system to not boot in a particular time zone is a serious bug, but you should not blame the problem on the time zone, you should blame the problem on whatever is broken in some critical piece of code that probably should not be using local time.
Timezones are disaster. Once upon a time it was difficult and time consuming to make changes to them. Then the world began developing more and "accurate" timekeeping devices. Atomic clocks were developed and began to be miniaturized. Then someone had the brilliant that incredibly accurate clocks could be used to determine location. GPS was born.

A few decades pass and we now all have highly accurate "clocks" that we carry around in our pockets that receive GPS signals and sync their idea of time to what the satellite thinks. Sounds great, right?

Except, humans don't actually use atomic clocks as the basis for their timekeeping. We look outside and expect the time on the clock to mostly match with the position of the sun in the sky.

Once leap seconds became entangled in them, the whole thing basically a toxic pile of radioactive waste. Timezones are now being updated multiple times a year since the internet means we can update them at will. The whole thing is now a giant mess of toxic radioactive waste that can never be correct for any extended period of time.

We, the software industry, did this to ourselves. We built this, we have to live with it, and it's never going away.