skysight-inc/HackerNews huggingface dataset:
GEB is one of the best works of modern philosophy, I don't think the reviewer gets the point, the story of formal systems and the structures that determine them are used as an analog for other systems that aren't formal to try and shed light on the process of ontological emergence of intelligence. If you are at least a bit interested in philosophy and computation, you should read GEB at least once.
wow that app is taking a nosedive in the reviews
https://play.google.com/store/apps/details?id=com.capigami.o...

I've been curious if the play stores etc of the world would mind supporting some kind of banner or other notification for when apps change hands between owners. Something to tip them off to the fact that the app is now under new management, much like how restaurants hang banners when new management takes over a spot. Now that I think about it I wonder why restaurants even feel it warranted to notify the public, must have some positive image optimism behind it I guess or is it something regulated perhaps?
Tarantino mentioned Godard as an influence at the beginning of the Reservoir Dogs script (Here he is talking about it: https://youtu.be/F4DkfxEv7ZU). He says that the seminal moment when he recognized his key aesthetic as a director, was when he read Pauline Kael's review of a Godard film (A band apart), where Kael says in her review: "It was as if a bunch of movie mad young frenchmen had taken up a banal American crime novel and translated the poetry that they had read between the lines". Tarantino says that when he read that he knew that this was his aesthetic -- this is what he wanted to do as a director.

Tarantino called his production company "A Band Apart" (in my opinion) for that reason.

(Tarantino's comment: https://youtu.be/vb7oUEVjFjo)
Not saying either is a good strategy, I'd rather see more posts from my friends than random pages. Just pointing out the analogy.
its incredibly difficult to debug memory leak even with dev tools, I will look into this and hope it helps
Yeah it's one of those things where it's not technically correct, but it's probably correct from the user's point of view. Customers of Increase will look a lot like a bank to an end user, but they'll be 2 layers removed from the actual bank, and everything they do will mention the actual bank's name on it for FDIC/regulatory purposes.
The problem with the protruding part is that the Ethernet port itself is thicker than the laptop body itself. In this case, even if they were to go the route that some thin laptops use (hinged collapsible port), it would likely hit the table due to the thinness of the laptop.

If you put the port on a little cable, you're back to the USB-C dongle thing.
Looks like Venezuela is missing. Was expecting it to be at or near the top.
Same here. I would like to integrate a simple blacklist into our system. Does anybody know of a good IP lists that contains known bots, data centers, and so on?

Also from a performance perspective, I can't do hundreds of millions of requests a month over the wire. That just a waste.
Nah, it doesn't matter. They only care about who puts in a ton of extra hours.
I didn’t approve of what Raskolnikov did, yet I could empathize with him thanks to the writer’s prowess. I don’t see why cinema would be different than literature. The guy in Breathless was a jerk and the director failed to make the audience empathize with him.
https://en.wikipedia.org/wiki/Buffer_overflow#History confirms

The earliest documented hostile exploitation of a buffer overflow was in 1988. It was one of several exploits used by the Morris worm to propagate itself over the Internet. The program exploited was a service on Unix called finger.
(source code here https://0x00sec.org/t/examining-the-morris-worm-source-code-... )

Later, in 1995, Thomas Lopatic independently rediscovered the buffer overflow and published his findings on the Bugtraq security mailing list.

A year later, in 1996, Elias Levy (also known as Aleph One) published in Phrack magazine the paper "Smashing the Stack for Fun and Profit", a step-by-step introduction to exploiting stack-based buffer overflow vulnerabilities.

And here is "How to write buffer overflow" by Mudge (10/20/95) : https://insecure.org/stf/mudge_buffer_overflow_tutorial.html
One step closer to native async trait support! This is really a good day for rust.
I've seen dozens of them in UK and Germany. But yeah, afaik they never went on sale outside of the US and UK.
Oh that's completely not fair. Microsoft is extremely gamer friendly.

Microsoft is sitting here with Game Pass giving people unlimited access to most games in their catalog for $15/mo including 0-day access to their biggest releases. Better yet, they do this cross platform so you can play them anywhere and keep your data in sync. And, if you don't want to subscribe to game pass you can STILL buy the games.

Meanwhile, Nintendo literally charges $59.99 for games released in early 2017.
I don't think that most software engineers understand how they good they have it with access to open source software. The most apt comparison I can think of to EDA is a mathematical computing environment (MATLAB, Mathematica, Maple, etc.) but an order of magnitude more constrained.

Everything in EDA is licensed. Simulators, emulators, synthesis, IDEs, formal verification, coverage, waveform viewers, and most post-silicon tools. You work with Intel/ARM? Any tools they make are licensed, too. You can't make CI/CD pipelines when you only have 3 $1000 compiler licenses for your whole company. Your JetBrains suite that costs $300/year for dozens of IDEs? It's not uncommon for HDL IDE licenses to be >$1000 for a single user.

Contrast that to most traditional software development, where the cost is solely in how much compute you're using.

I know that open-source EDA doesn't necessarily mean FOSS EDA, but that "free" part really is what's needed here.
The benefits that it brings is the whole reason it exists: precise dependency tracking.

That means you can't have missing dependency links (very common and hard to debug in Make or CMake for example). You can know what outputs a change affects so you can only build/test a subset of the project in CI. Incremental builds become totally reliable. Etc.
I did not know that, I'll have to check next time it comes up. To be clear, I use them as a backup, like when I'm traveling and didn't bring my normal headset.
I mean, they can have ROI, but if having one saves you 90K a year and they cost 89k a year is that really the optimal way to structure society?
> commitment to the material in that depth is not the product of drugs

You think this is saying drugs sometimes lead to commitment? It sure reads like an absolute statement to me.
Reddit also, if it is deemed sensitive.
New social media appeared -> people flock -> monetization -> people leave

The implication of this is that social media is expected to make a lot of money from the number of users, but in the end it doesn't?
Traditional banks have literally decades of legacy to deal with which drags them down. Many neobanks have shown that it's possible to provide a better and cheaper service when you start from scratch. A few examples of features neobanks i use provide that traditional banks don't have - virtual cards on the fly, for free; SEPA Instant for free; Open API; smart dynamic budgeting and expense sharing.
You need to add some mainframe and minicomputer media, like DECtape, etc.
Extraordinary claims require extraordinary evidence.

For sixels to be displayed, the terminal must have support for them, and most terminals don't support sixels, like Windows Terminal. xterm has some support, but only 16 colors. But xterm is otherwise an exceptionally feature-poor terminal. I don't think anyone uses xterm unless there is no other option.

While sixels are a very old standard, lack of significant adoption and a code base that is notoriously buggy means that more often than not, the ability to display sixels just isn't there, and on the rare occasion that it is, artifacts are extremely common.

ASCII, otoh, is supported by all terminals. Now, granted, no one wants to watch a video converted into text, but this isn't the point, which is merely a method to display something on the command line, and in the case of ASCII, every command line, every terminal, everywhere and always. mplayer is not dependent on the client, so any remote client can run it remotely from the server. sixel support is the opposite; the client must have support for sixels to be displayed.

> I'm not sure why people expose themselves to something as bad and ugly in this day and age.

> I don't think you understand

> Even abstracting away your incomplete understanding of how sixels work

> I have written lots of sixel code (I've yet to see any of yours)

> tried to explain you the failure in your reasoning

FWIW, all these arguments are ad hominem fallacies indicating invalid and otherwise faulty reasoning.
Note that Caplan does have a handful of losing bets for which the deadline simply hasn't arrived yet. For example, he made an anti-global-warming bet that average temperatures wouldn't rise faster in the 2015-2030 span than they did over 2000-2015, which he has all but lost unless we plunge into an ice age tomorrow; it's just that the end of the bet isn't for another seven years.
Well, traffic is an essential part of city planning, which Cities Skylines is all about, so traffic is a part of that.

You can avoid having to spend too much time on managing traffic if you follow some "design patterns", there is a bunch of them, so Google is probably your best friend.

Although, there is a good comment on reddit that gives a quick overview, with links to more in-depth material, that might be a good starting point for you: https://old.reddit.com/r/CitiesSkylines/comments/m57lq8/how_...
Previous discussion (yesterday):
https://news.ycombinator.com/item?id=32814453
Was there something special about the house itself? Was it owned by someone special? Did your friend say why it was called that?
It's such an absolutely terrible name too. Could nobody at Typesafe come up with something less generic and soulless? Really astonishing how you can fuck it up so badly.
> buying another machine with 64GB

Well, first step: get a desktop with 4 RAM slots so if you need to upgrade memory, you don't have to buy a whole new machine, just new RAM sticks.
GATs are a really straightforward extension of what the language already has. All this means is that now a generic type can take a value as a parameter, for example there could be a generic fixed-length array, which took a length as a parameter. In the past libraries had to hack their way around this by having huge tables of types named like, "N1, N2... N16... N1003", which were passed to generic signatures to indicate to the type system how big something had to be.

I don't think this makes the language more confusing, because putting an integer inside of the generics brackets is something that previously you might try to do, if you didn't know it wasn't allowed. In fact, I would go so far as to say that this is a compiler feature, rather than a language feature, because it fills in a semantic hole that already existed in the way Rust programmers thought about Rust types. :-)
I was born in the 60s and haven't been laid off yet, including during the dotcom bust, all while working for 12+ companies in my career. The bust was the worst, though, our company went through 7+ layoffs and we were decimated, and no one did any real work after a while. Fingers crossed that I can keep this trend until retirement!
What kind of ergonomic benefit would this bring to an average rust developer who doesn't go into the depth of rust traits/type systems and just use libraries made by other smart people to develop some web service backend?
The central thesis of GEB is this: what is a self? From the preface of the 20th anniversary edition:

"GEB is a very personal attempt to say how it is that animate beings can come out of inanimate matter. What is a self, and how can a self come out of stuff that is as selfless as a stone or a puddle?"
How to Encrypt Your Git Repo with Age
Every airport with radar has active radar, so they're going to "see" you anyway even if the people hoovering up ADS-B info don't.

And yes, there are people who have cameras pointed at the sky all over the country, and with software that says "I see a plane, and I don't see no ADS-B".

Combine https://www.tomshardware.com/how-to/raspberry-pi-airplane-tr... with https://medium.com/swlh/automated-meteor-aircraft-satellite-... and you're golden.
This is a nice throwback to the form factor of PCMCIA cards for really old laptops - the original expansion card slot for notebook computers. [1]
The cards often had to stick out, whether to host a thick connector or an antenna. Here, we see a miniaturized version of that form factor...

Later, this was replaced by ExpressCard, but that never took off as much as PCMCIA cards. Back in the day, laptops came with one or two PCMCIA slots, which could be used to add full size IEEE1394, USB, Ethernet, or even Wi-Fi ports. I remember having to use an ORiNOCO Gold Wi-Fi card to get online back in the day. I had a desktop that had a slot in the front that it plugged into

[1] https://duckduckgo.com/?t=ffab&q=pcmcia&iax=images&ia=images
As someone who's working on a project right now that's full of whimsical/cryptic names (project is called Sandman, modules within the project include Mystic, Hypnos, Lethe, Morpheus, Dreamer, and Lucid), this was validating to read. That said, if my project was anything more than a solo personal project, I'd only keep the Sandman top-level name and rename the modules to things like Parser, Server, Client, etc. to make them more maintainable by others. I keep them because I'm the only one working on the project and I quite enjoy the sense of Hollywood-hacker-montage they impart me when I'm debugging.
The underlying idea is the idea of fixed points (aka spectra, diagonalizations, embedding, invariants, braids). By fixed point I mean something like the "Lawvere's fixed point theorem".
https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...

I have a linkdump on this https://github.com/adamnemecek/adjoint

I also have a discord https://discord.gg/mr9TAhpyBW
If 92% of American households have health insurance, which they do, and by law there is an annual out-of-pocket maximum on health insurance, which there is, I find it somewhat unlikely that 10% of the country will be medically bankrupt in a generation.

I'm not saying it's impossible to go bankrupt on a capped 10k of medical bills, given that so many Americans live paycheck to paycheck. But if it happens there may be confounding factors. Or, you know, it's possible people facing bankruptcy have some incentive to exaggerate to a federal judge the reason they're standing there.
To me, this seems a little odd to complain about given that all those factors were true about the equity compensation when people signed on. The company didn't fundamentally do a bait and switch or change the rules.

Layoffs suck but I found the extended exercise windows and other benefits to be rather pleasantly responsible given the situation.
In general, if someone wants to beef up the tooling in my project that I know is fine to begin with, I still say "I don't mind, go ahead, but I will continue using my old tooling until yours works with no regression." Half the time, they abandon it. I don't even know how Bazel works cause I've never felt enough pain with makefiles etc to research an alternative.

Also, Google tooling knowledge doesn't transfer very well to outside projects. Everything is special on the inside there. They use an internal version of Bazel called Blaze that's totally integrated with everything, with entire teams dedicated to the tooling, and only a few officially supported programming languages, so of course it works smoothly.
> Those do filter out military flights and anybody else who asks (e.g. millionaires with private jets).

Asked directly they try to refuse as long as they can. However, they seem to use the block list maintained by the FFA. Sign ip now through a new convenient online form [0]. The seem to accept non-N registered, too.

ADSBexchange continues to refuse, but there's still some hope. FAA adding convenience to their process shows the pressure is rising.

[0] https://www.faa.gov/pilots/ladd/request/
> I'm sorry, but that's just you being in denial

Have fun rewriting history then. Google picked Gradle, JetBrains, Kotlin, that's just the way it is. If they had been interested in Scala on Android in any way, they'd put a couple of people behind it when it came out, or at least encouraged some 20% projects. That never happened.

And it's perfectly fine. Nobody cares about the TIOBE index. Scala faces plenty enough of challenges within its core ecosystem, nobody would gain anything from targeting the Android runtime and SDK on top of that. Exactly the same way Spring developers don't give a damn about Android.

> Apparently not via investing in tooling, though?

That's a pretty ignorant comment given the amount of work that was delivered since the creation of the Scala Center.

> What do you mean?

There's a big difference between having to convert all the common data structures between Scala and Java, or simply reusing them, like Kotlin does. Plus, Scala's idiomatic usage of Option is fundamentally incompatible with libraries taking and returning nulls everywhere. Google made Kotlin first-class without having to break the entire SDK. That's a pretty huge reason Scala never stood a chance.
> The parenthesized comment is funnier to me because I had to download a specific bazel version to build.

If you use bazelisk to provide your `bazel` command, it'll download the appropriate Bazel version for the repo you're trying to build.

https://github.com/bazelbuild/bazelisk
Thanks so much @AndrewCopeland!

I should have added context (or at least an anecdote) to help you during any product roadmap meetings...I used to oversee web ops for global real estate company (one of the biggest in the U.S. and the woirld)...and our consumer-facing websites would show tons and tons and tons of listings of residential homes for sale. Of course we really were just showing listings from our data store as well as other real estate companies who agreed to share listings data. As in many data sharing and data synch arenas, there are data issues. The most common scenario: "hey, you're showing a home that sold X time ago...stop showing it!" And, in all cases it was "someone else's data". But to the customer, or even other realtors, we were the bad guys. Even realtors who should have known betteer that there are always data issues that we can not fully control; at least nopt at the source...would complain to us. Now, one might assume that once the source data updates properly, the "correct data" should flow through, right? Well, not in real estate! Clearly this is a different arena. But i've learned that even if its only to remove a local cahce of data, its a good idea to give users and/or customers a mechanism to at least properly communicate to you about stale data...and if appropriate, maybe evenallow self-service for a user/customer to get rid of the "bad data". Obviously this merits putting in place protocols to avoid abuse...but i hope you get the idea. Good luck!
That's indeed small. I'd guess that Google probably stores 4 orders of magnitude more data than GitHub.

(I was in fact asked a long time ago in an interview to estimate how much disk was needed to store Google's search index.)
No? I cringed reading it. Eating whole animals instead of individual muscles is one thing, getting to them mid-gestation is a whole other level of body horror for me.
This satirical video about microservices shows just how deep whimsical project names (and microservice architectures) can go. Displaying the user’s birthdate starts with BINGO (the service that knows everyone’s name-o) and ends with GALACTUS (the all-knowing user service provider aggregator) talking to EKS (Entropy Khaos Service), soon to be EOL’d by OMEGA STAR.

https://youtu.be/y8OnoxKotPQ
(upvoted!) can you say more about this sensibility of yours? I'm genuinely intrigued, as I haven't heard a take like that before :)

At risk of asking a leading question: is it some idea that deep truth should come from reason rather than the noise and chaos of psychedelics? (I don't do them myself, but hold them in very high regard as a force in the world)
Only in USA ? Or what
Why shouldn't it work for democracies? In what sense is maintaining a DNA database incompatible with democracy?
I'm curious if anyone has found a sweet spot for autoscaling ingress gateways in terms of CPU% saturation. I found tail latencies start to get high over 60%.
I agree, I have never actually been fired from a collapsing company, but as an intern I have been in the meeting room when a company was folded, and I have also seen a few companies collapse after I left. I'm a realy early guy, I tend to leave when the timesheet comes, so there is probably some runway left when I leave.
FB's core strength today is the boomer market. Definitely something I did NOT see coming 10 years ago. The 60+ crowd practically lives in Facebook Groups now and they will buy basically anything that they see in an ad on FB. You can sell people who are 60+ basically anything on FB if you target them. The pandemic really solidified this, and now the conversion rates are higher than anything I have ever seen anywhere.

It's interesting to me because many older FB users barely know how to use the platform and they have invented their own tricks and conventions—my favorite of which is commenting "Following" because they don't know how to follow something, but know that if they leave a comment they will get notifications about responses. I see that every day and I always find it interesting. Every now and then someone calls them out on it and they just don't care. They have developed their own memes and are probably the only group that uses those Bitmoji-esque "What's on your mind" cards.

FB can lean into the boomer market and basically print money. FB is going to replace QVC. Hell, they should just buy QVC.
Love it when companies and executives come with subtle titles like "A Note from XXXX", "A sad announcement", "Looking ahead into the future" etc. when they're nothing but just plain layoff notices.
I have to agree with OP, 12 angry men is a fantastic movie on many levels, but it really feels more like good Shakespeare than 12 real dudes discussing execution and their consience
This guy also built their new site: https://www.youtube.com/watch?v=2lmfF0k2UcU&ab_channel=calle...
> India had an agent working within Twitter

Without proof, this is pure propaganda. India is a sovereign democracy with its own laws and regulations. India required all media platforms acting as intermediaries to have three permanent job roles with proper governance structure – a Chief Compliance Officer, a Resident Grievance Officer and a Nodal Contact Person – these job roles are expected to have specific responsibilities w.r.t dealing with consumer complaints. You can read the official government brief here – https://static.pib.gov.in/WriteReadData/specificdocs/documen...

Twitter would have interviewed and hired competent people of their choice into these roles. If any motivated government/corporate wants to infiltrate twitter, I doubt they would go about it by engaging in high-profile court battles and democratic parliamentary processes to do it.
It's not that simple in my opinion. The major driver of inflation coming down was ironically energy/oil. What was unexpected was that inflation increased in many other areas. Most things went up in price from what I can tell.

So I'm still optimistic and on the fence, but we may have a more stubborn problem than war in Ukraine and supply side issues.