skysight-inc/HackerNews huggingface dataset:
If you aren't demanding 100% reliable success, "first, I'll solve the halting problem and then I'll apply that to the problem I'm actually facing" is a viable strategy. My workplace does this, especially with the PhD holders. It's kind of amusing to put aside well-founded fears about the halting problem. If you are clever, it works more often than most people would imagine.
It’s absolutely useless in the wrong hands, so I don’t think you’d necessarily get a good signal by asking your average blue teamer. It’s a godsend for someone who spends a lot of time auditing code and has some experience writing code analysis tools.

I mean think about it, if you wanted to write a query against the AST of a target, would you find that useful? Or in a given codebase, if you find one bug, would you like the ability to capture that in a query that can tell you if a similar mistake was made elsewhere?

Out of the box, it isn’t going to give you much value. It’s the power of the query language, if it’s your job to do that, where you’ll see the benefits.

But don’t take my word for it, just try it out.

Their licensing model may be problematic for your use case though. I only vaguely understand what you do, but last I asked them about it, it’s not possible to get a personal license that a security person can use for multiple projects, and my read was that they had no interest in selling to individuals anytime soon.
Python’s new type hinting seems to solve most problems pragmatically, are there issues you have with it?
> gigabit with a 1 TB data cap and only 90 Mb/s upload

Do you actually get that throughput, or is it nonsense and you in real life only get 1/50 that rate? Please be so kind as to post some actual stats based on your own personal benchmarking which we can VERIFY. Thank you very much good sir!
Where you shop and where you eat is now a political choice in Hong Kong
As a mundane note, what is the reason that the audio quality in this video is so poor? It sounds like they're using walkie talkies from the 1970s. How can the US military, which spends more money than anyone else, have Navy pilots using heavily distorted audio communication systems that aren't even as good as a standard cell phone?
Indeed. Remember the McCarthy hearings?
A meteorite? A projectile? A sensor ghost?
Things disappear at night when they turn their lights off. It’s common to confuse it with extreme speeds, but I am not sure why.

PS: One of the strangest things I saw in the nights sky tuned out to be one of these: https://m.youtube.com/watch?v=5J52MLXXUy4 My perspective of how large and fast it was ended up being completely wrong.
>This data is becoming a huge mechanism for subsidizing TV sales and the interactivity is being looked at as a huge opportunity to recoup some of the ad spend being lost via streaming and fewer 30 second spots

So what are the options for a consumer willing to pay for privacy? Will console manufacturers be more respectful for example? (I've considered a console to serve as a bluray player / host OS for streaming apps that also plays games).

Or are we stuck using dumb tvs and connecting out laptops to them via HDMI? (And thus no 4K iirc)
World's biggest wind turbine set to start turning off Netherlands
IDK, the last "progressive" action on insurance more than doubled my rates and I had a distinct feeling of some kind of corruption like insurance companies were cashing in.
Not every memory access to a memory mapped file is automatically paged out immediately, so depending on vm dirty bytes, etc, you may get away with it for a while.

But the worst case will be dismal and not unlikely.
Aw man I was gonna hold up SICP as a counterexample
Hong Kong protests: The Taiwanese sending 2k gas masks
I understand all that.

If the entities actually behaved as described (which is a big if, no doubt - people make mistakes and a military test might be trying hard to deceive them) - no visible exhaust, massive instaneous acceleration/deceleration, etc...

Sure, it could absolutely be a natural phenomenon.

But it's not crazy to say the claimed hoofbeats sound kinda stripey.
What do you mean "betting hard"? It kind of implies that if you didn't get into python in 2008 you missed the boat. But in reality anyone who can code another programming language can pick up python if they want to do it for career reasons (or any other reason).
I’m not personally convinced about the veracity of all of that, but I’m amazed at the scope and specificity of what they discuss.

The reality I see is several hundred thousand people can believe virtually anything, and all agree with each other. Look at the anti-vax movement, which today compared itself with the civil rights movement. Also, flat-earth and creation science come to mind. I can’t say if any of these are right or wrong about their respective claims, but their tactics and communications styles are largely similar. The group’s metaphorical center of gravity becomes so dense it manufactures its own credibility from within.
i think the bigger story is about deplatforming and the freedom to speak your mind. its intellectually gratifying unless we ve given up on free speech and willing to give a pass to every mob
Python has type annotations[0] and tools such as mypy[1], which enable fairly decent optional static typing.

[0] https://docs.python.org/3/library/typing.html
[1] http://mypy-lang.org/
The fact that they take the roaming boot off your neck is worth it on its own. Even if it's "faux unlimited", their roaming agreement is sooooooooooooo good, if it is as it seems to be described.

Not really sure why anyone would stream video at more than 480p on a phone, and I have no idea how they could implement that anywhere except YouTube and maybe a couple partners (Netflix?) but that may be worth trying the Flexible plan, which is still pretty great for roaming.
Note that this only applies to banking. Assets "directly held" (eg fine art) are exempt from eg FACTA. A loophole big enough to drive a truck through, but only for the wealthy...
I agree on EKS,IMO is it an unfinished bare bones "managed" service. Upgrades of control plane and nodes is a royal PITA - very manual and error prone. In GKE it is literally 2 gcloud commands.

I think AWS hamstrings kubernetes still bc it is holding onto ECS. Hopefully they see the light soon, beef it up and make it equal to AKS/GKE. At least make masters/control plane free...ugh
Grounding learning of modifier dynamics: An application to color naming
Yeah sure, but the fact remains that the government does know, has known, and continues to keep secret that these really are alien craft according to dozens of respected military whistleblowers who courageously came forward to break their NDA's and tell the truth on the subject.
Yeah. One place that I read when I want to know what's up in the Spanish speaking world is El Pais from Spain, which has Latin American coverage too and an overall tone pretty similar to NYT.

I think that "international paper of record" status may be what they are going for, vs. "translate America".

I didn't say it made business sense (they admit as much in their own announcement), but that the assumption "Spanish = immigrants" is incorrect, and explicitly not what they were trying to do. We should avoid such a US centric view of the Spanish speaking world.
I watched Joe Rogan interview Bob Lazar [1] which seemed mind blowing if everything he said was true. But then I went and researched it and seems more likely he came up with some fantastic stories to keep himself out of prison after he got caught taking a bunch of friends up to the mountains to watch some classified experiements of a particle beam device. It's not my field of study, but some opinions I read were that the government is developing, not offensive weapons, but devices to confuse enemy sesors (radar, FLIR and visible light sensors, including human eyes). They claimed that a beam of charged particles could be focused such that it would create a glowing ball of plasma(?) at a distance and sensors would interpret is a craft of some sort. Since it is a particle beam it can be moved around in ways no solid object could.

So these things are tests of this particle beam confuser, not alien spacecraft. I dunno. With my limited understanding is seems more likely.

[1] https://www.youtube.com/watch?v=BEWz4SXfyCQ
GKE and AKS both require setting up instance types for node pool(s) but you don't need to worry about the OS and related issues on either. Both also support auto-scaling and auto-upgrades.

GKE is far more managed though with advanced features like global network, aliased IPs, global load-balancing, istio/traffic manager integration, private IPs, metrics-based-autoscaling, preemptible nodes, local SSDs, GPUs, TPUs, etc.

Azure Container Instances are nice, with the GCP corollary being Cloud Run using KNative. Both products are designed to quickly run a container image with a public endpoint, but ACI is not part of AKS. You might be thinking of the Azure Virtual Kubelet which lets you burst on-demand to ACI, but this is a very advanced use-case and not the normal cluster setup.
Yeah people always drive by with this exact comment. My writing style comes off this way sometimes, I can't control how you interpret my comments. It's a social media post, not a great American novel.

Oh no my social media comment was read as "smarmy" by some internet drone. Yawn
Yes. There are no US wireless (LTE) carriers that offer L7-neutral internet access.
I feel like all the people who are involuntary organ-donors might disagree if they weren't dead. China has a way of disappearing people who don't like it. I wonder how many people would come out more vocally if you weren't disappeared for disagreeing or even being outspoken.

https://www.news.com.au/lifestyle/real-life/true-stories/the...
Russian nazis are not sitting in the Russian parliament and do not have their own battalions, like their Ukrainian peers (see Azov battalion).
Adopting any piece of technology just because it's a fad or otherwise trendy is rarely a good justification.

It sounds like the primary reason you're deciding to move away from it is because you don't face any of the problems that it's there to solve, rather than it being an operational burden.
It's not really "Eating" it the way that javascript was eating into the server space. Python is a de facto fallback language, and is being used wherever there isn't a better domain language, because it s well known. i dont think developers with superior DSLs switched to python. it's like a broken clock that s right many times a day. Even their graph shows that it's not really cutting into any other major language
That's certainly impressive, though 99% of developers aren't in the business of making high level language design decisions like that. I agree though I think it would be very rare to find a self-taught developer that's studied category theory and other high level mathematical concepts on their own. I think Brian Mckenna made some very convincing points with that article.

I don't think college is bad, I think debt is bad and for the vast majority of people entering software development the key is to get things done in a timely and efficient manor, I think it's pretty safe to say you'll never get the opportunity to apply category theory during your daily standup meetings with your scrum team as your managers are trying to meet deadlines for their clients, it's the unfortunate world we live in, if everything was free and nobody had to work hell stay in college your whole life. I wish I had that luxury.
Completely off-topic for this article, but maybe you'd like the Wall Street Journal. It's the exact same news, more or less, but the editorials are crazy in the opposite direction.

I read both. The reality is, that most mainstream news sources agree on the facts and even the analysis of news. Then they have editorials and columnists, and that's where they really differ. But you don't really know for sure unless you take in a variety of sources.
Even the bronze plan (which was always compliant) is terrible, though.

Depending on the state and plan, but it’s around $400/month and $7500 deductible for a single adult, so you’re paying more than $12k out of pocket before you get anything, except some very basic preventative care.

Our health care system is a joke.
That sounds like circular reasoning to me - you seem to be saying that if we can observe something it must therefore be entirely natural.

That doesn't follow, though. The obvious example would be that if Jesus actually rose from the dead by a miracle, then people who were present could see him and put their hands on his scars.

Is the supernatural inherently not scientifically testable?

Absolutely.

It does not follow that it could never be observed at all, if it exists.
I've seen those videos. The objects were at 80,000 ft traveling at Sonic speeds as recorded by jets flying in the vicinity. The object also took a sudden left so fast that our radars could not lock in the position. All to say that it is ok to entertain that these are not identified by human technology and they may not be our drones.
Well the alternative is what we have now: "how much does it cost to get a reliable connection during busy periods?" "There is no amount of money that can buy that."
It's really not "enterprise". It's because you have a resilient platform that provides automatic deployments, rolling upgrades, failover, auto-repair, logging, monitoring, storage/stateful data management, and more out of the box with a simple declarative YAML configuration.

Kubernetes can run a simple container with 1 line if that's all you need, or you can scale up to several different services with a few more files, all the way a massive deployment with thousands of containers. How you use it is up to you, but you do need to read and understand the basics.

However there's absolutely no need to run Kubernetes yourself unless you have a serious reason to. If you must, I highly recommend using something like Rancher [1] that can install and manage the cluster for you, even on cloud providers.

1. https://rancher.com/
pytype is nasty when you're trying to set a return type for a function that was previously returning different types (e.g. let's say different protos).
Nah, it's an Angels & Airwaves tour. His band, known as AvA has been around for more than a decade. He's been working this whole media conglomerate for many many years, and this is just another part of it, IMO.

If you're interested in actually funding research in extraterrestrial life, donate to SETI - https://www.seti.org/donate
Sounds a lot more like sensor jitters or optical illusion than a 23rd century aircraft flying in nonsense patterns over a giant teleporting submarine.
Yes, that's worth a read. Lots of thinking about how to deal with people moving to cash and how to deal with that or prevent it. The section on "Using Communication Tools to Overcome Political Challenges" is interesting as well.

There have been a lot of papers on this topic over the past few years, many of which are listed in the references of this paper.
That doesn't explain in what sense this entirely different paper from 20 years later allegedly "left out the gates to the wrong answer".

The paper I linked to says, e.g., the following:

> Subsequent multipliers can similarly be replaced with maps by considering only possible outputs of the previous multiplications. However, using such maps will become intractable, [...] Thus, controlled full modular multipliers should be implemented.

So in at least one case they are explicitly not taking a particular shortcut because it doesn't scale to factorizing larger numbers. If you say they are taking other shortcuts that don't scale by "leaving out the gates to the wrong answer", then I think you owe us an actual explanation of what shortcuts they are taking and how you know you're taking them, rather than just a link to a paper from 1996 that says how to take some shortcuts.
I blocked these URLs on my router, and my Samsung TV went into a setup mode, eventually switching languages into German.

config.samsungads.com
samsungacr.com
samsungads.com
samsungcloudsolution.com
samsungcloudsolution.net
samsungotn.net
samsungtvads.com
I won’t fault them for obeying a court order. I just hope the beheading videos are archived somewhere so future generations won’t believe we were just that offended by brown skin.
One problem I have with that approach is I'm very confused about how sound works.

Consider three ways to play a movie:

1. From a source device (AppleTV, Blu-ray player, etc) connected to an A/V receiver.

2. From an app on your Smart TV, with the TV passing sound over ARC or optical to the A/V receiver.

3. From a source device, as in #1, but with the device connected to one of the TV's HDMI inputs instead of to the receiver. Sound going from the TV to the A/V receiver via ARC or optical.

Everything I've found seems to agree that #1 can handle anything, with the only limit being formats that are newer than your A/V receiver understands. Mine doesn't know about Dolby Atmos, for example, so wouldn't be able to do that.

For #2, the limit seems to be the bandwidth of ARC or optical. Optical can't do 5.1 or higher PCM, Dolby TrueHD, Dolby Atmos, DTS:X, or a view others. It can only do stereo PCM, or matrix surround formats.

ARC, if your TV and A/V receiver implement a new enough version of the HDMI spec, has the bandwidth for all those formats.

For #3, some sources say that there are licensing limits, enforced by HDCP, that disallow the TV from passing a high bandwidth audio signal directly from an HDMI input to an HDMI output. Instead, the TV has to do the Dolby or DTS decoding itself, and then re-encode to a lower bandwidth Dolby or DTS format, and send that on.

I think that the very latest version of HDCP will remove that restriction, if both the TV and the the A/V receiver support it (not sure if it also needs to be on the source). But I don't think that is expected to start showing up on consumer equipment until next year.

Unfortunately, my receiver is not 4K, and I really don't want to get a new receiver until that latest HDCP is out, to maximize future proofing. So for now I have to choose between #2 and #3 when I want to watch something in 4K. I think the ARC supported by my TV and/or my receiver probably only has enough bandwidth to support matrix formats for surround sound, but with #2 I think it will be using a matrix encoded bitstream from the source, just passing it through. With #3, it's going to be going through decoding and re-encoding on the TV, to then be decoded again on the receiver. #2 seems better, then.

This is all WAY too freaking complicated.
So I did read a whitepaper about static analysis at Google, and how it was largely self-serve - let developers run the tools and fix what it tells them to as they see fit. I’m wondering if it was under this model where you found it was not useful. I would not expect it to provide much value in that scenario, and would not be surprised by your feedback.

If your data is closer to a model where security bug hunters whose sole job is to find vulnerabilities and audit code, and it was deemed not useful in that scenario, then yes, I am at odds with your claim. Admittedly, that’s a pretty niche set of customers. If you don’t learn Semmle QL, and you aren’t writing queries, it’s probably not for you.
Communicating with gravity waves would be very inefficient given how weak Gravity is. I don't see any reason why you would want to use gravity for communications... but who knows.
Facebook Announces 'Portal TV' for Streaming Content and Holding Video Calls
Ask HN: How to Approach Algorithm Studying?
I'm using leetcode.com to study algorithms and I'm finding I'm actually struggling on my first pass.

Generally, I can intuit the "brute force" solution, but the "right" answer with linear/constant time often requires looking at the answer.

Should I expect that with practice, I'll eventually get better at quickly finding the optimal solution? Or, is it expected that optimal solutions are "memorized" similar to how hard sciences like ME / EE / CE memorize formulas?

Take ThreeSum problem for example. I was able to write the brute force solution without any prior knowledge of the problem. In an interview with time constraints this WOULD have been my solution.

I now understand that's not the right solution. I've looked at the answer, and I have the "right" solution memorized. That kind of feels like cheating though Should I have been able to write that "right" solution straight away, with no prior exposure to the problem?

Just trying to understand what my goal is in this process, and what is considered "success" for my studies.
Tbh most tech startups I've worked at have done tons of stuff at all hands style meetings that came off as cultish and just very cringey.

I would say there isn't anything here that makes wework an outlier in terms of cultishness.

It's just a tech startup flavored scam in my opinion.
Fun detail: node internally will use thread pools to do CPU-intensive tasks that would normally block the main thread.

For example: https://github.com/nodejs/node/blob/master/src/node_crypto.c...

I generally use that as an example when explaining to people why Node isn't a great fit for a lot of workloads. They have to use these features internally, but you as the user with a CPU-intensive job don't have access to those features.
Google Fi is a no-go for me as they make me lose my Google Voice number. Currently, I'm on the old T-Mobile One plan with One Plus International for $25/mo, which gives me unlimited Hot Spot and LTE data plus a lot more. Unfortunately, the knuckleheads at T-Mo discontinued it, so, now they have almost no competitive advantage.
The US Navy does not do guinea pig exercise with live weapons because if pilots don't know it's a exercise, people die. One of these craft almost crashed into a fighter jet which is part of the reason so many personnel have come forward
Go to page 2 of the home page.
This is like the famous comment in the "Show HN: Dropbox" thread that said you could just use rsync/ftp/git instead. Meanwhile Dropbox is now worth over $8B.
Pretty sure Neumann is making out like a bandit.
https://news.ycombinator.com/item?id=21011075
I think you know nothing about the Navy
How much do they make per user? I would have have thought it was in the $10-$20 range and not enough to trigger any price sensitivity. I'm a tightass with an aldi TV but wouldn't have cared if it cost $10 more.
I Pick Heroku over AWS Lambda. But Not Always
Many more than one, from both the fighter jets and ship personnel onboard vessels in the regions.
Shhh it's an art project. Let people analyze it as science as if it were ever meant to be done so that way.
Voting is a killer feature. It is an effective spam fighter and makes farm-troll's jobs much harder.
I'm not sure, but I do think they follow the standard guidelines, meaning they won't archive if the flag is on. This can be verified by going through the Heritrix crawler's source code.
First time commenting so excuse me if I say something wrong, I believe there should be something similar to cable for these streaming platforms like a company that pays the companies to stream their content on their service for a smaller price for the consumers that way we won't be forced to pay for some many services all at once, the cable concept is starting to make sense.
Guess there’s still copper egg for them to poach.
How well do you think a cell phone works out in the middle of the ocean?

I don't know anything about the particular system in use there, but the military has communications that can send voice from anywhere in the world without ground infrastructure in the presence of jamming, it also has systems that avoid emissions that could be used to target weapons .... coverage area, jamming resistance, covertness are all important qualities which can be traded off against audio quality.

Good training can make audio which is barely recognizable perfectly intelligible. I thought that audio sounded pretty decent, in fact.