skysight-inc/HackerNews huggingface dataset:
The argument I advanced was that physics is an offshoot, a product, of philosophy.

You haven't negated that claim in any form that I recognise.

> As for Godel, Turing, and Church, ...

Interestinglly I have a degree in mathematics, I was present when Tao met Erdős in Australia, and while I studied Group Theory, Functional Analysis, and other such things as part of the mathematics curriculum I had to go to the Philosophy department to study 20th Century Logical Philosophy under Graham Priest alongside fellow students one who now heads a Physics Department, another who heads a Philosophy Department (and, incidently also studied undergraduate mathematics alongside myself and the physicist).

https://en.wikipedia.org/wiki/Graham_Priest

> Moreover, I make these claims and arguments without reference to our personal biographies, yours or mine

Sadly I only have my own personal experience of the world, informed to a degree by the thoughts of those I've met and worked with.

> It doesn't help us evaluate philosophy in isolation, as distinct from math, physics, or computing.

Why on earth would you want to do that, these things are all intertwined.

> To do that, we would be helped by examples of laudable contributions from people who were ONLY philosophers.

We should then also reject papers on black holes by physicists that also studied philosophy?

I fear you're advancing your own private Idaho by means of a True Scotsman Philosopher whom I've not personally met.
There are 480k games on iOS. Yes, most of them are bad. But it's a fact that there are more games running on Metal than DirectX.

>Also many developers support even more than 2, as you are fogetting Playstation and Switch, both of which with their own APIs, 2 for Playstayon (GNM and GNMX), 3 for Switch (NVN, Vulkan and OpenGL).

I didn't imply that developers only support 2.
Imputed rents by homeowners are factored into services I believe. Correct me if I’m wrong.
But will the digital be discovered by anyone?

I still believe the physical photos have a larger chance of actually seeing the light of day.

One with is to print albums yearly and send out to friends and family. Some of them will probably survive for a long time. Nothing stops you from hanging on to your digital archive aswell.
There's No drought in Portugal now - It's been raining non-stop for the last month and the summer was quite cool this year.
This... all sounds like it's something that you're imagining, to be honest. To be clear, journalists, except perhaps at the worst rags (Daily Mail and similar) are _not_ single-sourcing stories from TikTok. They may be using TikTok as _a_ source, but there'd generally be corroboration. Like, a lot of the job of journalists has always been taking extremely unreliable sources (before social media it was "I heard it down the pub" or "weirdo calls into tip line" or whatever) and trying to corroborate them; of course nine times out of ten it's bullshit, but it's not always, and having more of these sorts of unreliable sources is arguably quite _good_ for journalism. If you take the extreme case where there was no social media, no pubs, no tip lines, then journalists would be mostly in the business of rewriting press releases.
Throw in building massive surveillance pieplines and backdoors for NSA.
Factorio for me.
I didn't scroll very far down before the site demanded that I log in and wouldn't let me continue reading. Why do you do that, and is it possible you could see your way clear to not do that?
I can't wait for a "Mail" app that can't be properly removed, and keep restarting itself with the computer just to nag you to upgrade from the tray, like they did with One Drive.
There was going to be something to fill the void, the questions there are "when?" and "for how much?", no private company would deploy novel inter-networks communication for cheap since it was an unproven technology. No private company would want to make it open for competitors to use the network, monopolistic tendencies don't naturally go away in the private sector, much the opposite.
It's easy to spew out 1K LOC/week of low effort code for simple projects. It takes far more skill to produce 125 lines of high-quality code in a complex one.

My most productive recent change had a negative LOC count, and will have a big impact.

It's entirely impossible to make an assessment of whether or not 125 lines is good or bad in this instance without knowing more about the type of project etc., but that it is a mature project is already a strong indicator the number quite possibly should be fairly low.
I’ve done myself over the years. :)

Windows now directly offers OpenSSH and a decent modern terminal app, so while PuTTY still works it’s no longer necessary for accessing mutt over SSH from Windows. Also with WSL you can also run mutt locally on Windows within a userland Linux distro like Ubuntu or Debian.
If the architecture is vastly different, these comparisons become sort of meaningless, though. The ultimate performance is determined by all the tiny little bottlenecks, like how quickly the architecture can move data between different types of cores, memory, cache, etc.

Apple has always been really good at parallelism, which is why they get so much performance from less power consumption.
Leading or Line Height – A Measured Response
Okay, I went through the other video they reference ("Discover new Metal profiling tools for M3 and A17 Pro" [1]), and there is actually a whole bunch of extra very relevant (IMO) information on the subject, starting about 13:30 or so.

[1] https://developer.apple.com/videos/play/tech-talks/111374?ti...
One downvoter has yet to read Yuri Bezmenov's on "active measures",
and never saw how in the 1960s Oxford University, MI5 and GHCQ became
a giant KGB party.
> This is due to the fact that the intelligence & character of the masses are incomparably lower than the intelligence and character of the few who produce some thing valuable for the community.

One rejects "incomparably".

Sure, there is a distribution if intelligence and character.

But one suspects that the variance isn't as pronounced (or important) as A.E. might suppose.

As evidence, note the general rarity of a Newton or Einstein.

At the other end of the distribution, note the elderly couple who have been happily married for most of their lives and have begotten a clan.

History will remember The Names, but if we integrate joy over time, I'd contend that the anonymous couple may be more enviable.
In Blackadder 1 (early 80s) it's already a part of pop culture enough to be referenced. I think it's pretty old, I suspect 19th century (which is where a lot of modern pop culture ideas about the 'dark ages' solidified).
LOL me too! I love it.
Question from a GPU novice. I presume a thread is the individual calculation perform on one element of the vector? Can the 128 cores, or 20 SM perform different operations at the same time or all 24,576 threads perform the same operation at the same time, on a vector of data of length of 24,576?
I definitely noticed the driver issues increasing as my GPU got older. On windows I spent hours looking for driver versions that work with all my games and then didn't update for months.

If it wasn't for AI, I'd upgrade to AMD right now. But ROCm and the CUDA translation layer don't quite seem to be there yet.
There are additionally related videos,

"Discover new Metal profiling tools for M3 and A17 Pro"

https://developer.apple.com/videos/play/tech-talks/111374/

"Learn performance best practices for Metal shaders"

https://developer.apple.com/videos/play/tech-talks/111373/

"Bring your high-end game to iPhone 15 Pro"

https://developer.apple.com/videos/play/tech-talks/111372/
That is tangential. I linked to a scientific study with a specific conclusion, and it's not the only study to reach such a conclusion.

Science is not done by consensus or endorsement. Studies must be refuted on scientific grounds.

Studies that disagree with your opinion are not conspiracy theories.
Some of those cats work in my editorial team! https://tidings.potato.horse/team
I once deleted all the virtual phone numbers in the municipality where I was working. It wasn’t entirely my fault as I was basically working with some Cisco tech that nobody knew how worked doing pretty much exactly what our IT operations department had requested, but it was still me who did it. I went to tell the CTO feeling more than a little afraid. I didn’t coat it in the “it wasn’t my fault” part that I did here, because I didn’t really think it mattered, and it turned out that it didn’t. He basically told me that while he wasn’t happy that it had happened, he was happy my first reaction was to come running and admit my mistake so that it could be fixed, and that everyone makes mistakes but it’s the ones who hide it that are dangerous.

This is something I’ve taken with my in my career myself, and in my experience it fosters a much healthier culture than firing someone for dropping a database they frankly should not have had the rights to drop in the first place. Like… what organisation in all seriousness gives a junior developer the access rights to drop a production database on their first day? And then after this even has the audacity to blame the junior dev? Seriously…
A lot of folks look at FAANG and other adjacent companies with starry eyed gaze. These places rule the internet, must be teeming with innovation right?

Turns out these companies are no different from corporate America, with all the red tape, politics, meaningless toil, dancing to misaligned incentives, and obsession with management-driven work. Everything that makes a job soul sucking is present in these companies, and more.

Large companies were great for me when I needed the money. But beyond that, my soul cried at balancing the 7th iteration of nitpicky code review, and a manager who couldn't think beyond head-count and performance reviews.
My dear internet strangers, have you been initiated into the wonder that is Typing Of The Dead?

https://youtu.be/3VNKlKu7gb0
I've tried many of the hip programming fonts but the one I keep coming back to is Ubuntu Mono. It's the only font that can give me a good density on my standard DPI screen. All the others seem to look like absolute crap when they are small and only look good when each character uses up about twice the pixels that I want it to.

Makes me wonder how other people deal with so few characters on their screen, or is everyone using high DPI, >1080p monitors?

I might try this one, but I doubt it will be any improvement.
> Oh how the writer was trapped by the TikTok trap.

They weren't, the entire article is about disproving the video. They literally say "So anyway, the cat video is wrong.".

I'm not sure why you extrapolate from one account with inaccurate cat videos to bashing the whole platform. E.g. on YouTube there are similar video accounts and worse.
And the number of DirectX games sold across Valve, Epic, Windows and XBox is....?

Since it is a fact I am expecting a number for them as well.

Also you naturally also have a number for the ones that are still using the legacy OpenGL ES API, or the MoltenVK wrapper on iDevices.
It's a blog post, not an article. Not every piece of personal expression needs to be structured to spec and optimized for SEO.

I think it's refreshing at this point, really. A little clumsy, not written according to "Use This One Trick To Get To Frontpage" rules, just what someone cares about in the order they wanted to tell it.
Great seeing The Futility Closet on here after I mentioned it a week ago https://news.ycombinator.com/item?id=38125942
They have been doing this for years. The mobile outlook app has had microsoft servers check for mail on the user's behalf since forever.
You are shifting the goalpost. You are now arguing about benefits and disadvantages.

Your original argument was that this is a conspiracy theory, and it isn't.
It's not an article, it's a blog post. Expectations should be vastly different for the two.
> it doesn't seem to let you specify parallel jobs.

You don't need to if you're using the LLVM linker (lld) - by default it will use all of your HW threads (nr of cores).

lld --help | grep thread
--threads=<value> Number of threads. '1' disables multi-threading. By default all available hardware threads are used
I think you're describing traditional scheduling. The point is that sometimes overheads from cache thrashing and context switches are worse than just spinning.
See the concerns at the bottom of Methodology; I think all you can _really_ read into this is that the idea was in the aether by 1984.

(Even _if_ the event described happened, it was clearly exceptional, and _even with that in mind_ doesn't support the idea that people in The Olden Days (TM) were afraid of cats; the printer is _keeping_ cats).
Currently doing it for an open-source metrics observability and troubleshooting tool (15 PoC in production, no revenues yet). Committed about 30% of the amount so far, but it's tough and expectations seems ever increasing (revenues, community traction etc). Curious to hear others experience as well!
Not sure about wrist problems (fortunately I don't have any), but I can definitely say that it helped my lower back pain...
This is new twitter post about an old story https://old.reddit.com/r/cscareerquestions/comments/6ez8ag/a...
It’s a personal blog entry that’s tagged with #google and #work. It doesn’t transmit as freely to HN as it does if you enter from the front page or their blog, but unless it was the author who posted it here then I think it’s hard to fault them for the article not being clear enough.
People tend to underestimate the value of a shared source of truth. Email doesn’t have that. You have no way of knowing if your message was even accepted by the remote MTA
In my previous service company, we aimed for 10%, which was considered the norm. However, we were particularly bad at achieving this, with only 8-9%, though we did have a good atmosphere and happy employees
Not distributing the equity early on via a notary, relying instead on an agreement. Later on the equity separation was only legally possible via a heavily-taxed mechanism, meaning I could never afford my stake. They kept the equity and I basically had to leave. (Be careful about Belgian laws around equity.)
I think you're intentionally missing the point being made.
I have personally experienced this issue. It just gets very slow before slowly dying outright.
Tribute to Unsplash
I've never heard of this theory, I'm curious how much it reflects a consensus among historians
>and will say something along the lines of tech/services being the main drivers of growth.

Last I checked, much of the revenue from the Big Tech companies comes from advertising, which is not a productive endeavor, it's really just parasitic (i.e., I equate advertisers with mosquitoes and flatworms).

Just as a wild guess, I'd say most of America's GDP that comes from actually productive industries comes from 1) military hardware, 2) entertainment (music/Hollywood/streaming services to distribute those), probably 3) automaking (including foreign-owned factories), and 4) agriculture/mining/oil.
Hell freezing over: for it to discard its nature and thus cease to be what it is.

Proof of work is unacceptable.

The transaction cost (monetary and emissions) is unacceptable.

The transaction time is unacceptable.

The behavior of exchanges is unacceptable.

The lack of regulation is unacceptable.

The shadow manipulation of the market by conventional financial players attracted by the lack of regulation is unacceptable.

Need I go on?

Fix as much of that as you can and it becomes regular finance with extra steps, and thus, pointless.
>I further claim that regardless of their historical provenance, modern physics is very distinct from modern philosophy.

There are many things in modern philosophy. You don't make claims based on ignorance, do you? How modern physics is different from such a modern philosophic idea as compatibilism?

>This claim is supported if we accept that a training in philosophy alone does not equip a person at all to work as a professional physicist.

There are many kinds of professional physicists too. Some can live without philosophy, some can live without much math too: the computer will do math for them. Arguably philosophic ignorance delays development of fundamental physics.
If, like many of us, you work in an org that refuses to authorize Thunderbird or anything else for IMAP+Oauth2 to Exchange Online then there are no other solutions. Outlook is e-mail, e-mail is Outlook.
> If the Roman (pagan) material dared to suggest something different than accepted church teaching, it wasn't copied or preserved.

this really isnt true.
This is why I love vim style editors so much as well, because they more directly translate the act you want to perform with what you tell the editor to do. While someone who hasn't learned to use vim is scrolling around with arrow keys and holding down shift to select, or trying to point a cursor at the right place to double click I've entered the three characters ciw into my editor and its already deleted the current word, place my cursor at the beginning, and put me into insert mode to start typing the replacement.

I wouldn't even say I'm a super proficient vim user, there are people who are way more immersed in it than I am and who can leap around files at phenomenal speeds, but even just the basics I know are a huge help in keeping in the flow of thinking about what I want to do rather than how I'm going to do it.
The lack of types is hard to defend. Yet, the failed pattern match triggered at runtime becomes immediately obvious from the stack trace. You fix the pattern and move on.

The cost of this mild inconvenience is still far less than the cost of satisfying types.

This aside, I want typed elixir.
> Will surely be massive wastage though - probably up to 90%..... One legit criticism

Would you agree that huge wastage (up to 90%) is a reason for legit criticism?
What made them big in the first place were the iPod/iTunes/iPhone and the ludicrous revenues from the App Store.

The iPod's only notable hardware that wasn't just a random off the shelf part was the click wheel, the chips were all off-the-shelf (until old iPhone chips counted as that), and iPhones didn't get custom chips until the 4.

So I guess the other part of the winning formula is "use market dominance in one sector to subsidize expansion into the next". I guess that's indeed one area where Google could reasonably try to be less inept, but I think all the institutional inertia makes that impossible by now. They'll go the DEC route of just drowning in their own internal problems until someone buys them up.
Claws Mail: powerful and lightning fast and 100% multi platform native code.
(MacOS too but has to be built or downloaded elsewhere)

https://www.claws-mail.org/downloads.php

There's a small command line tool around (can't recall the name, sorry) to convert message bases and contacts from Outlook format so that they can be imported into Claws Mail. I once did that at a workplace where they were having all sort of problems with Outlook and a fairly big mail archive and saw people dropping their jaws when looking at the difference in search speed. Give it a try.
You've ignored other alternatives that would work better than a capslock even for the less tech-savvy crowd

> Adding one more key to sideways pinky does not make it a "bad design".

Of course it does, and you mentioning other bad designs (by the way,you can also remap those) doesn't change this basic fact of keyboard ergonomics: it's bad because you're using very inconvenient key for very frequent operations
Agree with this, if one is thinking in terms of typing letters out you're working at entirely the wrong level of abstraction and with the wrong primitives.

I often use the example of ".toString" being meaningful whereas ".tosling" is nonsense (unless you have defined it elsewhere). I'm not even sure if that's the correct capitalization of the to string method in JS, but I shouldn't have to care. If my tools can't tell me which one is valid to use in the current context, then the tools are bad and I should look for better tools. (This may not be universally applicable and maybe Lisp is the promised land etc etc. But raw text input speed is a silly metric to prioritize and leads to a local maxima in programming)
The eu-wide GDP ranks are (from the bottom):

* Albania
* Bulgaria
* Romania
* Croatia
* Hungary
* Poland <<<
* Greece
* Latvia
* ....

So, while all of these are 'upper-middle income', relative to other EU countries, Poland is 22/27. If you look at Europe as a continent, then Ukraine and Moldova combined have less than half the polish GDP.

It's all relative, and "poor" even more so.

Thanks for the info on the migration balance, tho!
Microsoft is allowed to do whatever it wants with impunity, including stealing your password and tunneling back to their servers in plain text

Wow, just wow
TFA has a great photo of gormless Gove
Are you still working on the book?
After digging old stuffs from university days (more than 1 decade), I found the old unfinished Indonesian translation. Perhaps I can finish it.
Seeking work | Remote | Fluent in English | Flexible Schedule

Technologies: Java, Spring, Hibernate, Maven, Postgres, Angular, React

Location: REMOTE (Romania, Europe)

Remote: Yes

Willing to relocate: No

Availability: Immediate

I'm a seasoned Java Developer with a strong track record in web application development. I've recently worked on projects in the public sector and financial services, where I honed my skills in Java, Spring, and various databases. I have previous experience in banking, financial, and telecom billing industry, but I'm open to anything.

I'm passionate about creating innovative solutions and am looking for new opportunities to contribute my expertise to exciting projects. If you have any openings that align with my skill set, I'd love to connect and explore the possibilities.

Resume/CV : https://www.linkedin.com/in/beniamino-zetu/

Email: beniaminozetu@gmail.com
I use the commit history every time a I open file I haven't worked on for a while. Just seeing the output of git annotate in the border of Intellij gives me a sense how old code is, what changed together with what and whom to ask in case of questions.
The price for low quality olive oil in the german supermarkts went from 4€ last year to 8€ this year
Google generally approves almost any open source work. They're also really generous about approving even for-profit side projects as long as there are no conflicts and you're willing to wait for approval. I was cleared to work on a few side-project games while I was there.

Re: do-nothing tolerance, the dirty secret at Google is that there's too little meaty work to satisfy all the people hungry to take it on, and everything takes ages to do anyways because of all the red tape, so it's kinda hard to tell who's phoning it in deliberately and who's getting stuck in the constant muck of cross-team approval and bikeshedding bullshit when they take 4x as long as expected to deliver half of what was promised (which mostly doesn't have any impact anyways). And managers are (were?) rated at least in part based on how many people they manage, not what their teams produce, so dead weight doesn't matter to most managers, if they're trying to get bumped up to director level the last thing they want is the distraction of having to PIP and then fire someone when they could just keep them around as padding and say they hit their staffing target...