skysight-inc/HackerNews huggingface dataset:
I think if you use Xcode enough you can come to like it. What it does well it does really well–I have yet to see something that bundles as many good, advanced tools for building, debugging, and profiling in one pretty package as Xcode does. Most of the hate for Xcode seems to (rightfully) be aimed at its instability when working with things like codesigning, devices, or source control–IMO this this because they have a different process internally for their use than external developers. If you really understand who Xcode is aimed at (Apple) and how it is supposed to work (Apple's workflows) you can generally understand it.
Is the question about qualia even a meaningful one? It feels to me like running a program twice and asking whether it's really the same program that was run, given that each time, the addresses of library functions the program used were different[0].

It could be that when you see 450nm light, the pathways in your brain that process this information correspond to the pathways that respond to 700nm light in my head. But it doesn't matter; our experiences are adjusted to match, because they're synchronized, thanks to shared environment and language. In both of us, despite invoking different neuron groups, seeing a blue sky will evoke images of water, or Windows error codes, and not of roses or rust. If we talk, both of us will use the word "blue" to describe what we're experiencing.

Whether the rainbow is upside-down or not in your head doesn't seem to be a meaningful question, if through all imaginable ways to observe and communicate it, it seems you perceive it the same way as the rest of us.

--

[0] - https://en.wikipedia.org/wiki/Address_space_layout_randomiza...
Icq's chat feature definitely did around 97/98/99. I remember it being different from the IM feature in that way.
About the same timeframe as the US civil war -> now. You really think those wounds are gone?

Pardon the cultural stereotypes but only in the US is 100 years considered a long time. Half the planet has tribal divisions dating back millennia. See, er, this article.

Bit more on topic: certainly, most of the West was more concerned about Communism than they were a Hitler. Not exactly a methodology we've abandoned since... waves generally at Middle East. And who in 1900, 1910, even 1930, would have put money on Germany being the European country to engage in a genocide notorious even by 20th century standards? Not me. Which I guess is the point of the article.
> Literally hundreds of programming languages have loops without unnecessary and random constraints

Hm? show me the 'unnecessary and random constraints' in looping. It was fundamental to the semantics that looping wasn't simple formally IIRC

> he same reason of what exactly?

It's literally there in the preceding sentence.

> At what point Oberon code becomes verified?

It didn't (AFAIK), hence my "possibly not a good choice". But as you don't know history, https://en.wikipedia.org/wiki/Euclid_(programming_language) which "is descended from the Pascal programming language". IIRC the london underground train controller software was done with euclid. Please note the wide range of restrictions in the language - all for simplicity, from which reliability must in part depend.

> I realise that you haven't left Wirth's lab for the past 30 years,

don't be insulting

> but there are hundreds of programming languages. Go ahead, you'll learn a lot.

Like: scala? And C#? VB.net, VBScripting, a little bash, pascal, modula2, delphi, javascript, a flex/bison & antlr, python, sql, prolog (edit: C & C++) - these are all langs I've used commercially. If you want langs I've played with the list includes dylan, haskell, erlang, modula3 and others I can't think of now.

Like I said, If you think you can do better then go ahead.

Edit: what your angry reaction is concealing from you is I'm not unsympathetic to your view, but you can't see it and won't learn from it.
The Future of Survey Tools
OpinionX makes discovery research easy! Ask open-ended questions and let OpinionX identify the opinions that are most important to respondents by letting them vote on other people’s statements.

Next-generation survey that blends qual and quant methods

They are live on Product Hunt: https://www.producthunt.com/posts/opinionx
In that circumstance it wouldn't even be a footnote; nobody would even hear of it, except perhaps as a "conspiracy theory".
Oh yeah, that's amazing. But by 'populist' I don't mean 'Foreign films with subtitles' I mean 'American Tanker Crew Defeats Entire German Panzer Division starring Brad Pitt and Jason Stratham, Directed by Guy Ritchie, Produced by Michael Bay' - which is how I think most people around the world learn History and Geography, and which are the only kinds of major films Hollywood makes. Regular people do not read or watch documentaries. HN readers and their peers are not 'regular' people.

[1] https://www.pewforum.org/2020/01/22/what-americans-know-abou...
This is essentially false. There are several redundant safety and security mechanisms protecting nuclear weapons, one of which is the Permissive Action Link (essentially a combination lock on the warhead). This is the component in question which once had the alleged code of 00000000: https://web.archive.org/web/20120511191600/http://www.cdi.or...

The "nuclear football" is a completely separate authentication mechanism for verifying a presidential order, and as far as we know uses codes that rotate on a daily basis.
While all that may be true, it's also true that in many companies once you become a manager you are empowered to take actual technical decision. It's the manager that chose technology, high-level architecture, development methodology, project management technology, evaluate feature vs quality, ... and most important, actually protect him and his team from the constant bullshit coming down and sideways.
How to build your own Codepen app
In this post, we are going to build together an online editor like Codepen. We will practice our JS and React skills and use some popular open-source libraries.
The USD has been one of the best performing currencies in the world in most people's lifetimes. I'm sure that most people would prefer to be paid in that currency.

For every Swiss Franc that strengthened 15% against the dollar in 10 years there's an Argentine Peso that because 45 times weaker in that time period.
People who use Xcode long enough usually get through the phase where they hate it with every fiber of their being. It's like Stockholm syndrome, except you realize your captor wants you to be happy but is also kind of insane.
For someone who wants to eventually be drowning in freelance work (or at least the option to be), what jobs would you recommend looking to join if not startups or big name SV firms.
That would be incorrect. Even though the causal vector is unknown, the correlation is well established.
Bingo. VMs are totally underrated. I can't remember the last time I had a dual-boot setup.
This is also very efficient guerrilla marketing. Instead of asking users to tell their friends about your brand, you can make a lottery making them win t-shirts with your logo on it. They will be so happy to have won something they will wear it.

In this link's case, if pine64 want to get people excited about that EVB and start hacking with it, it sounds like an efficient strategy. Whatever the real value of the commits are, it's the users who are committed :)

At least, in this case, they ask for contributions on a repos they own.
> "yes, that person worked here"

2 reasons to do this:

1) In many (I assume all) countries companies run background checks. When I claim that I have worked for 10 years as role-XYZ in company-ABC, they need to somehow verify this claim. The (closed) question is "Did Henry Bemis worked as role-XYZ in your company for 10y?" And the answer is either Yes/No (or a very slight variation of the asnwer, to clarify the role title (due to traslation or interpretation issues)(i.e. asking in English language for a role in Italy).

2) In Europe (were we get a good number of vacation days) the "next" employer will need some form of verification for your years of work, as the number of vacation days increase depending on the number of years you worked. Different ranges for different countries. Although the "next employer" does have a copy of your CV and can add the years, they should have the assurance that "total of 10 years" is actual "10 years".
When Google itself cannot keep up with the moving target it has created, then it will be complete. I call it the Singularity.
I’m not sure I would feel sorry for them; doubling down on your one-platform stance while your customers are overwhelmingly voting with their feet and wallets for cross-platform support is just stupidity in my opinion.

They’ll have a core set of customers who will appreciate it, but I’m not sure they’re going to pay the bills just because you’ve convinced them stay, which they probably would’ve done anyway
Tcl for Web Nerds (2011)
English does not have a distinct, second-person plural. There are several regional attempts to make one.

Y’all is the Southern second-person plural, a contraction of ‘you all’ (you, second-person; all, suggesting more than one)
While I agree there is no silver bullet, most applications will have a lot of similar nonfunctional requirements - API, data processing, and i/o. Having a common basis to go to - then evolving it - is a good practice. Cowboying or reinventing the wheel is not a good practice.
I support this a bit, I would have different idols in mind, but I wont fault someone for theirs. Once something is learnt it really doesn't matter.

The pain is the title..
Kafka and Orwell were right. They might have understated their cases.
I don't think people understood how tech could exaggerate and accentuate some of the worst in humanity and create massive centralisation which can create more and more stifling bureaucracy. At least before, you could be ignored by a bureaucrat, now it is a faceless, nameless, heartless system
TCL is the only language I have ever worked with where a comment would affect the next line. Might have been an interpreter issue, but it was enough for me never to want to touch it again.

SystemVerilog is a good examle of an organically grown language with no 'benevolent dictator'. A few pet peeves:

* Why is the simulation delta cycle split into 17 regions? Exactly when does the Pre-Re-NBA region happen and what assignments take place there?

* Why can't a function return a dynamic/associative array or a queue? This is clearly possible, since the array find functions return a queue, but it's not possible to define a user function with this return type.

* It has way too much cruft. E.g. what problem does the forkjoin keyword solve? Who thought that was necessary and why? Not a fork-join block, the forkjoin keyword.

* Why can't you have a modport inside a modport? This would be great for e.g. register interfaces, but modports are not composable.

* What is the difference between a const variable and a localparam and why does the language need both constructs?

* Is a covergroup a class or what? It behaves very much like it is, it has a constructor, some class local information and at least one class local function (the sample()
function), but you can't extend it.

* Why are begin-end used for scope delimitation everywhere except in constraints where curly brackets are used? I know it was a Cadence donation, but why wasn't the syntax changed before it was merged? Backwards compatibility can only justify so much...

//rant off

edit: formatting
Good point, thanks. To your last line you can add others who worked on closely related fields like Brinch Hansen, looking for the 'right' primitives for concurrency.

Edit: and by extraordinary coincidence PBH pops up on HN right now https://news.ycombinator.com/item?id=24913959
Ok, but doesn't Apple use EDA tools for that? Or did they develop their own?
Draw on a PDF Online
On the face of it, it sounds like you have a great bargaining chip here. For the extra hours you think are "too much", come up with an activity which involves you both, but you immensely enjoy. You might both grow!
(Satire)

Meanwhile, in the Kremlin, Putin orders that one nuclear code digit be inserted into the hearts of 20 men. There was widespread controversy when Putin forced them to remove it themselves in a practice fire drill last week. A Kremlin official responded: "Using 20 men has reduced our nuclear response time by 20 times".
Go outside. Walk around in the fresh air.

Does the body wonders.
Developers don't choose to develop for the Mac because it reduces their development effort.
That's always gonna happen with giveaways, and 1000 meaningful submissions would be expecting a bit much, so it's clearly planned in (it's also a fairly cheap board, so "wasting" a bunch isn't so bad). Still builds hype, and it's their own repo, so they can manage it how they see fit and don't annoy any third-party that isn't benefiting.
You know how we sometimes mock Reddit for thinking it's an exclusive club?

Welcome to the club
I applied for a job that was the position I wanted. I feel like you'd probably have more luck doing that than trying to convince a company who seems to be getting a lot of value out of you doing what you're doing.
Those lights are on for a reason. They're called Daytime Running Lights, and are mandated by law in most countries because they reduce accident rates by as much as 20% for a negligible cost.

If you think running some LEDs are expensive, you don't want to know what a serious accident costs society. The type that totals two cars and puts multiple people in hospital.

I have a car that pre-dates DRLs, and I always drive it with the lights on. The "horrendously" inefficient incandescent bulbs might cost me an extra dollar or two in fuel, but could save my life. I'd rather have my life.
Wait a second. How does Facebook trust Firefox? Microsoft Edge? Safari? The other 20 extensions I have installed, three of which save a copy of every single page I visit?

They don’t. They don’t, at the least, care about anyone’s data - they just phrase it that way to sound legitimate because saying “we want no oversight whatsoever” sounds whiny, and it is. (And so does what they ARE claiming to anyone who understands the technical side).
oh yeah, that sounds painful as well!

My experience in the UK and Germany (as a EU citizen and pre-brexit UK) has been that you get there and that's it, you can rent a house you can register with the doctor. There's no special card, there's no police involved. It's how I'd expect the idea of free movement within the EU to work.

I understand the problem with people coming to Spain to just get a surgery but surely for a EU citizen it could be simpler since the idea is that we all have the same rights. I don't think the health system in Spain is much different to the NHS where there's no payment involved.
Uff. Why not trunk, at least you would have references in literature.

I certainly have a problem with the motivation for this. Github has other problems in my opinion.
There was a newspaper article (in Israel, where I live) on this subject. It noted that the two populations most mostly likely to suffer from covid are Haredim (ultra-Orthodox Jews) and Arabs, both of which tend to dress conservatively, and the latter of which have darker skin than the average Israeli, and thus might have less vitamin D in their systems.

Of course, these two populations also tend to be poorer and have larger families living together, so there are other factors to consider as well.

For example, Israelis are told to worry about skin cancer, and thus tend to use sunblock when going out in the summer. Which removes the chance of serious vitamin D generation, from what I understand.

I find the discussion of vitamin D to be very interesting, but it feels like we need a few more studies to determine whether this is the big one. But the more discussions I see, the more I think it might actually explain quite a lot.
Show HN: FsKube-A full stack Kubernetes enabler now available for Django
Free ecommerce store without restrictions
Since I see many confused comments below, keep in mind that while causal relations are unclear (a very hard thing in anything metabolic), the correlation is well established and uncontested, and holds across sub-population characteristics including age, sex, race etc.

https://journals.plos.org/plosone/article?id=10.1371/journal...
What can I do with it? Does it support KDE settings already? Can I pick a new laptop, put the config, and replicate the system?

Last time I've checked, it could just install packages and some other stuff, which is the smallest of the problems.
It's styled to look like Mac OS, of course. It's meant to be a cute novelty.
The key words there are "as far as we know". Fool me once...
y'all is a common idiom in the southeastern US as well as Texas. It is a contraction of 'you all' and can mean an individual or one or more members of a group.

all y'all by comparison is generally agreed to mean everyone in the group and can be a replacement for the phrase every last one of you
In case your line is not sarcasm, we knew about it long time ago.
This was warning 7 years ago: https://www.youtube.com/watch?v=kx1Jxk6kjbQ
Current amount of methane in atmosphere approximately 5Gt, methane stored in permafrost amounts from 100 - 1000 Gt ... which if it melts means Game Over with instant K.O.
There is some difference between the status of Gaelic in Scotland and of Welsh in Wales. For instance, you can take your driving test (which is administered in both countries by an agency of the UK government) in Welsh, but not in Gaelic.

Similarly, a Welsh speaker in Wales can insist on using Welsh in court proceedings even if they are also fluent in English. A Gaelic speaker in Scotland can't- an interpreter will be provided in the very rare case where a witness or party to a case speaks Gaelic but not English, just as if they only spoke Polish, Punjabi or Cantonese, but someone who is bilingual like the vast majority of Gaelic speakers is expected to use English.

In general, while Gaelic has some official status, it's not an official language of Scotland in the same way as Welsh is an official language of Wales.
Nitpick, but I think what you meant to say what "HoTT is to ZFC as Python is to Turing machine tape". Hope it helps.
I remember the MS Comic Chat days too :-)
As far as we know, the earth is a globe. What point are you trying to make?
LibreOffice turns ten and what's next Lots to learn, and get excited about
I think one thing which helps is indeed the sun, with SAD.

-30C does suck, but... and this is one downside of remote work, if you have to get out daily, drive to work, drive home, you're going to catch sun some of that time.

In many parts of Southern Ontario, you still get sun with the cold. Lots and lots of sunny days.

As a counter, I moved to Vancouver which is always 10C+ essentially in the winter, often 15C days, yet rain and cloud.

There, I experienced SAD for the first time in my life. And I ran away, moved back to Ontario, after 10 years of it.

And a day on the radio when the announcer said "It's now been 32 days since we've seen the sun". The guy wasn't kidding. It had been more than a month since the clouds parted during daylight hours.

That. Really. Sucks.
Ask HN: How to Build an Anonymous Blog?
I want to write about certain topics that I don't want employers to read - mostly about my religious journey and where that's taking me, to be specific. It's nothing controversial, just a very intimate experience that I'd like to share but not necessarily have associated with my professional persona. How would you approach that? Is the easiest way just to set up an account under a pen name on a blogging site? Any other ideas?
There's nothing to return. Europeans are doing a service to humanity by preserving the history of our collective past. Look at what happened with the artefacts that were left behind: destruction at the hands of invaders, sometimes sponsored by the polity of the time.

Look at what ISIS did to the pre-Islamic artefacts present in the territory they controlled.

Look what Saddam Hussein did (even with somewhat good intentions) by trying to "modernize" the remains of the Ishtar Gate for the consumption of the local people, while ignoring pleas from archæologists to let them thoroughly review the sites beforehand.

I, for one, am thankful that I can go to the Louvre and learn about our shared ancient history, rather than these artefacts ending up as a paper weight in some oligarch's office, as would have been bound to happen otherwise.
I disagree. By far the largest part of SystemVerilog deals with verification, both simulation and formal property proving. These parts have nothing to do with the bitstream formats and the tooling in that area is quite as lacking as the synthesis and PnR tools.

The limitation here is writing the SystemVerilog parser and compiler.
BL602 is RISC-V based. There's DT-BL10 development board based on the same chip which sells for $5 on aliexpress already.
I agree that Epic is not innocent here. But what I worried about was Apple's reaction to them. Kicking Epic out is OK, but when they decided to use Epic's Unreal Engine customers as leverage by threatening to prevent future security updates of the engine, that was a clear sign that the current Apple management does not value the indie studios that build the apps.
TikTok shrugs off Trump attack with expansion plans
Net Neutrality repeal reaffirmed in New FCC vote
> Even though increased Ice cream sales is correlated with increase murder rate.

I thought you were kidding but no: https://slate.com/news-and-politics/2013/07/warm-weather-hom...
Cloud amoeba wins the phrase of the week.
I hate unnecessary functions with a passion and it's refreshing to hear his opinion.

Sometimes a big, fat block of code is just easier to understand.
Yeah but now you added more complexity and costs just so you can employ offshore people.
Ripcord – A cross-platform/native Slack/Discord client
I have some articles about freelancing on my site, typicalprogrammer.com. I have worked in logistics, e-commerce, education, publishing, marketing. I worked in software dev at Apple for a while. I think getting business domain expertise counts for a lot, as does learning to work with people who aren’t software geeks. People skills, domain expertise, and a good network count for more than tech skills when freelancing. Most of the things I work on aren’t technically complex, but have significant business value.
I don't think that Holocaust did even had such a mindshare for a some time afterwards. People were quite desensitized back then - you had horrors aplenty to choose from.

But then you had the rise in all aspects of art, politics and culture of the Jewish Americans and for them obviously it was the event in WWII and great part of their identity and life. So it percolated to the other parts of the society. If Chinese Americans have risen to prominence in the 80s we would have gotten Unit 731 instead of Schindler's list. After all a creator creates on topics that are close to them.

In my part of Eastern Europe when learning about WWII the emphasis was about the monumental struggle and bodycount of the USSR and the Holocaust was sidelined.
Suppose NYU sent a person to sit behind every NYU participant, and take a photo of their screen each time it changes - that would be exactly the same as NYU is doing (except more expensive); the participant knows that and gave their consent. It is within their rights to show their screen to anyone.

They are just doing it more economically then sending a person. This is entirely unlike CA, which effectively, sent a person to go through all participants available information as quickly as possible while they weren’t looking and store a copy of everything.