skysight-inc/HackerNews huggingface dataset:
> Humans can create notation and formalisms, but they do not invent the truths those mathematics represent.

The land represented by a map exists independently of humanity. Another intelligent species would have to come up with a roughly isomorphic representation if they wanted a similar tool.

Maps, to be clear, are just invented tools. They can be more or less right or wrong, but they are not the territory.

Moving up the meta stack does sort of confuse this initially if you don't stay grounded. I wonder if there is a field of meta-map-making and whether map makers sometimes confuse maps with territories when they start meta-map-making work.

> I frequently encounter this perspective and worry there's a fundamental problem with how mathematics is taught if so many people walk away believing this.

I didn't walk away (undergrad, PhD, PI, editorial committees, grant reviewer, ...). I'm about as far from walking away as is possible. But I suppose it is possible I'm an imposture :)
A funny thing in this regard is that companies using an open office to save money are often not willing to go remote because they are worried it will hurt productivity.
And FB have multiple, really, really large monorepos.
Deception, exploited workers, and cash handouts: Worldcoin recruitment
People can't use the concept, they must use an actual tool.

The problem with these frequent monorepo discussion threads is that monorepos are at a significant disadvantage when it comes to good existing and available tools (especially open source ones), but most of the boosters work at companies that mostly use good existing and unavailable tools.

I've no problem with the discussion of course, and largely agree with the conceptual superiority in many cases, but on the practical side, the downsides are still significant and IMO overpowering. I've worked at insanely profitable medium sized companies that would use a monorepo if the tools were there, but instead used svn+externals and then git+a very simple script implementing essentially the same thing as svn:externals. The latter is a great option, IMO especially if you flatten all dependencies to the project/top level (i.e., all transitive dependencies specified and versioned at the top level), as you don't have the A->B->C problem where A using an updated C requires work from team C, B, A; you can just do C, A. It also discourages deeply nested dependencies, and bounds dependency count somewhat, and provides a very explicit and conscientious view of your total dependencies. Updates are also easy to partially automate.
What specifically did you say that got you banned?
Fellow Camp Horizons Alum here! I was a British counsellor who flew over for the summer of 2015/16. Beautiful place. Amazing memories.
> As for in-code integration tests - I love the idea of them, but they're absolutely miserable 9 times out of 10 due to extremely convoluted processes to "bring up" parts of your application.

I've definitely worked on projects like this (actually, I'm working on one now at $dayjob), but I found that with a little bit of effort you can get this right, and usually isn't that much effort.

What I often see people do is "oh I need a thingy for this test, and a thaty for this other test" and create it ad-hoc when needed, instead of creating a good convenient API to do all of this, which is then also used in the application itself.

The big advantage of these tests is that they tend to be a lot faster than E2E tests, at least in my experience, and often also easier to reason about once you get it right.
You could have stopped with "Recruiters are lying"... however if the hiring manager said it was for a remote position that is still a verbal contract with a Deep Pockets entity. You're still not hired (and it's At Will), but if they require to show up on-site after hiring without telling you they could open themselves up to legal liability. If you (or your friends) are "quitting" anyway, it may be worth letting HR know the liability position they are putting the company in. Especially, if multiple people all file against the same company with the same complaint, they become more likely to settle out of court (for PR reasons) than fight.

Unlikely that you'll keep the jobs, though.
Nacho fries feel like a seasonal thing. Which is a shame because they are the main thing that drives me to go to taco bell
"Recruiters are lying about remote positions"

They lie about a lot more than that.
100%. Windows is the problem to solve, not the destination. If you're stuck on Windows though, it can make it somewhat usable.
What should be the lowest valid date of birth? Is there some universal standard? I know it feels like 4 months is quite young, but where would you draw the line?
Good advice, and should also ask if the team was mostly WFH before Covid because old habits die hard.
That report is nonsense. For one thing, hiring takes a lot of work. No manager is going to invest the time in hiring someone just to have an expendable on the team to sacrifice. No manager is going to accept the drag on the team that arises by having a below-standards person on the team. Everyone here is clear that we'd rather do without than have a low-performing co-worker. Finally, even if some misguided manager did want to do this, each Amazon hiring loop has an independent person to enforce the policy that each new hire be better than half the people in a similar role.

It's true that some people leave, and sometimes you're not sorry to see them go. This is true in every line of work.
Are foreigners responsible for house price increases? Is it companies? Is it locals?

Who make up the buyers? Is there a breakdown? Ie foreign companies?

I would also like to know for Australia too.
This is exactly the experience you get with a military recruiter, but on some other deep level of cohesion and intimidation. It's like the used car dealer of legend that your dad (or mom, to be fair) told you about and never to trust them much like the class of mechanics that were (and some if not most?) dishonest about what you were being sold as a service or job detail.

I remember going through the Air Force wanted para-rescue CC (specifically the path to get there, not the direct application into) and man was a sold a bill of goods. Grades amazing, physically (at that time not an software developer [slowly slouching fat sloth profile in 2022]) fit, and ready for a career in the service.

The promises that dude that recruited me were legendary. My pops was a military and the whole family basically, and even he was amazed at what I was offered. He eventually said to go to college and if you wanted it go to OCS school.

Point being, this is not new in times of great demand on talent - in my case, it was retention of and callbacks that active duty members trying to retire were experiencing during the first decade of our involvement in the Iraq/Afghanistan conflicts.

Its insane, how some talent is scouted in this way. But .. if its on paper, through the process its grounds for legal action. Will it ever happen? depends, but most likely not.

Just walk into the interviews with open eyes and be authentic, and most importantly honest on some level about this in specific going forward. I'd say use it for all relationships you want professionally, because well - "it's just business" in the end.
H1-B transfer is possible if your potential new employer will perform the transfer with USCIS.

(Edit: typo corrected, thanks kaapipo)
G is losing candidates given how long the team matching process takes place.
A new article with detailed investigative journalism. We're also discussing another article about Worldcoin here: https://news.ycombinator.com/item?id=30931614
David Chaum Went from Inventing Digital Cash to Pioneering Digital Privacy
Liberal governments will do everything but the one thing that will solve the problem: make it much, much easier to actually build more housing. Everything else is just pointless busywork.
If you have an agreed rate of pay you have an employment contract.

That that contract does not contain terms modifying the default at-will status of employment does not mean it is not a contract. (A terminable at will contract is still a contract.)
Just like the author, I too am quite particular about empty space in my MP3 files.

When I was ripping my CD collection, I religiously tagged the MP3 files with ID3v1. Later on, I had some tracks whose titles were just a tad longer than 30 chars so I had to use ID3v2 for those and I noticed the file size grew by _a lot_.

Frustrated by this, I opened them in a hex editor and learnt that ID3v1 was a fixed format of 128 bytes, but v2 was variable. I also found out that the software had added a 4KB zero-byte padding to the v2 tag, which was "necessary" because the tag is now at the front of the file, and this padding allows more tag data to be added easily later on.

I tried various ID3 tagging software at that time and all of them added a padding. So I learned about the tag format and wrote a tagger myself that didn't add any padding. It was a great learning experience, and I managed to shave those useless zero bytes from my MP3s.
How did you arrive at that conclusion? The post claims nothing of the sort.
The article isn’t clear about what actually happened here, but this isn’t all that unheard of (aside from the secret court orders and fbi part). The way this typically works is the good guys co-opt the Command and Control channels and/or servers, and send commands from that C&C to remove/patch/disinfect the malware.

The C&C takeover can happen a number of ways, from DGA reverse engineering (where you register a bunch of domains that the DGA will eventually pick to communicate with, a common way for non-government entities to do it), all the way up to state-level DNS or BGP hijacking.

A lot of malware that’s distributed is pretty flexible, as it is rarely intended for a single purpose. Today data exfiltration is as lucrative in ransom as destructive encryption, and some other way of extorting companies may get popular tomorrow, so the bad guys like to keep their options open. The small bright side to this is that if you can get control of the C&C channels, you can use that flexibility to tell the malware to remove itself. In the past this technique has even been used to patch vulnerabilities…
Judging by the recruiting emails I receive, FAANG companies are definitely not interested in remote employees. I get 2-3 emails a week from Amazon, and they always list an office, but hint at remote possibilities. I suspect it is Amazon that is doing the bait-n-switch.

I am having somewhat of an opposite problem. I actually want a hybrid position, but LinkedIn, which is sadly the best place to do an active job search, will advertise a position as local, but it is actually remote. Roles will appear when filtering on-site, but the job description will definitely specify remote. The companies are not even local. LinkedIn will add these positions in local searches.
Was it Amazon?

When I interviewed just before COVID, I was fed hook, line, and sinker that the position was for a headcount in San Francisco on a new team. Recruiter "confirmed" multiple times for me that it was an SFO location team/org.

Then I was invited to do the on-site interview in Seattle (later found out typically they only fly you there if the role is in Seattle). So I flew there, did the on-site, etc.

I receive news I passed the bar raiser or whatever, will be getting an offer. But wait, it's Seattle only with no plans to open headcount in SF.

Had to spend a few months being traded between different org's recruiters to find a new open role in the SFBA.
Those people are rare breeds to tell you the truth. I've had similar in my career and also do the same for those who are entering a minefield.
That, or, like in the old country, the law to be passed will have built-in exceptions or riders that will be exploited on arrival. It is possible that I have become a little too cynical, but even if I thought it was a good idea ( I don't ), I just don't see it actually happen.

People with money will find a way in; like they always do.
It's an old reference, see e.g. https://www.theguardian.com/science/2005/sep/19/ideas.g2
> IOW, if I don't trust them to work remote, then I just don't trust them.

It really depends. There are a lot of good people out there who don't do well with remote work. A lot.

If your company is mostly remote, it makes sense to pass on people who aren't great at remote work. But if you have in-office teams where they'd be a good fit, it can still be worth bringing them in if (and only if) they're interested in an in-office position.

It's really hard to tell if someone can handle remote work during an interview, though. People who have successfully worked remote and have good references are easy. People who have only worked in offices and want to go remote are much harder to evaluate in an interview context.
> One FAANG I wouldn't work at under any circumstances. One FAANG has been very clear that they want employees on site.

...One FAANG to bring them all and in the darkness bind them.
The virtualized some of their older maschines I am pretty sure. Some people didnt want to switch.

I think Honeywell started making clones of the old maschines and were successful and then IBM made that code run on 360.
I ended up disabling TPM on my computers (in the BIOS) so that they would not try to automatically upgrade me to Windows 11. I'm fine where I am and if Windows 12 comes out (or patches to Windows 11) which fix the issues I'm concerned about then I might switch.
Finland has operated the VLJ repository in Olkiluoto since the 1990s [1]. The linked facility is an additional one being constructed (also in Olkiluoto) to accommodate future waste.

There's also a site in Korea that's operational: https://en.m.wikipedia.org/wiki/Wolseong_Low_and_Intermediat...

These examples are easily obtained via Google: https://en.m.wikipedia.org/wiki/Deep_geological_repository

The risks posed by nuclear waste is vastly overstated. A little known fact: the USSR and the United Kingdom dumped most of their nuclear waste into the ocean until the 1990s [2]. There were no adverse affects observed due to this dumping. Yet we're worried about waste buried in bedrock?

1. https://www.tvo.fi/en/index/production/nuclearwastemanagemen...

2. https://en.m.wikipedia.org/wiki/Ocean_disposal_of_radioactiv...
Cool. Hope it comes to fruition.

My other pipedream in addition to this would be multi tenancy (including integrations).

A perfect world scenario is a drop in multi tenant zapier alternative that enables SaaS providers to either create workflows for their users so all they need to do is authenticate integrations for the most part or allow for them to build their own workflows from scratch.

I realize this is probably out of scope of the services aim but it doesn't hurt to throw it out there since all of the alternatives that exist are sorely lacking in various ways.
> As PowerPoint became more and more pervasive, a meeting could only
exist so long as a slide deck existed.

Good insight here. I've written about this dominance of visual record
culture as a "Pics or it didn't happen" attitude that takes over
business. It's corrosive and it tracks the decline of actual
productive work as the overemphasis on process and perfomative work
displaces it.

We've slipped into a culture of form over function, appearance over
substance, narrative over reality... PowerPoint exemplifies this
idolatry of representation - it's the thing we focus on while ignoring
the talk by the person actually present. It's a way of intermediating
and so avoiding engagement.

I also think that the current fetish for "capturing" everything as
video to create "hybrid" working environment is inviting
burnout. Besides, it is a weak form of information (non searchable,
bulky, often of dubious quality). Digital information flows are not
all information flows. Documents of record are not what actually
happened. The map is not the territory.
https://vancouver.ca/home-property-development/empty-homes-t...

It looks like more in the "hundreds" given that it's 3%/year of the assessed value. But still, a good start I'd say.
>you do not access the root window property directly.

Yes you actually do. This is literally what the program does. Please just look at the source code, we will go around in circles if you just go off my word. It's not just an implementation detail if that detail causes issues everywhere else.

>but you'd have the same issue with some configuration library that read an entire file

Yes you would, that's why file-based systems are also bad for storing configuration that needs to be accessed by multiple programs concurrently. They work fine if you have a program that ensures only one instance of itself is running, and you never edit the file with a text editor.

>There isn't really a technical reason why applications can't agree to some shared keys (like, e.g. applications, toolkits and window managers agree to some common protocols to communicate with each other) regardless of their underlying toolkit. This is all a social aspect - the programmers who wrote those applications/toolkits decided to not support them.

But this is wrong, other toolkits won't support resources that conflict with their own keys, they also won't implement shared keys that cause them issues or that are too much work to maintain compared to the benefit of them. We've seen this over and over when people propose standards for X11 based programs. It's not just a social issue. There is actual work that needs to be put into supporting these things everywhere and if you can't find people to do it then it won't happen.

>Registry is something different, i explicitly mentioned this function in the context of parsing INI files.

No we're talking about the same thing. The issue here is how do apps store and access configuration. The Xresources aren't magic, apps access those in the same way: by copying the whole database from the X server. So it's either that or you use another approach, like a registry.

>that they had to come up with their own approaches and nobody bothered to address (and maintain) the issues it has

Well many people have tried but none of the solutions stuck. Xaw is only considered a "default toolkit" because it was the first one, not because it was actually good at anything.
Have you seen this happen in practice?
This argument can apply to a lot of other known-to-be-dangerous substances: particulate matter from cars, VOCs, BPA… I don’t think we should stop caring about them?
> How do you know your ads aren’t just taking credit for customers who were going to buy anyway?

If you are doing advertising right you build a funnel from awareness through to conversion and track every part of it so you then a/b test your adverts and channels.

Getting advert channel fit is the key to success and can only be done by testing and measuring your adverts. The fact that op couldn't measure the effectiveness of their adverts shows they weren't doing this and their bad outcome should be 100% expected.

If you are just buying adverts in the hope you get more conversions then you are putting those adverts out to die. Burn your money you will probably get more eyes for doing that than untested adverts.
Yes, definitely. I think on modern stacks, costs are reducing to the point that most would rather avoid the webhook complexity.

It may be domain specific, too. It’s not all that common to need user profile data in the critical path. Auth is in the critical path, but we workaround that via JWTs.
Show HN: Redditle.com – For those of us who add 'Reddit' to every Google search
To everyone who is reading this, I'm hiring at On Deck (beondeck.com) We are are a 100% Remote company and will stay remote forever.

Contact me if you'd like to join: sebastian.volkl@beondeck.com
I want to reiterate this: I live literally three hours from any Meta office, I have never heard anyone encourage me to go to an office, and my team even has no three people in the same state. There's certainly the freedom to live near and go to the office if you need that work-life separation, but it's a freedom. And I really admire our senior leadership working to spend more time geographically distributed and remote themselves, to show their commitment to make Facebook treat geographically diverse, remote employees with equality.
Hi HN! I built redditle.com for those of us who append "reddit" to our Google searches.

Reddit search isn't great (https://old.reddit.com/r/NoStupidQuestions/comments/lucx82/w...).
But it's improving! (https://old.reddit.com/r/reddit/comments/t9nuaz/whats_up_wit...)

In the meantime, some of us still use Google to search Reddit, hence https://redditle.com

Or for some of us, because Google's results are increasingly filled with clickbait, "reddit" has been a cheatcode to navigate that. Redditle is for you too!

Is it the same as Googling "site:reddit.com"? Yes :D

Redditle also supports searching in a specific subreddit with "r/<subreddit>" e.g. "r/webdev guide to vue" would search in r/webdev.

GitHub repo - https://github.com/greentfrapp/redditle
Any species would prove the exact same theorems given the same axioms, and since mathematicians only claim that their axioms imply their theorems, I think they are right to claim absolute truth.
Ask HN: What do you use to view logs?
Looking for solutions out there, or recommendations for macOS. Specifically, static log files (structured JSON) that is easy to filter and has color coding (log levels).

What I am finding is that there are mainly "tail" type log viewers via the terminal, or cloud based. I'm looking for something local I can install.
This is unlikely to be a major factor for aircraft engines, which need to be serviced regularly anyway (long before lead deposits would force it.)
False. Pumped hydro is already working at scale, and being built out as fast as capital can be scared up for it.

Pumped hydro can be used in what may be a surprisingly larger range of places than usually imagined. First, it does not need an existing dam in an existing watershed. It doesn't need any watershed, just a hill, ideally with a depression. A circular dam can even be built on top of a hill, and that is being done, although it is better if you don't need to build all the sides.

Pumped hydro can be used where there is no hill, if a deep cavity exists underground. Then, you pump water up and out of the cavity to charge it, and let it back in when you need power. Deep cavities exist all over the world. You can combine a hill reservoir and a deep-cavity reservoir to get enormously more energy storage.

Pumped hydro has been demonstrated using a spherical tank deep under the ocean. There, you have a pump/turbine at the bottom of the tank, and you pump the water out to charge it. Amazingly, you don't need a pipe down to the tank, because water vapor fills vacated space in the tank. You just need a wire. The tank doesn't need to be very big if it is placed deep enough; the deeper it is, the more "head" you have.

Liquifying air is extremely mature tech. So, storing liquified air is something already done at scale, for decades, and can absorb peak renewable power. Power is released by letting the gas vaporize through a turbine, warmed by ambient air, or even by heat pumped out in the first place, if banked. A 100 MW liquified-air storage facility is under construction in Chile.

Synthetic ammonia is mature tech. A GW-scale ammonia electric-synthesizer plant is under construction in Norway. Anhydrous ammonia can be burned in a gas turbine.

Synthetic hydrogen is mature tech, and being built out in volume. Efficiency will only ever increase, as better catalysts are discovered and put in service. You can store hydrogen in the same underground reservoirs where natural gas is stored today.

Iron-air batteries are mature enough tech that mega-factories to produce iron-air batteries are already under construction, to deliver in volume in 2023.