skysight-inc/HackerNews huggingface dataset:
> But my initial take on Godel’s belief here is that even if he is correct,

He was/is correct about many things, but not about the afterlife. It's just because some people are so lucky to see the face of god by deep and hard mental studies, they believe there is such a thing. And if you have been told all your life that is reality and you 'saw' it, why question it?
I'm a developer on Upwork, off and on between my own projects. So far non of my own projects have really made enough money to be able to hire help. I always meet the technical requirements of jobs I take on there because I select them very carefully.

You can give me a rough idea of what you are trying to build or send me the spec and I will be happy to analyze the feasibility and budget and try to predict the outcome. If you don't want to write in here then you can send it to runvnc@gmail.com.
Why is this Apple's fault that they've built their devices from the ground up to work seamlessly together and other companies haven't? A competitor is free to make their own version of air tags that work with Android phones.
Well it's not going to get better now that Euston's HS2 expansion has been functionally killed.
Oh if we're talking about metro area population, then the EU route is also significantly higher (for example, Paris goes from 2 million to 13 million). I was just looking at city limits in both cases.

Honestly I agree with your sentiment. We should connect all these urban areas with passenger rail. But I don't think that this is the first step. Most American cities have atrocious public transit, which needs to be fixed first. No one will take a train from Chicago to Minneapolis if they just have to rent a car once they get there anyway. It would be a shame to invest billions in connecting cities with high speed rail, only to have low ridership because it still doesn't compete with flying/driving.
Humans are "special" in the sense that at least in genesis god creates humans in his own image:

"And God said, Let us make man in our image, after our likeness: and let them have dominion over the fish of the sea, and over the fowl of the air, and over the cattle, and over all the earth, and over every creeping thing that creepeth upon the earth."

More simply, if you're creating a moral system that values human life to prevent a number of bad things, it's useful to put humans apart from other beings, so that you can justify commandments like "don't kill yourselves please" at the same time as the people being commanded see all other animals killing each other, and themselves need to kill other animals for survival. Put more bluntly, how do you get masses of uneducated people to not behave like animals? You tell them they are special, and definitely not like animals, and you hold them to a higher standard.

Most of everything in the bible at least is used as an illustrative reason to guide you towards some specific behavior. If man isn't made in the image of god and isn't special there's a bunch of things in there that get harder to demand or explain.

In post modern philosophical thinking, there's a reinvention of nature where animals are more "all the same" and should have similar rights to humans, should not be killed etc, which is part of the wider movement to treat the whole earth as our home and to see humans as a part of a wider system rather than special.
Your comment is the flagged dead one. You can see it with or without showdead on. You can tell it is dead by trying to reply to it yourself.

CharlesW was the one I was responding to who had thought your comment was deleted when it wasn’t. I was clarifying for them (and others) that the comment had not been deleted. I honestly have no idea why this confuses you.
I'm not suggesting removing the key, merely that every OEM who dares to ship windows being required to place a 3rd party key is myopic.

It can even make the laptops/PC's look dated if the OS logo changes.. which has happened.
remember how Bloomberg journalist got bonuses for moving the market (it's on wikipedia, search yourself)

this is a test. they publish this on a Friday to test if the btc numbers will go up, when markets are off. they want to validate/signal they can move markets in btc too.
One of the biggest "steps" I experienced was when SSD'd first came around. Suddenly "slow db queries" ran at light speed instead of taking 5+ seconds. It was quite physically noticeable and now it's not. You have to run EXPLAIN on everything to be sure.

Going back a bit further, I fondly remember my dad yelling "did you PARK the hard disk?" whenever he heard me power down the old TRS80 with "state of the art" 5 meg HD physically bigger than my first PC (which had a 40meg HD - dad was jealous). If you didn't manually issue a park command, the read/write head could flop around and cause damage if you bumped or moved the HD.
For late-stage startups like this, RSUs are common instead of options. Because stock is issued rather than purchased (like an option), I don't think this is dishonest. (If a company valuation stays flat, stock options are worthless - but RSUs have value).

Either way: A thing to keep an eye out for is startups that describe the compensation value of stock using the preferred stock price, but then issue you common stock. I've personally seen one late-stage YC company doing this - you sign the offer letter with $Xk in stock, then the paperwork shows up later with $(X/4)k in the grant.

If a late-stage startup is including stock-based compensation in this number, I think it's likely they are pricing the stock inconsistent with its class in the 409a valuation. Keep an eye out for this - I think it's a common and dishonest way to boost perceived compensation.
Ok, that was way cooler than expected.
The only user data required right now is either an email or mobile number, which gets verified using a code that gets sent to the email or mobile number used. The working assumption is that any consumer of this would use it alongside their own database, so there's probably no need to store anything other than the email/mobile (or username in WebAuthn terminology, this doesn't technically need to be an email or mobile, but I chose to do this so I could add a verification step to help prevent abuse of the system).

The passkey is created by the user's device and then the public key part of it is sent to the server during user registration.
I'm surprised this isn't the top comment. I'm all for the benefits of this tech, and hadn't even thought about the airbnb style implication.

People didn't like that Google Glass could always be filming, now we don't even have a physical camera.

Rayban/Meta (I believe) have a sensor to detect that the wearer has not attempted to cover the light which shows that the camera is in use, but how will that work when every piece of glass is a camera.
This is a fabulous app for just writing (I know really simple but that is good stuff). It makes me really wish there was a portrait keyboard case for the iPad. (nobody does those, not even reMarkable which makes me sad)
This highly depends on the use case and software involved.
are you sure that X years ago airlines didn't fly 30 year old aircraft as well? only those planes were 30 y/o *at the time*?
They seem to be giving preferential treatment to the apple watch:

"Users of Garmin devices have complained in Apple’s support forums about being unable to use their watches to reply to certain text messages from their iPhones or tweak the notifications they receive from the iPhone that they have connected to their watch."
An interesting related discussion to this WebDAV/SMB backed user space FS was the NFS backed user space FS that came up a few months ago on HN https://news.ycombinator.com/item?id=37573679
Android is not the reason they won't message you, The lack of iMessage is. Nobody I know cares what kind of phone you have. But they do care if you have iMessage or not.

Lack of iMessage essentially breaks group chats. So if you don't have iMessage, and everyone else does, you will intentionally not be added to the chat.

Lack of iMessage also means sending videos to you is going to take additional steps compared to other iMessage users. So they likely just won't send you the video.

Over time, the additional steps required to include a non-iMessage user, means you will receive less messages from your friends.

I don't like the situation, but that's how it is. If the majority of your friends/contacts use iMessage but you don't, then you will be excluded from chats. Not because you use Android, but because it is just more difficult to include you without iMessage.
I'm also puzzled by your statement about popovers; UIKit has supported them for a long, long time.
Eas London is getting a "bus replacement rail service"
This doesn't seem to match what I sparsely remember about USB HID; At least on my computers I remember Super generating SUPER_L (wayland) or VK_LWIN (w32) - E0 5B scancodes.

At least on Linux you can have bindings CTRL + ESC and SUPER_L be different things if you want.
BYD starts construction of 30 GWh sodium-ion battery plant in China
I don't know, but I must say that in Elixir, I really enjoy the built-in formatter (https://hexdocs.pm/mix/1.14/Mix.Tasks.Format.html).

It really is a non-event in most codebases I've worked with. Really happy that this exist and is a core aspect of the language now.
Not really. The only suggested difference is that you "need to do something special to get a stack trace out" in Go, but that one is not even true. There is nothing special needed to get the stack trace. I suspect he is confusing exceptions with errors, the latter of which have no need for stack traces in the general case, so you would need to do something special to include the stack trace in an error for your special case.

There is more content in the thread, but not about exceptions. So, with that, here's your time to shine!
It's never going to be like it was in college. People don't pay you lots of money for that.

I can't tell you whether to stay or leave, but you have to understand that any job you land will be a job, and someone else is going to be in charge of the what and the how.

Also, please don't spend all of your free time coding. By all means do a bunch of coding in your free time. But do lots of other stuff too.
Embed Workflow | Full Time / Contract | REMOTE | LATAM | https://embedworkflow.com

Embed Workflow is an API-first company bringing a native workflow builder to our customer's end-users. We are a lean self-funded team looking for strong ICs to round out our early engineering team.

Frontend engineer (React/Vanilla JS) - https://embedworkflow.com/careers/jobs/frontend_engineer

Product designer - https://embedworkflow.com/careers/jobs/product_designer

For those applying: Please include "HN" in the subject line
> You seem to be a person of faith, there's no arguing with people of faith.

Can you describe the methodology you used to determine that this is necessarily true, with zero exceptions?

> I just understand the limits of what we can actually know...

Ah, a perfectly rational human....this is like the 50th or so I've encountered this week!

Careful...faith is fundamental to human consciousness, and cultures, it comes in a wide variety of forms, and those who suffer from it typically are rendered unable to self-diagnose.
By car you'd notice, but that's mostly because suddenly the car goes quiet upon crossing over onto the smooth asphalt of the Dutch snelwegen. (Despite being neighbouring countries, the contrasts are often interesting.)
I don't even know the priority between && and ||. If I'm using both, I use parentheses just so it's more explicit. "a && b || c" should flag a linter, IMO, with "(a && b) || c" or "a && (b || c)" being required.
Can't get with the recommendation to run perf monitors. These displays irritate me with their constant movement. When I want to know what's up, I run dstat, htop, and friends. Most of the time, my screens are calm.

Performance requirements should be covered by tests. Relying on the dev to notice is a form of manual testing. Nice if regressions are discovered that way, but don't rely on it.

On the flip side, I once had a mainboard where psu noise leaked onto the audio path. The little chirps were only audible when it was quiet and gave me nonintrusive feedback on the activity level of the hardware. I still miss that board.
It sounds like we just have pretty different experiences, both in the city and suburb. Maybe are differences are embedded in the definitions.

When I think of urban, I think of apartment complexes and townhouses near mass transit. When I think of suburban, I think of detached single family homes with wide tree lined streets.

When I lived in the city I didn't know my neighbors. People basically left their apartments in a rush to go somewhere else. I had very limited personal space. BBQing meant spending time on a small cold concrete slab serval stories from my unit, or hauling BBQ Supplies to some central park.

When I moved to a suburban area, I was greeted by flyers for pot-luck block-parties. My Neighbors are friendly and we have dinner and go for walks. One gives me fresh produce, and another gives me fresh eggs. I can walk/bike quiet streets, and am still within 1/4 mile of a strip with groceries, and a couple restaurants. It is suburban AND walkable. I have a quarter acre lot for the price of at 1200 sqft apartment and a 200 sqft yard.

My hypothesis is that because costs are lower further from the urban center, home-ownership is higher, people are more invested in their neighborhood, and more interested in cultivating positive relationships with those in it.
ladyada made a board design that incorporates a class-D amplifier chip, it's open source: https://www.adafruit.com/product/1752 https://github.com/adafruit/Adafruit-MAX9744-Amplifier-PCB

I'm not sure which is the hard part you're referring to- implementing the amplifier itself, or the board around it. I don't think an amateur would want to build their own class-D from raw components except for pedagogical purposes.

(i've been pretty happy with the results, I used the board to drive a couple speakers and the amplifier is not the first thing I'd fix to improve the audio quality.
Fixing the company sounds good, but you have to remember that the people who would be fixing it are the people who got it to this point in the first place.

I think it's very likely that nobody currently at Boeing has the ability and willingness to make the kinds of changes they would need to make in order to become a functional company again, because Boeing has spent over two decades systematically purging senior engineers from management and leadership in order to become another crappy company full of empty suits with MBAs, who don't understand the product they're making, and don't care if they're literally killing people and the company is rotting out from under them as long as they can monetize the rot to make their quarterly numbers.
If you're price sensitive and don't care if you end up with a desktop, used M1 Mac Minis are in the $300 to $500 range. You don't have to spend 3K.
Gamers like me have known this for ages. The reason I am in IT is that I save money and built my own desktop from parts. Even now its waaaaaay better in price to performance, you can freely have any peripherals you want, any x86 OS etc...
Not just javascript but also the rendering engine
Apparently the number is finite.
Borland Delphi - My first programming language. They had a significant discount for students.

Encarta (used) - Never used it much, I got it pretty cheap. I was so impressed by the amount of information available on 1 CD

Corel Suite - Also cheap, I believe it came with WordPerfect
Supporting insertion order is straightforward (but has some trade-offs) - you store the values in a backing array or linked list, and the hash table array stores pointers to the values.

You could do something similar with a sorted data structure backing the hashmap to get sorted order (a b-tree or something similar).

You could have the hash function preserve order at the cost of it being a very bad hash function. If you had n buckets, then the first 1/n elements in the keyspace would map to bucket 0, then next 1/n elements map to bucket 1, etc.
And one or more of those is probably going to be the long-term fix. However any change like this also needs FAA testing and certification, and enough design and review to be sure the changes don't introduce other new problems, all of which will take some time.
if you can install whatever app you please without asking permission, you would have a better platform.

(I would love to firewall my phone - especially against apple)
It doesn't gain anything back, what are you on. Before landing it has to shed all the speed it gained that was needed for the ballistic trajectory. That energy is lost. Orbital or suborbital flights will never, ever be competitive to flying with regards to required energy expended.
> I've actually gotten into inadvertent fights with people over undelivered SMS text messages.

Oh, man.

Thankfully I haven't had an undelivered text in over a decade.

But back in the early-to-mid 2000s, it was maybe a 5% failure rate in the country I was living in then? With no indication.

And yes it really did cause arguments with romantic partners. There were times I had to pull out my phone and prove I'd asked/invited/told them whatever. But it's not like that ever really fixes the situation either.

But if you asked anyone to confirm they'd gotten your message you seemed paranoid or needy.

You just couldn't win. So much friction.
I cannot say for Spain, but for the Eurostar it has been like that for quite a long time and it is related to the Schengen area border. The checks are made on boarding, so in Paris, Lille, London, Brussels, and Amsterdam before they started refurbishing the station (I am not sure about seasonal destinations but I can’t see how they could avoid checks at some point). It is not an example of increasing security theatre.
I saw some people wondering if there will be more shows - my kids use the iView app and a VPN to watch Bluey (which has been handy to get access early to new episodes!) and they've been advertising they'll be doing a long-form 28 minute episode this year.
Does this work if the drone(s) are automated and don't need an operator or to phone home?
Drogo- Play and Make Friends
If "push a button within five minutes of ice disappearing or die" is a design feature of the 8 or 9 I wouldn't want to fly in those either.
It means there's a meditation that is supposed to provide direct spiritual realisation. As this involved a transformation of consciousness, it was known as alchemy - change.

However, historically the instructions were kept secret and shared using coded language. All that philosophers stone business, changing lead into gold etc. But they were just symbols which basically refer to sexual energy and consciousness.

Here's an example of some of the symbology from the Taoist tradition: https://www.mantakchia.com/inner-alchemy-level-iv-lesser-enl...

So, as far as someone like Newton was concerned, a quest for direct spiritual experience rather than just belief makes sense. Some of us just have to know.

This experience - raising the kundalini underpins most major religions IMO. A simple look on reddit should convince you this is a very real phenomenon [1]. Gopi Krishna is the canonical case illustrating the dangers, which is likely one reason the meditation was kept secret.

[1] https://www.reddit.com/r/kundalini/wiki/warnings
> it seems to be impossible to see which number a messages has been sent from

If you tap on the contact at the top of a conversation, then on "info", there'll be a "RECENT" tag on the source of the most recent message.

(Now, admittedly, this won't help much if they're sending from an Apple ID rather than their phone number but it might work sufficiently for you and your conversations.)
can you block any site you want (without restrictions), or modify we pages on the fly? I don't think you can.
I'm mostly interested in upgradeability and the cost of parts. With Macs I'll just have to buy totally new Macs every time to upgrade, but with a PC I can swap out RAM, SSD, GPU, etc however I want for a fraction of the price that it costs to upgrade Macs.
If they would have allowed alternate web engines and excluded google then google could have easily sued the crap out of them. As it stands they can viably say it's for OS integrity and security by forcing everyone to use the say "guts"
> His rationale for belief in an afterlife is this:

> If the world is rationally organised and has meaning, then it must be the case. For what sort of a meaning would it have to bring about a being (the human being) with such a wide field of possibilities for personal development and relationships to others, only then to let him achieve not even 1/1,000th of it?

Far from my petty mind to challenge a great thinker like Gödel, but I don't follow this line of thinking.

First of all, the world being rational is a property humans ascribe to it. On an atomic level matter follows specific rules, yes, and we extrapolate a certain order from this on a higher level. But I don't see how any of it can be defined as rational, or having any sort of deeper meaning.

Even if we assume that to be true, why would that be a reason to believe that humans are expected to deliver some sort of "meaning" to the universe? And why would that entitle us to immortality? This all sounds deeply egotistical.

> Only the human being can come into a better existence through learning, that is, give his life more meaning.

I wonder what Gödel would think about modern AI. As we have found, learning is not a special ability of humans, and can, in fact, be simulated. That on its own doesn't grant eternal life, though AI certainly has more chances of survival, not being bound by our fleshy meat sacks and all.

I don't know. I'm not well read in philosophy, and my only exposure to it was during a semester at college, but this particular philosophy reads like someone trying to bring peace about mortality to their elder mother, and not like a fully fleshed out line of thinking. Which is fine. Life is indeed strange and confusing, and we should find peace in whatever way we can, but maybe there's a reason why these thoughts were never made public.
If you define everything as genocide, than of course genocide is everything. 'Keeping a population fragmented' is so vague it's almost everything, except genocide which requires killing people.
That's a really good clarification, thank you. I didn't know this!
Fast-rustup – an experiment with a different architecture for Rustup
I get the motivation here, but it seems like the people who came up with the "solution" are using an outdated mindset vs those who came up with the "problem".

One, large, central weapon against a swarm of hundreds of small ones? It's a deadly assumption that an entire swarm would come from one direction, for example. Or that it would appear all at once. I'm sure volumes will be written about the strategies yet to come, but if what we've seen in the 20 years of occupation of Afghanistan and Iraq is anything to go by, asymmetric warfare is very effective at tying up resources.

Watching what the twichy youngins do with FPV drones gives me the heebiejeebies -- this has already transferred to battlegrounds in Ukraine, with some serious impacts (no pun intended).
> You don't have to be in Japan for QoL.

SNCF is the absolute worst in term of customer service. They even consider that a train is on time if it's less than 15mn late on almost all TGV lines [1]. And if they provide a bus as an alternative to your cancelled TER (local train), they won't refund you at all whatever the time – that's from personal experience.

A Shinkansen is late from the first second behind schedule, and Japan Rail will apologise if a train leaves a couple seconds too early.

PS: A bit bitter I'll admit, reading any kind of praise for SNCF always triggers me.

[1] https://ressources.data.sncf.com/explore/dataset/regularite-...
Pro is an adjective in the context of MacBook Pro and adjectives are not pluralized.