skysight-inc/HackerNews huggingface dataset:
But they also have airplane/flight specific identifiers like “flightNumber”, “flightId”, “noseId(?)” and “airSpeed”. Maybe vehicleId is part of a base class or primary key somewhere and that abstraction is leaking.
Considering this is a collaboration, don't you think the agreement between them has something about feeding data back to Meta?
You said that "Court admissible evidence is more likely to turn up when it's front page news and people are digging" and then used this as an example. I'm asking because it doesn't seem to actually be an example of what you're claiming.
Snap has 397 million DAU, up 14% YoY. They're far from irrelevant among young westerners. They just have a remarkably weak business for their scale.

https://investor.snap.com/news/news-details/2023/Snap-Inc.-A...
Nothing sadder than 30' of remaining strip to the side of the road and clearcut from there to the horizon. If you're on the road you don't even see the difference but ecologically speaking it's a disaster.
Type theories usually come with a reduction relation on terms. It computes things like β-reduction for function, inserting arguments into function bodies, computes projections out of tuples, etc

A normal term is one where no further reductions can be made. Without type-in-type you can prove that all terms can be reduced to a normal form. With type-in-type some terms normalise while other diverges.

In fact, using type-in-type you can define the fixed point operator and do general recursion!
Or it may require a large order up front.
Wow, USD $50 for that book. It better be life-changing.
Thankyou for being correct and wonderful, as always. I was more aiming for the hyperbole crowd though man.
Planes report pressure altitude via their transponders. 20-30 feet up and down is very normal for an autopilot.

GPS altitude is used for vertical guidance for certain types of GPS approaches (i.e. "LPV" approaches[1]) and requires the airplane's avionics to be equipped with a WAAS[2] receiver that provides accurate altitude information.

[1] https://en.wikipedia.org/wiki/Localizer_performance_with_ver...

[2] https://en.wikipedia.org/wiki/Wide_Area_Augmentation_System
For me, it's because you expect a mature discussion when it's philosophy and not some immature US-News shouting contest.
I think this is more a matter of familiarity and habit - notice how there are several slightly different definitions of exactly what 'codegen' means in this thread alone. It doesn't really have some super-specific meaning, it's not, dunno 'lexical scoping'. It's still just shorthand for 'code generation' and it's not unreasonable to apply it to, well, most automated processes that generate code.
This is bullshit. He unequivocally said that the refugees were lying for the benefit of the US. Chomsky is always quick to shout that anything short of the literal Holocaust isn’t genocide and doubly so if a leftist regime is doing it. He was then and always has since minimized crimes against humanity in one direction.
Thankfully your link directly points at the bottom to: https://climate.nasa.gov/explore/ask-nasa-climate/2949/why-m...

I would btw agree that a 2 long observation can also be totally attributed to global (!). The weirdest thing is actually might see also areas in Europe getting colder due to global effect (more freshwater in the Arctic).

We need to a way to reduce CO2 and other greenhouse gases in the atmosphere . Maybe alarmist articles do their job, then they are good.
On redeye international flights with exorbitant WiFi fees I'll admit to scanning for MAC addresses, get the top talkers, then come back later when ones been idle for like 15 minutes, presuming the person is asleep and change my mac to take the address and get online.

I just did it for fun, ok fine.
Inxidents, a minimal monitoring app with alerts and real-time dashboard in Go
So we've replaced one whitespace sensitive language for another.

My editor tells me when I'm doing something stupid with Make whitespace. It's impossible to do the same for yaml.
Sure for me I fly out of a major hub (Baltimore Washington International) and Spirit flies pretty much to every US city from there.

One thing bad about spirit is their extremely horrible refund policy .. their seats are a bit smaller but not by much.

Thus far in my ten recent experiences flying Spirit with clothes & travel necessities in my book bag has saved me lots of money and my flight experiences have been the same to even better compared to Dekta, United, Alaska or Southwest. Thus the first place I now go to book a flight is spirit due to my experiences and flying out of a major hub.

I hope JetBlue doesn't get the chance to buy them out ... Spirit allows a lot of ppl who couldnt afford to fly enjoy a benefit all should be able too and for me i like saving money!
Yes, all the proxy companies of the 2000s realized that the "Private" in "Virtual Private Network" makes for good marketing, so they all rebranded themselves as VPNs, even though they have nothing to do with actual VPNs other than using OpenVPN / Wireguard for their proxy transport.
At this point I'm kinda glad Samsung has already patented the "use a builtin camera to track how many people are sitting in front of the TV" tech, because otherwise I'm very sure we'd soon be seeing it in every new device with a camera.
Not really, the small size adds the need for all kinds of adapters to have the same functionality.
FWIW I lost zero airpods so far, but they all got terrible batteries and busted speaker elements.
When I went to college in the 90s, the gave us a breakdown of tuition costs. Half the cost was crap the student government wanted.
I'm not disagreeing with you. I fully understand why the code can't be incorporated as is. Then again, workarounds were found for things like the proprietary nVidia drivers, and the unwillingness to do so for an arguably far superior filesystem reeks of NIH.
Never seen anybody refer to chatgpt code as "codegen".
Had to laugh my ass off the first time I heard a Postman ad.

I was like, are you serious? An API testing tool being marketed to people for production purposes?

The moment they started cutting local state out of postman and pushing business customers to use their cloud offering, I was like, "Ah hah hah, nope".
The legibility argument.

What if I told you that C-style syntax can be formatted to use indentation exactly as you prefer?
The site which lists available COVID vaccination times for this region of Sweden does not work in Firefox but does work in Safari: https://www.vgregion.se/ov/hitta-vaccinationstider-vgr/vacci...

I don't know the reason for the Firefox failure.

The Adobe site https://new.express.adobe.com/tools/generate-qr-code# says it does not work with Firefox, but if I change the User-Agent it does work.

I ran into both in the last month.

Your experience for most of that decade was when Firefox was much more widely used than it is now, so had a higher support priority.
Use Cloudflare Tunnel to connect to Cloudflare. Don't open your firewall. That feature is coming.
Yeah, if this were something that I wanted to leave running for more than the duration of a flight, I'd reach for cron, but a bash one-liner was perfect for this use-case!
The last time we think Earth was completely ice free was 35 million years ago.
What if in the future, the state, due to dwindling population growth creates humans from engineered eggs and sperms? The reasons to do this are obvious, no population, no growth, no profits.

Also, what if, they engineer these "artificial" humans to die preciesly when they reach a particular age? The state can then accurately predict retirement benefits, design infrastructure, distribute benefits more uniformly
google is an innovator but they don't really stick with things if they're not immediate hits.

meta has privacy concerns but they've made a name for themselves in XR so this move isn't out of nowhere and with apple joining soon it's more normalized. apple wants us to strap a hmd to watch our kid blow out the candles
56 million Americans unknowingly exposed to secondhand smoke
A pretty obscure branch of mathematics? You've got to be kidding me. I don't understand HN's fetish for category theory either, and I find it rather weird - I'll refrain from even less charitable words. But as an actual professional mathematician... no, it's not an obscure branch of mathematics.

You don't believe me? Read the ICM proceedings https://www.mathunion.org/icm/proceedings and count how many times the words "category" or "functor" appears. And notice something very special, too: you'll find articles that are not about category theory per se, and that will still mention categories. And you know what? They don't even explain what they are. You know how that can be? Categories are so pervasive in mathematics. You wouldn't write an article for the proceedings and explain what a group or a vector space is, would you? Well, same for categories. It's a basic (in the original sense of the word) part of mathematics.
Affluent people in my country are already pivoting to Sweden for their wintersport vacation. They'll go to Antarctica if that's what it takes.
It might be naive but I imagine training students to make improvements to weapons systems increases government support of universities and training students to criticize the government decreases it.
"Algae-based blocks could make for a more sustainable building" (2023) but what about LEGOs?
https://news.ycombinator.com/item?id=37693225
Related: https://news.ycombinator.com/item?id=37688363
He was definitely one of the best actors that I've ever watched in my entire life. When I learned the news, I got very sad like my grandfather passed away. R.I.P.
VNC is dog-slow compared to RDP. RDP is slow compared to xpra. What xpra does is sending a h.264 video stream (some other compression algos are also available). Also, xpra can forward the whole desktop as well as single applications. Far preferable to any kind of RDP server.

However, the xpra client is somewhat strange and inconsistent when it comes to CLI/UI behaviour.
A while ago I built https://github.com/mfinelli/cui because I wanted something like postman that ran in my terminal. It's a little rough around the edges but it does the job for me
Yes, and it's a death spiral since the university presses could, in theory, provide some competition. Can't/Won't invest in alternatives => lower competition for the parasites => higher subscription costs => less resources to invest in alternatives.

Academic libraries and publishing are effectively being privatized and will be dominated by ever more rent-seeking. I don't see this getting turned around unless universities dictate to their faculty where they can publish, i.e. stop subsidizing their competition.
It is a bit more concrete and has no reference to Taoism unlike the other shared recomendations, but I also enjoyed Kahlil Gibran, The Prophet. To me it is in the spirit of the Tao. Finding the balance and harmony and not declaring dogmatic truths.

(but it is a imaginary prophet sharing wisdom, so there is maybe a association of dogmatism, but I did not perceive it like that)
it is undesirable, because it is indicative of climate change which will negatively impact humanity

a better number of glaciers is however many would indicate climate change which positively impacts humanity, or a lack of significant climate change

philosophical stoned-speak about nothing staying the same and stuff going in cycles doesn't change the fact that this is an indicator of current and future climate bad for humanity
One cool thing about this guy is that he was riding a train as a young man and happened to make a good impression on another passenger. The other passenger was a manager at an oil company and was offered a job.
Yeah the article seems to address a question that no one is asking, unless maybe upper management.
Oh, lord. This for two paragraphs was an interesting article --- is there something political or controversial about deuteranopia? But, no: it's just a culture war appeal.
An always plugged in port risks damage and a damaged USB port makes your phone a brick, not so for an analog port that is inarguably more resilient.

Every major vendor's earbuds and most of their headsets aren't battery-replacable. This complexity moves outside the phone and onto the user when all of this was handled reliably by "lesser" hardware of yore. None of this makes Bluetooth headsets an impossibility.

SD Card upsells are so obviously upsells, come on. Yes using shoddy peripherals can lead to a bad experience and they're replaceable for a reason. You seem to be going out of your way to bias the corporate position. Using low quality batteries risks far more, should Fairphone epoxy their batteries in to save the customer from that too?

Killing of the aux port was an Apple signature move. Whether or not the case looks like Samsung is not the true legacy of this courageous stance.

This just seems very evasive.
It's still sea-level. The transition altitude just changes the altimeter setting from one that matches the current air pressure to a standard pressure setting.
>...instead of being effectively a trust growth hack for startups before the need to generate revenue inevitably leads them to turning the screws one way or another on the beloved community that helped them grow.

I totally get this. Pulling the rug out from users definitely feels a bit grimy.

I'd like to think most people are generally good, and in that light wouldn't it be worth considering that companies or people who do this are just approaching the market wrong? Incompetence vs. maliciousness. If they are transparent from day one about what will be free forever, and what will eventually be paid, then I wouldn't consider that shifting on their community.

That assumes they are true to the roadmap, and make adjustments based on feedback and contributions.
It feels like it’s time for Quora to sunset.

It had it’s moment and that moment was glorious, but now as Dr. Kelly Starrett says “You can’t make a bad position good by shoving it in to a good position. You have to start over.”
Titanium Neuralinked Yarmulke
Fortnite Russian pro denied $200k after winning FNCS Major
Which makes estimating this particularly tricky (and pointless) because there's no obvious point at which a mass of ice turns from "glacier" to "not glacier". Better to pick something erring far towards "totally obviously not glacier" as a reference point.
Sports are very heavily reported on, for many reasons. In some states, a university football coach is the highest paid public sector employee.

Do we really know what else goes on behind closed doors in terms of donor pressure?
Creativity Support in the Age of Large Language Models: An Empirical Study
And it's people who believe in caste distinctions who attempt to create them and make them hierarchical.
Oh, you can touch type emoji and symbols today. There are all sorts of interesting Input Method Editors (IMEs) for them. Since Windows 10 there's one by default in Windows if you type Win+. or Win+; (whichever you prefer). You can type and it will filter the emoji by name. It's not quite as nice for mathematical symbol entry, but it does include them (on the tab labeled with an Omega) and is still better than many other input methods for them. macOS has a similar out-of-the-box IME (Control+Command+Space), though it differs on the amount of math symbol support. Linux's most used IME subsystem `ibus` (specifically `ibus-emoji`) if correctly setup should also by default provide an experience for emoji (Super+. like Windows). There are third-party ones as well for most platforms.

Emoji is not just for tap-typing/swipe-typing mobile users. (Also, I think it is really handy as developer to learn your local emoji IME: including emoji in test data is really handy for checking unicode safety in your applications and regularly using any IME at all while in your applications helps you test some accessibility issues that might affect users that must use an IME for there language such as CJK languages and Braille writers and more. English software developers get to overlook a lot of how languages around the world work and can easily break accessibility needs with bad assumptions and it is great that emoji are a grand field leveling tool to bring those experiences to us English speaking developers in a way we can easily "read"/"write".)
>"What if"

replace it to "when". Hopefully we can avoid it and use the tech to fix health problems for existing people
HN mostly doesn't have JavaScript. I think vote buttons and the collapsing comments are the only things that are JavaScript. Everything else is HTML and links.

I don't think it makes a functional difference, except for "more" links instead of universal scrolling. Just like can't tell between static blog and dynamic blog, can't tell between static HTML and dynamic JavaScript. I would say "web app" is where download JavaScript, and the JavaScript builds the page.
I think we'd see the paralax being all weird as well.
To add to this, there are two kinds of sharing.

Sharing the parameters, filters, etc.

Sharing the results.

They can both be very important.
It's weird to hear Foucault described as "amoral" when he himself claimed to be a moralist [1].

What is meant by moral relativism in this case I think is merely that morals do not come to us handed down by God or Nature as Chomsky claims, but are a constant choice made by people over a potentially infinite range. But to assert that the morals don't come from God is not to say that morals are not valuable or worth having.

As Foucault puts it, "What is good, is something that comes through innovation. The good does not exist, like that, in an atemporal sky, with people who would be like the Astrologers of the Good, whose job is to determine what is the favorable nature of the stars. The good is defined by us, it is practiced, it is invented. And this is a collective work."

1. http://www.critical-theory.com/read-me-foucault-interview-in...
https://en.m.wikipedia.org/wiki/Logan's_Run
1951 Bell's Guide on How to Use a Rotary Dial Telephone
I don't have an authoritative answer or enough information to form a complete opinion, but getting BTU/h or kW (depending on if your country went to the Moon) out of the petroleum byproduct may be a better way to reuse than the green wash of the fantasy of recycled plastic.

The mining/drilling energy overhead is already embodied in the material, so it may be better not to waste that by burying it instead of getting some useful energy out.

The plastic container diverted for the bicycle pannier market isn't likely going to do anything to dent the flood of plastic waste.
It's not anticompetitive because they aren't restricting competition off their platform. They are simply stating that to participate in their marketplace you must adhere to a set of rules.

It is no different than Nike, who requires no discounts on specific products, etc. Amazon isn't prohibiting selling on non-Amazon platforms. Amazon is prohibiting undercutting them if you choose to sell with them.

How is that anti-competitive?
You cannot "secure" the internet by centralizing all the traffic into a specific place. Internet meant to be decentralized by its own nature. Cloudflare is just one of the companies which is trying to monopolize the whole industry by the partnerships.
And what if we are already the product of this process from a long forgotten empire?
I've seen things you people wouldn't believe...
FAs can be really strange about that kind of stuff, not just out of ignorance.

My kid liked to suction cup his GoPro to the window to take a time lapse movie of the flight and one FA told him he had to take it off the window because he was, and I quote: "modifying the structure of the aircraft and that's not FAA-approved".
>Also, what if, they engineer these "artificial" humans to die preciesly when they reach a particular age?

Pretty much a science fantasy, but what stops the population from engineering it back?
I think you may be overly hung-up on the wording (not that the wording isn't important; another reply to my comment suggested a wording I like better); I'm trying to engage the statement with the sentiment I believe it is trying to convey, which I think is different from the sentiment in the statement "ignorance is bliss" and is more of a sentiment against pedantry.
I have been using Android with NoRoot Firewall. I aways use Gboard, really amazing keyboard software. The first time I let it "phone home" so it downloads whatever it needs for multiple languages. Then I block it with the NRF and it never phones home again (ET sad):
> do these no-code solutions have other advantages

No.

I have some experience with low-code work flow -esque tools. BizTalk, Talend, SeeBeyond ICAN / Sun Java CAPS, a few others.

Categorically, they're an angry 800lb gorilla sitting between you and your work.

Their sweet spot is demos for PHBs. Their purpose is to create a lifelong dependence on the consultants proposing these tools.

All of the many legit criticisms (leaky abstractions, poor version control) boil down to this one simple truth:

At some point the tool won't suffice and you'll have to drop down to code.

Which is likely buried under layers of XML obfuscations. Now you have two problems. (h/t JWZ)

So what started as a very simple data processing problem {1}, requiring nothing more than some scripts, has now metastasized into: schema compilers; magical error handling; wrangling XML thru ancient textarea forms; fighting yet another framework/API {2}; debugging thru trace statements and grepping logs; some almighty backing database which no one can access; endless fruitless conversations with nominal DBAs about indices and workloads (and "has anyone done a backup?").

On the bright side, some days you can actually manage to fulfill a customer's use case.

--

{1} Input - Munge - Output. Cut & paste strings, some light type coercion, modest value mapping.

{2} Another greenfield half-baked zero-validated notion of the world's greatest workflow engine ever, belched forward over one long kids-free weekend by an esteemed principle senior software solutions architect (they wrote a book!) who is now deep into their mid-life crisis and way past burnt out, with a code base now maintained by a fearless project manager (and aspirational future VP of product) snagged from some travel related startup, with the mandate to deliver some results, so then reluctantly brought in a team of agile mercs, just to appease the over eager execs, who are trying to fast bulk up to legitimize their efforts to secure another round of funding.
> no cure for long covid

???

Long covid is a persistence of symptoms after covid has run its course. Likely due to lung damage sustained. Assuming that such a blood test would be available or even useful, why would a persistence of symptoms divide society?
Are they still friends with you? Are they still returning your calls?

I've been coding for 15 years, but on my NAS I still use the Synology reverse proxy so I don't have to deal with Traefik and self signed SSL.