I followed Start Bodyweight for a while, seemed pretty good. The emphasis on being able to manipulate one's own bodyweight appealed to me, and end goals of the progressions like one-armed pushups/chinups/etc are pretty…
I didn't interpret you as saying that the F-35B should be cancelled. I'm more bringing context that it's not solely a US Marines toy, and not solely a baby-carrier plane. I don't think that adding catobar support for…
It's about a combination of stealth and the sensor/avionics package -- the ability to detect and identify SAM radar systems and launchers, and chart a path which minimizes likelihood of detection, aided by the…
There are 12 catobar carriers in existence at the moment, 11 operated by the US Navy. (Soon to be 13 with the Chinese Fujian carrier entering the mix.) Maybe the UK would've gotten their act together and fitted catobar…
I don't think you understand the kinds (and volumes) of SAM firepower a Soviet hangover can leave you with. Ukrainian skies are the most dangerous skies in the world right now, for both sides.
Are you claiming that the Pentagon is secretly acquiring F-35 airframes for far higher prices than other JSF program partners or foreign sales customers, in order to cook the books?
These are some weird takes. Saying that the F-35 is built for ground strike roles doesn't mean that there's no need for ground forces or infantry, or that other capabilities won't ever be more suitable for certain…
> We keep saying missiles are great and dogfighting is over, and we keep being proven wrong. My understanding is that the "dogfighting is over" rhetoric stopped being proven wrong during the Iran-Iraq war, when Iraqi…
> Pretty much all buyers of the F-35 have been offered different sorts of kick-back deals, where they get to produce parts of the plane or handle maintenance, so the deal props up the national arms industry in some way…
You might want to track down the information they release from multinational training exercises like Red Flag. Reportedly the F-35 has put in multiple dominant showings at Red Flag since its debut. I'm not sure how…
Small, high-GDP countries like the nordics are also likely to rear a small amount of the high-quality pilots required for operating fighter jets. Maximizing those pilots by putting them in exquisite, high-end aircraft,…
Yeah, this. Smaller countries can easily wind up holding the bag with less-widely adopted defence procurements, and without a wider community of users investing in the platform and its parts ecosystem it can become a…
The four colour theorem does generalize to infinite planar graphs, in the sense that if an infinite graph can be embedded in the plane without overlaps, then a four-colouring is possible. It's a straightforward…
Don't worry, they probably just want to fill out requirements documents with "Agile" written on them.
Really the best usage of all the computation models we're discussing here is using them in mathematical reasoning. If you're looking to "create real working programs," then a better basis is probably going to be some…
This whole debate is always so bewildering. Programming paradigm fanboys get into heated arguments about which model is the "best" one, but actual computer science research uses myriad different models of computation,…
When you mentioned infinite structures, I thought you'd bring up the idea that our goal to automate often pits us against problems defined as collections of infinitary instances. I don't think the potential infinity of…
I agree with the sentiment, but I've actually come to consider "computer science" to be a great name for our field. Turing's universal machine is the original dependency inversion of our field: instead of specifically…
I think the point being made here, is that it is difficult to gain recognition for counterfactuals.
> Even in the much cleaner world of mathematics, basically all interesting work is done within the realm of formally provable statements. More-or-less this. I'm going to take this as an opportunity to drop one of my…
I was expecting a book about mathematical modelling of games from the Street Fighter fighting game series.
I wrote a basic response, but it got longer than I thought it would and HN complained about it being too long, so here's a pastebin: https://pastebin.com/zTJA4bJh
If the time bound is being put in place in the hopes of being able to automatically analyze the behaviour of the code, then no. I singled out "outputting 0" on every input because it's among the simplest possible specs…
> call the time bound N Call the time bound c|x|^k, where x is the input and c and k are constants. I see what point you're making, and I agree that you get yourself a nice, merely coNP-complete problem if you're…
This is kinda part of the promise of regular expressions, context-free grammars, relational algebra, map-reduce and other stream/pipeline-based programming models, and maybe to some extent P-complete things like convex…
I followed Start Bodyweight for a while, seemed pretty good. The emphasis on being able to manipulate one's own bodyweight appealed to me, and end goals of the progressions like one-armed pushups/chinups/etc are pretty…
I didn't interpret you as saying that the F-35B should be cancelled. I'm more bringing context that it's not solely a US Marines toy, and not solely a baby-carrier plane. I don't think that adding catobar support for…
It's about a combination of stealth and the sensor/avionics package -- the ability to detect and identify SAM radar systems and launchers, and chart a path which minimizes likelihood of detection, aided by the…
There are 12 catobar carriers in existence at the moment, 11 operated by the US Navy. (Soon to be 13 with the Chinese Fujian carrier entering the mix.) Maybe the UK would've gotten their act together and fitted catobar…
I don't think you understand the kinds (and volumes) of SAM firepower a Soviet hangover can leave you with. Ukrainian skies are the most dangerous skies in the world right now, for both sides.
Are you claiming that the Pentagon is secretly acquiring F-35 airframes for far higher prices than other JSF program partners or foreign sales customers, in order to cook the books?
These are some weird takes. Saying that the F-35 is built for ground strike roles doesn't mean that there's no need for ground forces or infantry, or that other capabilities won't ever be more suitable for certain…
> We keep saying missiles are great and dogfighting is over, and we keep being proven wrong. My understanding is that the "dogfighting is over" rhetoric stopped being proven wrong during the Iran-Iraq war, when Iraqi…
> Pretty much all buyers of the F-35 have been offered different sorts of kick-back deals, where they get to produce parts of the plane or handle maintenance, so the deal props up the national arms industry in some way…
You might want to track down the information they release from multinational training exercises like Red Flag. Reportedly the F-35 has put in multiple dominant showings at Red Flag since its debut. I'm not sure how…
Small, high-GDP countries like the nordics are also likely to rear a small amount of the high-quality pilots required for operating fighter jets. Maximizing those pilots by putting them in exquisite, high-end aircraft,…
Yeah, this. Smaller countries can easily wind up holding the bag with less-widely adopted defence procurements, and without a wider community of users investing in the platform and its parts ecosystem it can become a…
The four colour theorem does generalize to infinite planar graphs, in the sense that if an infinite graph can be embedded in the plane without overlaps, then a four-colouring is possible. It's a straightforward…
Don't worry, they probably just want to fill out requirements documents with "Agile" written on them.
Really the best usage of all the computation models we're discussing here is using them in mathematical reasoning. If you're looking to "create real working programs," then a better basis is probably going to be some…
This whole debate is always so bewildering. Programming paradigm fanboys get into heated arguments about which model is the "best" one, but actual computer science research uses myriad different models of computation,…
When you mentioned infinite structures, I thought you'd bring up the idea that our goal to automate often pits us against problems defined as collections of infinitary instances. I don't think the potential infinity of…
I agree with the sentiment, but I've actually come to consider "computer science" to be a great name for our field. Turing's universal machine is the original dependency inversion of our field: instead of specifically…
I think the point being made here, is that it is difficult to gain recognition for counterfactuals.
> Even in the much cleaner world of mathematics, basically all interesting work is done within the realm of formally provable statements. More-or-less this. I'm going to take this as an opportunity to drop one of my…
I was expecting a book about mathematical modelling of games from the Street Fighter fighting game series.
I wrote a basic response, but it got longer than I thought it would and HN complained about it being too long, so here's a pastebin: https://pastebin.com/zTJA4bJh
If the time bound is being put in place in the hopes of being able to automatically analyze the behaviour of the code, then no. I singled out "outputting 0" on every input because it's among the simplest possible specs…
> call the time bound N Call the time bound c|x|^k, where x is the input and c and k are constants. I see what point you're making, and I agree that you get yourself a nice, merely coNP-complete problem if you're…
This is kinda part of the promise of regular expressions, context-free grammars, relational algebra, map-reduce and other stream/pipeline-based programming models, and maybe to some extent P-complete things like convex…