skysight-inc/HackerNews huggingface dataset:
It's simplest terms, SPF allows you to prove (and equally importantly disprove) that a piece of mail comes from your domain based on IP address (there are a variety of mechanisms, but in the end it all boils down to IP). Basically SPF spells out specifically which hosts are allowed to send mail from your domain.

DKIM allows you to prove a message originates from your domain via a cryptographic signature. So any mailserver with the private key can send messages from your domain, it's not limited to a predetermined subset.

In different situations one can be more useful than the other. It's also recommended to implement both, as one or the other might fail for various reasons.

It's also worth noting you really should implement DMARC as well, which lets you spell out a policy for what recipients should do if SPF and DMARC fail, including if they should notify you and how.
Maybe a kind to artificial AI with lots of manual verification and templates? Hence the price.
VS Code is essentially a browser app based on Typescript(Javascript) and html. You can even open the chrome dev tools in VS Code (Help -> Toggle Dev Tools) and inspect the html and javascript of VS code. You can also go so far as to change the CSS and html of vs code in the dev tools. Try using the element picker (top left icon in the dev tools) to select an element in vs code, and you'll see that each line of code is a div and each token is a span that is syntax highlighted by CSS classes.
Is it high? Yes. Is it completely wasteful? Debatable.

Looking at the memory utilization of my VS Code installation with all of the extension I have is currently using just shy of 200MB. Most entry level laptops today come with 8GB of memory. 200MB out of the 8GB is ~2.5% of the total memory available. If you have 16GB that drops it down to ~1.25%. Yes, vim will use much less memory but let's not pretend you're going to be using all of that memory doing something else (and if you are, you're the edge case). Most of the time it will stay idle, you might as well use it if it's a program you're more comfortable and productive with.

I'm not saying that I'm OK with the amount of resources Chrome and Electron apps utilize but the argument that we don't have enough memory for a few of them, specifically the ones that you use on your day-to-day work is honestly not a strong one.
I didn't in this scenario, my friend did. I don't even know which friend it was.
An existing/published dashboard of course does not offer the capability to discover new queries/freely explore the data, but you can always create a new dashboard using those BI tools, right? Somebody has to learn to use it and then share the results. And to be fair the learning curve isn't really high. Plenty of effort out there on democratizing visualization authoring, but still BI tools are the ones with the highest accessibility.
CircuitHub is apparently built with Haskell. It's the most polished PCB manufacturing quote system I've seen, but "significance" is relevant. (Plus I've never actually used their service, since it's not priced for hobbyist manufacture of a small number of boards).
Says the proposal is abandoned in 2011. The thing is OSM does not deal with real time data, the general rule is if the data is likely to change within the next month it doesn't go in OSM. A lot of OSM apps and servers cache the OSM dataset so anything like a road closed for one day would be stale before it even reached users.

Thats one of the big issues with OSM though, they have an attitude of "Thats not my problem, it should go in another dataset" but then no one actually has an alternative place to put it so users just miss out.
Seems like someone finally got to Inbox Zero.

But terrifying at the same time. I wonder how many valuable targets might have had outstanding validations from 10 years ago, or even 3 years ago.
Pattern matching isn't just about having a switch statement, but about what you can do in the 'case' part of the statement: match complex data and extract variables.

A good example of how pattern matching simplifies code is given in the 'Patterns and Functional Style' section of PEP 635 [1]:

match json_pet:
case {"type": "cat", "name": name, "pattern": pattern}:
return Cat(name, pattern)
case {"type": "dog", "name": name, "breed": breed}:
return Dog(name, breed)
case _:
raise ValueError("Not a suitable pet")

The equivalent if statement would be kind of gross:

if 'type' in json_pet:
if json_pet['type'] == 'cat' and 'pattern' in json_cat:
return Cat(json_pet['name'], json_pet['pattern'])
elif json_pet['type'] == 'dog' and 'breed' in json_pet:
return Dog(json_pet['name'], json_pet['breed'])
raise ValueError("Not a suitable pet")

One can imagine extending that to parse 6 or 7 types of messages.

Another example is matching tuples or sequences: the equivalent if statement requires checking the length of the sequence, then extracting the variables, etc. The 'case' statement does all of that in one line.

In other words, as one of my university professors would put it: 'there's nothing that can't be written using plain ifs, adds and jumps, but that doesn't mean we all want to write in assembly with just 3 instructions'.

[1] https://www.python.org/dev/peps/pep-0635/#patterns-and-funct...
Nothing obvious. I've found Cmd+Shift+P, then delete the > character, works extremely well in place of Cmd+P.
How to Test the WAF?
As a Canadian I was curious if I could find a reference to a similar process in our procedures, and indeed we are also subject to Royal Consent. Interesting!

https://lop.parl.ca/sites/ParlInfo/default/en_CA/legislation...
SPF asserts that a given IP address is authorized to send mail from a particular envelope sender domain (the user typically does not see this domain)
An email with a user visible From address of potus@whitehouse.gov can have passing SPF from evil.com

DKIM asserts that the message contents have been sent by a particular domain (or domains), that domain does not necessarily relate to either the envelope sender domain, or the domain the user sees in the From address.
Again, an email from potus@whitehouse.gov can have a perfectly valid DKIM signature from phisher.com

DMARC is a policy layer over the top of these, which ties the domain the user actually sees in the From address back to those used in SPF and DKIM.
This is where the potus@whitehouse.gov email starts getting blocked. Neither the SPF nor DKIM of the email are "aligned with" whitehouse.gov, and we can start to do something about the spoofing.
hmm..got your point. We shall definitely look into other queuing system to be integrated as interface. Trying to understand better, what's a super simple dev setup like (to get the adoption)?

Right now, we can run SigNoz with all components including Kafka and Druid in 4GB memory supporting around 200 events/sec. Though, will need to check whether this micro setup passes a run of a few days.
ACM Finds Professor Tao Li Guilty of Severe Misconduct [pdf]
It depends on the subject of 'overthinking':
not all subjects are compatible with subconscious/instinctual approach,
creative/physical effort dominates only with simple rules and restricted systems - once your field is complex enough overthinking is more
potent at uncovering flaws/loopholes/creative insights.
The only example of how to use it is an animation that is just impossible to read :(

Here are the examples in the live demo[1]:

%LOAD sqlite3 db=chinook.db timeout=2 shared_cache=true
%XVEGA_PLOT X_FIELD EmployeeId Y_FIELD ReportsTo BIN TRUE MARK square WIDTH 100 HEIGHT 200 <> SELECT EmployeeId, ReportsTo FROM employees
%XVEGA_PLOT X_FIELD EmployeeId Y_FIELD ReportsTo BIN MAXBINS 3 MARK bar COLOR red WIDTH 200 HEIGHT 200 <> SELECT EmployeeId, ReportsTo FROM employees
%XVEGA_PLOT X_FIELD EmployeeId Y_FIELD ReportsTo TYPE ordinal MARK bar COLOR green WIDTH 200 HEIGHT 200 <> SELECT EmployeeId, ReportsTo FROM employees
%XVEGA_PLOT X_FIELD Name TYPE nominal Y_FIELD ArtistId BIN MAXBINS 1 MARK line COLOR purple WIDTH 200 HEIGHT 200 <> SELECT Name, ArtistId FROM artists LIMIT 10
%XVEGA_PLOT X_FIELD EmployeeId GRID false Y_FIELD ReportsTo MARK area COLOR pink WIDTH 200 HEIGHT 200 <> SELECT EmployeeId, ReportsTo FROM employees

[1] https://hub.gke2.mybinder.org/user/jupyter-xeus-xeus-sql-x64...
If folks are interested in browsing (and editing) GitHub repos in VS Code without cloning, the GistPad extension might be worth checking out: https://marketplace.visualstudio.com/items?itemName=vsls-con....

It’s not necessarily as convenient as a web client, but it lets you work from your existing/customized editor setup (e.g. theme, keybindings), and it supports editing, branches, commenting, etc.
Also can improve performance.
The main thing that makes them use the current system is the liability they could incur by not doing it. And because it's cheaper than processing all the DMCA claims.

If they were indemnified by law and even worse liable for penalties if they keep the current system, then they would quickly change it.
If you want something self hosted I also wrote this: https://github.com/gravypod/ButcherSchool

The scripts there should still work for the exams.
Eventually HN will get hacked (doesn't everyone?) and all the upvotes/downvotes will be revealed too!
They make an attempt. UCEPROTECT is nearly an extortion racket. Search for "uceprotect lowendtalk" or "uceprotect webhostingtalk" and it's nothing but providers complaining about being forced to pay $600 or they stay listed for a year per entry, including terminated spmamers that lasted an hour
There most certainly is, but it tends tobe a late-bloomphenomena I've noticed. Eventually, you end up coming to terms with the fact computation is not free, and it starts to make a lot of software really, really bloated and frustrating. In fact certain software solutions that rhyme with sock drain which utilize a proof-of-work algorithm should cause one with an understanding the ramificationsof all that wasted computation blanch in embarassment if they've managed to mature past that irreverent "I'll leave the lights on if I want to" stage of life. Particularly when applied to the task of monetary or value transaction.

Alas, I digress. I do recall that some fanned ARM chips could actually run long enough after power was cut off to shutdown safely because the power generated by the fans spinning down was enough to keep the chip powered and processing for the most part.
Sleep and Learning
WaPo, Daily Wire, The Telegraph.
I work for a company for a company where we are heavily invested in Haxe and have built our platform in it, which we use to create applications. Doing this allows us to target HTML/JS and Unity3D with the same code base for an application. I'm hoping we might eventually release the platform under some kind of open source license, when it matures a bit more.

However at the moment we are struggling a bit to find talented programmers, so if anyone is reading this - knows Haxe well, and wants to work in Copenhagen with a company whose mission is "helping to save more lives" (we take that very seriously and hold that above simply making money) then send me a message ;)
Yes they have. Check for example vonderleyen the president of EU Commission
SMTP is going to be with us for a long while yet, but some folks are standing up to do something about IMAP - https://jmap.io/
> like I'd taint my career and be viewed as a failure

My old boss said: "on the way to work in the morning, you should be whistling". I'm from The Netherlands, and I'm not sure if it translates well. But that's the point where I thought that I love engineering, stopped caring about what others may think, and put my management ambitions in the freezer.

Five years further, and I'm slowly coming back to that decision, but in a much more natural way. I started freelancing, took on an apprentice, and slowly I'm getting more responsibilities. But in a natural way, not an all-or-nothing choice.
I grew up in a Scandinavian country but have never been able to skate to school. We have a lot of snow and ice but only the ice on the lakes and the arenas has been appropriate for skating where I grew up. The ice on the roads between my home and my schools has not been skateable with skates. Short stretches of it maybe.
I mean... It feels pretty accurate to me...? Am I missing something?
Are you sure you mean the far right? There is not a single person arguing for a white ethnostate in the article or these comments.
Honestly I'm not sure what all the fuss is about. I just skimmed over PEP 634 and PEP 636 (the accompanying tutorial) and I'm actually kind of excited to use this. I've missed this feature after using langs like Rust, Haskell, and Scala. People have pointed out some surprising edge cases such as this:

NOT_FOUND = 404
match get_status():
case NOT_FOUND:
# this actually assigns to the global NOT_FOUND
# and is effectively the default case
case _:
# this never gets triggered

Yeah, I agree that's a bit ugly. But you can apparently do this:

class Status(Enum):
NOT_FOUND = 404

match get_status():
case Status.NOT_FOUND:
# works as expected
...

And really how is any of that more ugly than this?

def func_with_default(foo={}):
if "bar" not in foo:
# "bar" is set in the module-level dict that
# was initialized when the func def was parsed,
# not in a dict that is created per call
foo["bar"] = ...
...

And we've been living with that one for years. These are just the things that you have to learn when you start using Python, just like any other language.

I, for one, am excited to start using this syntax.
What about the liabilities of sharing data with a third party? Your are sending all kind of data to a third party processor.

Edit: I am not being critical, I am really asking.
* upto a limit of 10 lookups, which is surprisingly easy to hit these days
Well, renewables have been by far the main source of energy in brazil since the 70's.
Also brazil has found a way to have almost zero emission cars with ethanol since the 80's.
Looks like sustainable tech outside the first world never gets credit.
Matching literal pattern isn't the only thing it adds here.

I think the capturing part is the (more) useful one and can save you more typing than your example.
I’m glad they finally dumped their idea to use Electron to develop Ubiquity’s replacement.
Traditionally hedge funds have an information advantage. Retail investors will eat that edge as the internet gives everyone huge amounts of information at their fingertips. We will see the rise of extremely wealthy reddit traders
No what you are talking about is called fluid design not responsive. So whether a website responds fluidly to browser resizing is a design decision and not indicative of something being broken. This is such a common and frustrating misconception.
'Under-loved' fish renamed for British tastes
Do you think the polarisation is driven by media drifting further apart, rather than the media drifting further apart due to polarisation?
Pablo Escobar's hippos must be culled to halt biodiversity disaster
Recognising the cost and quantifying it doesn't need to target the BTC users. It can target regulators for example. If we don't keep bringing the issue up, does the issue exist? Should we also stop taking about climate change since we won't change the minds of people running coal mines?

Even without a call to action, changing overall sentiment can influence action in the future.

> Does anyone have an amount of power consumption reduction that they think would make Bitcoin use justified for the functionality it provides?

Close to 100%, given PoS coins exist. Especially once ETH and other larger communities migrate.
A 3-step framework for building a modern data stack
Just leaving this with everyone for consideration...
I tried looking for a source but couldn't find it: I read years ago that a survey with the question "Would you rather have an elfstedentocht or win the World Cup" was answered predominantly with the former. I've used that as an example of how important this event is for the Dutch when explaining it to my foreign friends. I'll keep looking for a source, but no doubt the elfstedentocht is one of the most important events in Dutch culture regardless.
module-level dict?... why...
The general tripping up of binding vs mutation vs assignment vs initialization is a pervasive Python issue. This just continues to double down on exacerbating the problem.
I'm only speculating, but the reason is likely because language servers are not written in JS. I assume electron apps can spin up arbitrary processes, allowing for a language servers to be written in anything. It'd be neat to see these language servers compiled to WASM and run as a web worker, although I suspect vscode isn't setup for that.

I think Codespaces is able to pull it off because the language servers, and vscode itself, is really running on Github's backends. They've set up the frontend to connect to a remote host.
Do Things that Don't Scale (2013)
> what real value this is adding in it's current incarnation?

Ctrl+Shift+F works. I've forgotten how many repos I clone off github just to be able to search all through the code.
Url changed from https://twitter.com/jason_koebler/status/1359213426740895744, which point to this.

Submitters: "Please submit the original source. If a post reports on something found on another site, submit the latter."

https://news.ycombinator.com/newsguidelines.html
Chevron spills 600 gallons of oil into SF bay
Github allows you to search through repositories as long as they're not forks.
Uh...that's my point. Everyone new to Python has to eventually learn not to do that.
I handle this by firing up a Fargate instance with a Docker container pre-configured for VSCode Remote SSH. Then once you connect to it, you can install whatever language server you want assuming it's not baked into the Docker image. An EFS mount persists my sources across runs too, and I can scale it up to whatever size Fargate instance my development of the day needs.

Would be cool to tie it into this.
would be cool if you could fork the repo and make pr
I think relatively few key people at AWS realize the level of popularity of this tool, but I know of multiple AWS employees who are big fans of it and a few have also contributed to it in the past.

AWS has been offering the APIs that the website uses currently as its main data source and also historically sponsored some of the hosting costs.

There's now also a similar table comparison view (although maybe not yet as convenient/comprehensive) available in the AWS console, but it's under active development and improving all the time. As far as I know the intent is to eventually have that view cover this use case. The AWS console team is eager to get feedback from customers to help improve it going forward.
I still have that book on my shelf.
We detached this subthread from https://news.ycombinator.com/item?id=26083214.
Also take a look at http://improvethenews.org and the work of Jonathan Haidt.
Show HN: Start working remotely is a job search I built using V
This is a wordwide problem.
Europe has also seen increase in Catalytic Converter theft.
This is most likely related to the economic impact of the pandemic.
Sure, but how often is string formatting the bottleneck on performance?
This argument would be completely unnecessary.

Playing music to yourself, your friends etc. is 100% legal in all cases.

The cop doesn't need to make any arguments whatsoever about who it's being played for.

The person doing the filming and distributing is the person infringing.

It's completely obvious, there is no ambiguity.

The only approach, however hairbrained and ridiculous - would be for the IP owner to go after both the content video/distributor - and then somehow also rope the cop in as though they were somehow 'part of the preformative act' of making the video. But that's beyond a stretch.

In reality there are no hairs to split. If there is infringement, it's the person making the video.
How does that work? I've never been able to find this option. Also, this tool's search is broken. It searches only the currently open file.
We have quite large codebases that I’m inclined to convert to f-Strings because it is much more compact and elegant than the % and .format variants.
A couple, you can start here to see how the Active Oberon based OS looked like,

https://www.progtools.org/article.php?name=oberon&section=co...

Some links are broken now, because ETHZ no longer hosts the A2 site, however you can get the latest language report at http://cas.inf.ethz.ch/boards/2/topics/1

And the source code and old documents for the original A2 OS at github, https://github.com/metacore/A2OS
Google censoring timnitGebru by hiding news tab (mostly for US visitors)
I've been using inline roller skates as my primary mode of transportation for the past month. The city I am currently in was clearly not designed for bike or skate traffic, but some newer areas are more accommodating. I've managed to do anything I would have used a car for, on skates. It certainly requires more logistical creativity, but it's a much more enjoyable experience and has no adverse environmental effects.

I would be thrilled to participate in an Elfstedentocht. I am somewhat trained and have my own figure skates, though I'd want speed skates for this event. The 200km seems doable, especially since there would be no elevation changes.
I don't know if the but short thesis is well grounded, but this attempt of debunk is certainly very weak. For someone like myself who does research for a living, this debunk is close to offensive.

The author claims that the thesis to be proven wrong is based on false data, and then goes on and on criticizing the data on which the thesis is based without any evidence and questionable assumptions.

The most annoying part is the supposed debunk of point two. The thesis to be debunked is based on data from a website. To debunk the thesis the author reconstruct the findings of the thesis and comes to equal conclusions. But then it is stated that that data is fake and that such results cannot be reproduced with any data from other sources. But in doing so "the debunk" does not provide any reference to the alternative data supposedly used to verify the thesis.
Awesome! This was something I needed and wanted to write, thx for making it!
Thanks for the confirmation. I've very much on Carmack's side of things, and I do often have to explain my 'unbalanced' approach to things.
I don't really get the framing of questions like this. While the "Covid is just another flu" takes were bad at the beginning, the vaccine is 95% effective at preventing hospitalizations so with it then the "covid is just another flu" take is more than true.

We will probably need an updated shot every year, which will be annoying, but older people will be on top of it and a lot of young people will get it too. If 15% of the US population decides they never want the shot and die because they eventually get it - that sucks but not worth keeping anything closed for them after they've passed.
I think what we're learning from many debacles on YouTube, Amazon, and Google is this:

Algorithms are not even close to substituting for human customer service, human moderation, and human judgment.

Maybe this means web-scale sites like Amazon's marketplace aren't viable. I'm fine with that implication. Stores like Target and Walmart seem to have the same prices with human-curated inventories, and I don't really miss the millions of extra products Amazon has.