skysight-inc/HackerNews huggingface dataset:
And this differs from Usenet how?

I guess you can argue that the Karma system is counterproductive and leads to Karma farming, even though Karma is explicitly worthless. But I think attention seeking is going to happen no matter what the platform is.
This is for sure the best part!
Hi! I've done extensive work in both TLA+ and Alloy. My advice is to pick something small and just run with it. It takes some time to learn either, and the better you get, the more easily you'll be able to apply it to even small systems. I recommend starting with speccing a system you already know inside and out, so you can tell if surfaced errors are actual problems or modeling mistakes. You'll learn faster that way.

Alloy is a lot more niche because it hasn't had the same popularization push and it's mostly a team of small academics doing everything with no outside funding whatsoever.
Thanks for the feedback! I’ve reduced the font size so it should be easier on the eye. Improving the UI is on the top of my list.
As a noob asking from a place of curiosity, does “Medieval” mean anything outside of the Europe sphere of influence? Medieval evokes a certain imagery in my mind, rather than a time period. It feels weird and Eurocentric to refer to Asian countries in ~1200 as “Medieval” for example.
it’s because it’s easier for the customer to decide to buy, i think obviously
My wife uses Supernatural almost every day, and while it's a bummer to be subscription, she really enjoys the new content that keeps coming in.
Live theater is my favorite by a longshot. Beats the hell out of what the movie industry has been churning out.
The government threw money at the arts in the mid-20th-century to show up the USSR and people are reading too much into it. If classicism had been the thing in the middle of the 20th century they would have funded that instead.

Is the popularity of reactive programming a Facebook psy-op? They certainly popularized it via React, but does that mean there was some deep agenda inside Facebook to popularize reactive programming to accomplish some mysterious occult goal? Or was it just that Facebook is big, happened to employ some good devs who liked reactive programming, and dumped a lot of money into it?

When big companies and governments throw money around they distort the market and whatever happens to be in the right place at the right time to grab that cash tends to get favored. That's usually all there is to it unless you can find concrete evidence that (for example) someone with authority in the CIA wanted to promote that specific type of art to achieve a specific societal outcome.
I can think of a number of AAA titles from the past few years from larger studios with plenty of pugs as well...
I’m still waiting for a good immersive VR game that I can just play while sitting on a couch… all those games that require me to move my entire body all the time get exhausting really fast.
Q: PE ratio of NVDA
A: stock price chart of NVDA...

needs some work folks.
> I highly recommend you get your genetics and start learning about it all

What's the best place to do this? I'm in the EU

> As for depression, I suggest you look at inflammation an immune system as a regulator

I made some decisions that sent my life in a downward spiral, I don't think those factors have anything to do with it
Just do what slack did with irc. “Reinvent” it with a modern interface and some fixes. The mercurial masses will flock to the hot new platform, VC will shower you with adoration and cash, we’ll tell stories about how you don’t eat breakfast and only ever wear one sock. Everyone will emulate you and then you can come back around as a wealthy guru investor.

Duh. Have you learned nothing of the tech cycle?
Being self-taugh I decided what better way to learn programming than starting with the basics?. Assembly was my first language, I could read and program in it so I considered like I knew the language.

It wasn't until I created a sinple 8086 emulator where you take the raw machine code instructions and translate those into not only the assembly instructions but actually emulate what those instructions do that I finally felt like I REALLY knew assembly.

My suggestion to others that want to learn assembly is to skip any assembly books. Using whatever language you want first start with a translator from machine code into assembly instructions, and then do an emulator. You only need to implement a small subset of the instructions, check out godbolt and translate some simple programs to know which instructions you need to implement.

Other than that all you really need is the 8086 manual, it has all the information there. I also found this site useful when implementing the flags https://yassinebridi.github.io/asm-docs/8086_instruction_set.... This takes less time than finishing a book and you learn a LOT more.

The goal is not to program in assembly at all but to truely understand the cost of everything and what you can expect from your hardware.
Sirch. An AI search engine that's democratic.

About us: https://bento.me/sirch
Prototype: https://sirch.org

We're looking for React + AI devs.
For those of you who don't want so support a terrible company like Blizzard but still want to play a fantastic ARPG - go check out Path of Exile.

There's no way D4 will ever have 1/10 of the content PoE already has.
My current employer gives all engineers $1000/year to spend on tooling. We just expense it and it's automatically approved, up to a grand. No arguments the budget, no manager approval required, nothing.

Were way more efficient than any other place I've worked, all because we're empowered to buy little $10/month plugins that save boatloads of time.
techbro active on social media, they are relevant for being relevant
Two older assembly language programming books that I had checked out earlier, and thought were good, are ones by Randal Hyde and Paul Carter.

Both were for 32 bit assembly, not 64 bit, IIRC.

Paul Carter was a professor or lecturer at a US college.

I think his book was available online.
Graph databases are about as different from RDBMSes storage-wise, as column-stores are from row-stores. It comes down to how you plan to shard data and distribute queries when data doesn't fit on a single node.

Using a graph DB with many underlying KV-store nodes, you can have a single graph spread over many machines representing e.g. Facebook's social graph, and run a query which "chases around" edges between vertices that live on different nodes, to solve that query, while ensuring that as little of that has to happen as possible — both by rebalancing vertices so that data is sharded at low-connection-degree points in the graph; and by consolidating the steps of queries that occur on the same node into single batch queries, such that the whole thing becomes (close to) a single map/reduce step.

There's nothing in Postgres that knows how to do that; if you had e.g. a graph stored in a Citus hypertable, and did a recursive CTE over it to do graph search, then you'd get pretty dang bad perf.
It probably was not legitimate. There are wonderful people like you but they are dwarfed by the thousands of scam accounts using this method to try and engineer legitimacy.
The official clients suck, but that's not currently a problem because there are quality third party clients you can use instead. But this change is going to shut down the third party clients.

If they also stop offering old.reddit.com I'm convinced the place will be a ghost town like Tumblr in a matter of weeks.
>I'm surprised they release unpaid updates as opposed to paid DLCs

From what I hear, from someone who knows someone who works at Hello Games, is that they've hired people to work on "the next game project", but NMS keeps selling, so they keep putting out big updates, because every time they do that, more people buy the game.
Im not going to stop using reddit, but I'll use it a lot less. I primarily consume it on my phone using Apollo when Im relaxing. I would likely only use it on my desktop and that would become infrequent at best.

A part of me almost wants the API changes to happen. It would free up more of my time in the evening and provide a little bit of schadenfreude. But honestly, I should just uninstall the app anyways.
AI, Democracy, & the Future of Civilization | Yoshua Bengio & Yuval Noah Harari
I find that the people who say things like this are the same folk who will spend extra on a gaming PC battlestation that has color-coordinated neon lighting from the chassis, monitor backlighting, and on their keyboard.

People value aesthetics. Not everything in life is purely functional. Maybe you don't personally appreciate the beauty of a nice wristwatch strap, and that's fine. But I can virtually guarantee that there's some area of your life where you have spent additional dollars on a widget to gain some additional aesthetic value above and beyond what was purely functional. You simply did so on objects you personally care about. You likely have even done so without being consciously aware of this decision! Someone else with different preferences could easily look at that purchase and boggle at how anyone could spend extra on something so pointless.

And if you really, truly, have never spent extra time, effort, or money on something you'd appreciated for its beauty? To me, that's… just kind of depressing.
I used it to help me write an email begging for my job back and it was pretty helpful
Hello,

Are you firm on the job requirements or would you allow a motivated individual get up to speed to be a part of your team? Also, do you have a contact email to reach out? Thanks
I wonder if there's been any observable correlation between JSON support in the major SQL databases and the decreased (or increased?) adoption of NoSQL document databases like MongoDB. It would be interesting to do some bulk analysis on GitHub commits to compare their use over time.
Relegation and promotion are just such good systems that all sports should have them
I exclusively use old.reddit.com and it seems pretty good.
This is clearly a play for getting access to organizations' logs for them to train their models on - probably in preparation for a future cyber related offering.
I mean, any means of applying force to a small area will make tempered glass explode. You just want to hit it with enough force on a small area.

The use punch breaks, which are like tiny ice picks with a flat handle, in the factory to do break tests to ensure that the glass is properly tempered. That will break it even when pressed down on the flat side of the glass.
GHC for Haskell for example has a graph-reduction runtime, and a lot of effort goes into optimizing that to use referential transparency and laziness effectively.

Prolog is similar (even more so) an example of a high-level declarative language with an optimizing runtime, but (I guess) isn't as optimized. Prolog runtime could incorporate a SAT or SMT solver internally, without changind the language, right?
https://www.geopura.com/
Software licenses masquerading as open source
> Lots of people don’t grok this but the endgame for VR/AR is replacing every monitor in every office and home

It's very, very hard to see how VR/AR would be a good replacement for monitors in general, even if it was perfect.
Is every language supposed to come with HTTP and TLS stack, clients for every database, de/serializers for every format, every image and video codec, every de/compressor, GUI toolkits, 3D rendering, Bluetooth… where do you stop?

And then how do you maintain all of this bloat to a competitive level, so that users don't need to reach for faster/newer alternative packages anyway?

And how do you maintain portability and backward compatibility of a language with such a vast API surface?

In modern development there's just too much stuff to keep everyone happy with batteries included. Sooner or later users will need something that isn't built in, and that will cause pain and crappy workarounds if the language doesn't have first-class support for dependencies.
You're talking about gentrification. This is not caused by nomads, but by transplants. I think nomads are different because they work from the road and get off on patronizing "exotic" cultures to reenforce their own privilege, a privatized form of imperialism.
> (...), because moderation is still the hard problem to get right.

Why not try AI?
The index is twice the price of the VR2 headset I thought, not really similar.

As a side note, NMS runs really great on the VR2.
"extensions to the protocol" do you need the whole thing designed in a comment?

the original context was to decompose subreddits into their own decentralized and separately hosted things. so:

dump spam into some hidden pseudo-group that only mods can see. let them post replies to the posts which are interpreted by the server to release/delete the spam

add additional headers on posts to mark that they're pinned or sidebarred. clients will have to know how to interpret that, but you'll remain backwards compatible with everything that already exists

again if you really want upvoting/downvoting, have specially formatted reply posts which the server uses to increment/decrement the vote counter, which is presented as a special header on the posts. special clients can display it like reddit, and even old clients can probably make use of it for filtering purposes.

now, i did the design work, so you go implement it.
I've cut way back on Google search because of their ever declining search quality. I could care less about ChatGPT.
I very much doubt the tweet in question is of someone who loved GPT-4 yesterday, and has "fallen out of love" with it starting today.

For someone so dismissive of "neurotypicals" you did the neurotypical thing and drop a hot take before clicking the link.
would you open for a remote internship for the Junior Web Frontend Role?
Conway's Law:

> Any organization that designs a system (defined broadly) will produce a design whose structure is a copy of the organization's communication structure. [0]

But I think OP is implying the opposite, sort of a reverse-Conway. That the narrative of their product affected the structure of the company.

[0] https://en.wikipedia.org/wiki/Conway%27s_law
But the context of OP is for human-scale puzzles.
Just ignore this fella, GPT-4 is massively useful. But it takes intelligence to get intelligence out of it.
The writeup really emphasizes how far the Hutter Prize has fallen short of its original goals of contributing to AI progress. The innovations in making a smarter compressor here and beating decades of work to create an even more intelligent AI predictor here are... 'eliminating all the virtual function calls' and 'improving cache locality' and 'alternate hash-map implementations'.
Third party clients are going to be cut off. IMO the case is overblown: Reddit has their own mobile apps which are... fine. Definitely not amazing but they serve the uses of the vast majority of Reddit users.

The idea that a serious number of users would rather move to Usenet than use Reddit's official offerings feels like very optimistic thinking to me.
The pricing model is hot garbage, but most Reddit users will continue to use it (myself included). That said, I'd be happy to move to an alternative, even usenet. Reddit has so much weird baggage associated with it (powermods, admin shenanigans, a surprisingly high number of racists/sexists) that I'd love to find a place for more nuanced and interesting discussions.
My impression of the Zig language as a total outsider is that it seems like it has the underpinnings of success: it has a niche, it has a governance model, and it has real commercial users. It just has to not blunder very hard on the way to some level of promised stability.
If you're using a paid service for work, the company should pay for it.
Interested in the "Engineering Manager of Interactions" role, but not seeing listed. Where can I find the JD for that role?
Super cool, congrats on the launch!
Correct. The one RD I know that has implemented this "graph view" concept is Oracle's. They did it first with PGQL extensions on top of say 19c. Interesting, but the execution seemed a bit unpolished.

Now with 23c, they are adopting PGQ and one should be able to interface through the regular JDBC connectors. Will see how it shapes up.
Also, the Usenet model was that your ISP ran a server that pulled from the global feed. But most ISPs shut down their servers in the early 2000s and forced people to look elsewhere. Sure they could have gone to a public server, but the person would have to find that before they found other options and most did not. They ended up on Myspace, Slashdot, Digg, 4chan, etc...
This was part of the forum and usenet experience long before reddit.
This is great! Can these APIs also protect users from other LLMs?
I think Iceland and New Zealand are also contenders. Iceland absorbs all of Greenland, large portion of Nunavut, and a sizable chunk of Alaska. New Zealand grabs a large part of Antarctica.

I think though if Nuuk were to be included the dynamics of Iceland would change significantly, and similar if you include New Zealand’s already claimed territory on the Antarctic, then their gains are less impressive.
> Haha, that’s not even SQL.

It is in the MSSQL[1] world. I haven't touched it in ~20 years and I can still recognise it.

[1]: https://learn.microsoft.com/en-us/sql/t-sql/queries/top-tran...
As AI-Enabled Cheating Roils Colleges, Professors Turn to Ancient Testing Method
Sideloading an app is not a sustainable way to distribute a commercial app. It's even more fragile than the official route, and it's a lot to ask of an end user, not to mention the sketchy feel to it.
Archive link: https://archive.is/YDtk9
I thought the API was versioned, though it doesn't mean the new versions aren't worse. And he doesn't talk about the model used in chat gpt. I'm a bit skeptical that this answers exactly what we were worried about. Or maybe we were not all worrying exactly about the same thing.
At least one forward would hang close to the opponent's goalkeeper, guarded by a defender. Teams would be spread in length over the pitch. There will probably be many special strategies. Maybe everybody would be in the box when the other goalkeeper kicks the ball. That's prevented by offside now. BTW offside works only in the opponent's half of the pitch.
I was expecting to read the text. :(
So if you have 100 servers running EC2 at 99% compacity, they turn off all the other machines? That doesn't sound correct. I imagine they have a good buffer and then maybe there is a subset that are powered down. I don't think you can power up a machine, launch the kernal VZ layer, connect to AWS and broadcast yourself, and what ever else it does in the 20 seconds it takes for a EC2 instance to be allocated to you, so there has to be a good buffer for people launching/tearing down EC2s constantly.

So basically there may be a few servers difference. So we are talking like a few kws, which is basically like 40 cents power wise using 4 cents a kwh.
heads up - seems like there's a typo in the url, has a %7C appended to it so can't open the link.
> It comes down to how you plan to shard data and distribute queries when data doesn't fit on a single node.

A problem everbody would love to have but pretty much nobody actually has.
I'm in the same boat as you, also used Mullvad port forwarding for this because all I can get where I live is mobile 4G internet which is 1) behind NAT, so I share IP with many other ISP customers and 2) changes IP very frequently.

A while back however I just locked down all ports on my "server" (really just an old computer in my home) and instead setup a CloudFlare Tunnel[1] on it. All it really does is instead of CloudFlare forwardning HTTP requests to your server, your server connects to CloudFlare and uses that connection for bi-directional communication of HTTP request/responses. I have an nginx web server listening on a UNIX socket that the local cloudflared daemon will forward traffic to, but nginx is not needed and you could instead set up an individual tunnel for each domain/subdomain you have, but I personally just re-use the same tunnel for everything.

Works really well even though I'm behind NAT, the public IP changes, or network goes down briefly; the cloudflared daemon just reconnects. No DNS updates needs to propagate either. I can understand though if some people are reluctant to using CloudFlare, but for me this is a lovely feature they have - and it's free.

[1]: https://developers.cloudflare.com/cloudflare-one/connections...
It's all three, in equal measure. If you're not in the Seattle area, you don't realize just how much of the South Lake Union area is taken up by Amazon and how much traffic it contributes to the problem.

Amazon sliced through their list of shuttles, forcing workers to buy cars in order to get to work in some cases because the Seattle public transit system is woefully underfunded, with companies like Amazon, Google, and Microsoft contributing heavily to the issue.

If I had to ballpark it, I'd say 1/3 of the smog produced every day is from some kind of Amazon or related transit route, be it from busses that have to go from Seattle all the way to the far reaches of Redmond just to cart Amazon employees to and from the office or the sheer volume of cars that clog up the bridge, 405, and 5 every morning and evening.

Amazon has been touting how "green" they are while simultaneously forcing their employees to continue coming into office when they don't have to.
Ugh, that's really bad and deserves for the company to be named. Super unethical.
I didn't call it a scripting language. Nor do I think C would be great to write scripts in either. :) I only said we write scripts in Zig. But if you'd like to call these files programs instead of scripts then that's ok too!
More context on that monetization bit is that they're apparently planning an IPO later this year.

https://www.reuters.com/technology/reddit-aims-ipo-second-ha...
I just want to play resident evil in VR because it is fun, sorry if that's existentially horrifying for you but it seems to me like an overreaction to the present state of the technology.
LinkedIn says you are no longer accepting applications
Part of Antarctica does use New Zealand's time zone:

https://brr.fyi/posts/sunset
The Cognitive Dissonance of the CEO (2018)
I have a marvelous proof that you can solve that with comptime but unfortunately the margins of this website are too small to contain it.
A VRChat-like social area like this on Steam would get a lot of my free time.
I think this is the right way to look at it: we are very quick at updating expectations.

The first flight is magic, the nth one is a chore.
It was also a running thread in Carl Sagan's "The Dragons of Eden" that a lot of the history of communications tools and writing formats is the ability to externalize memory and what that means for how we think and behave and what brain power that opens up for other things when we can externalize those memories to focus on other tasks.
I've been hoping that Valve or another manufacturer would release an untethered headset, but I might pick one up if that doesn't happen soon. I'm not a fan of the Facebook/Meta ecosystem, but I stopped using and never upgraded from my Rift due to space issues which are worsened by tethering and sensor placement requirements, and getting tangled up in the wire when turning and moving around.

How (in)convenient is streaming to it from a PC/Steam? How about from a different room, is it very sensitive to signal strength? Is the added latency noticeable?