HackerTrans
トップ新着トレンドコメント過去質問紹介求人

pklausler

3,645 カルマ登録 11 年前
Sperry-Univac 1981-83, Cray Research 1983-89, Cray Computer 1989-91, Cray/SGI/Cray 1991-2008, Google Platforms 2008-14, NVIDIA 2014-present. Started flang-new Fortran compiler and wrote plurality of it.

コメント

pklausler
·7 日前·議論
This point was weird, since Fortran has never had bitwise operators, as such. (It has had bitwise intrinsic functions since the “mil-spec” extensions in the late 70’s.)
pklausler
·7 日前·議論
Fortran seems to attract a lot of this sort of thing, perhaps because the language has had no real leadership since the ISO committee began jumping the shark in the 2000’s.
pklausler
·26 日前·議論
That is not a particularly well-informed discussion, unfortunately.
pklausler
·2 か月前·議論
I think that the Voyager software is in assembly languages (there are several distinct computers on board), and that it is the program preparation software is written in a “Fortran V” extension.
pklausler
·3 か月前·議論
I’m glad you like it.
pklausler
·3 か月前·議論
There are good reasons to use Fortran, some having to do with the language and many to do with legacy codes. These have to be balanced with the good reasons to avoid using Fortran for new development, which also have to do with the language and its compilers.
pklausler
·3 か月前·議論
Honestly, if a language can't succeed in HPC alongside (or against) Fortran with its glacial rate of buggy evolution and poor track record of portability, and C++ with its never-ending attempts at parallelism, then it's not what HPC needs.

(What HPC does need, IMNSHO, is to disband or disregard WG5/J3, get people who know what they're doing to fix the features they've botched or neglected for thirty years, and then have new procurements include RFCs that demand the fixed portable Fortran from system integrators rather than the ISO "standard".)
pklausler
·3 か月前·議論
I have worked on compilers (mostly) for high-performance computing for over 40 years, writing every part of a production compiler twice or more. Optimization and code generation and register allocation/scheduling are definitely the most fun -- but the hardest work is in parsing and semantics, where "hardest" means it takes the most work to get things right for the language and to deal with user errors in the most graceful and informative manner. This is especially true for badly specified legacy languages like Fortran.
pklausler
·3 か月前·議論
CUDA Fortran was first released in 2007 and now has multiple implementations.
pklausler
·3 か月前·議論
I don't think that BASIC was ever meant to be a better Fortran. Can you substantiate that claim?
pklausler
·3 か月前·議論
I have a few patents, including one for a novel machine instruction, and I recall the attorney telling me that one cannot patent mathematics, only methods and systems.
pklausler
·3 か月前·議論
I used a small custom parser combinator library to parse Fortran from raw characters (since tokenization is so context-dependent), and it's worked well.
pklausler
·3 か月前·議論
Production compilers must have robust error recovery and great error messages, and those are pretty straightforward in recursive descent, even if ad hoc.
pklausler
·3 か月前·議論
> First let’s accept the realities. The giant plagiarism machines have already stolen everything. Copyright is dead. Licenses are washed away in clean rooms. Mass surveillance and tracking are a feature, privacy is a bug. Everything is an “algorithm” optimised to exploit.

Suppose that I have discovered a novel algorithm that solves an important basic problem much more efficiently than current techniques do. How do I hide it from the web scrapers that will steal it if I put it on GitHub or elsewhere? Should I just write it up as a paper and be content with citations and minor glory? Or should I capture AI search results today for "write me code that does X", put my new code up under a restrictive license, capture search results a day later, demonstrate that an AI scraper has acquired the algorithm in violation of the license, and seek damages?
pklausler
·3 か月前·議論
Is there a production compiler out there that doesn't use recursive descent, preferably constructed from combinators? Table-driven parsers seem now to be a "tell" of an old compiler or a hobby project.
pklausler
·3 か月前·議論
The free market ensures that bridges stay up, because the bridge-makers don't want to get sued by people who have died in bridge collapses.
pklausler
·3 か月前·議論
The logical combinators that I know all have definitions in the untyped lambda calculus. Is there a typed variant of logical combinators?
pklausler
·4 か月前·議論
Enjoy!
pklausler
·4 か月前·議論
If you like Leuchtterm, you'll love Quo Vadis Habana notebooks, if you can find them in stock.
pklausler
·4 か月前·議論
We're definitely enforcing some of them. But the latest one from F'2023 isn't going to be.