 |
Post AuR2sQDCSIr2oNV6Rc by [email protected] |
 |
More posts by [email protected] |
|
Post #AuC5PKa3hORPRKc7MW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
#BabelOfCode 2024Week 9Language: Ada (Spark?)Confidence level: HighPREV WEEK: h… |
|
|
|
Post #AuC5PKivARWvsolCAy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mcc this is why i don't use VHDL :D"it seems good but is a pain in th… |
|
|
|
Post #AuC8YFR2UyvDwyL3ce by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Now, it's possible that the reason I'm unhappy is I jumped directly int… |
|
|
|
Post #AuC8YFaFwiIKPYePzM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
To pick at this. "Software" can mean a do of different things! There&… |
|
|
|
Post #AuC8YFilR56GpwdDFY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Anyway. I was able to open a file whose name is given on the command line, but … |
|
|
|
Post #AuC8YG1CKXqTl7Fvyy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Compromises on basic things continue. I want to create an array whose size is n… |
|
|
|
Post #AuC8YG8zrY5G9IuA8e by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Small observations:- Inner procedures and functions of a larger procedure and f… |
|
|
|
Post #AuC8YGFNTpBiT5tG5I by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mcc inner procedures (in gnat) require executable stack because creating a clo… |
|
|
|
Post #AuC8j3AuQE7b6xwdV2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@whitequark *strangled noise* |
|
|
|
Post #AuC8oKHcF2mfcSb6qu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mcc it's a part of the ABI now! i think this is like, the overwhelming cau… |
|
|
|
Post #AuC9oSQg3Qp6q2Sjlg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@whitequark @mcc i think ghdl might no longer rely on this? nixpkgs' ghdl d… |
|
|
|
Post #AuCECtODrqCFDmDmV6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@leo @mcc oh that's exciting, i should revisit it |
|
|
|
Post #AuCFUprfoOWTSI7HTE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@whitequark @leo @mcc I know AdaCore did a CHERI port and at least at the momen… |
|
|
|
Post #AuCFUpy3Qfcvm56NPs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@brooks @leo @mcc I faintly recall that it's only using W+X on X86 in first… |
|
|
|
Post #AuCgvbpsmCRkWiGnWy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Something I don't know how you'll feel about: You know how in every pro… |
|
|
|
Post #AuCgvbwcN9pmrbQB1s by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Man writing Ada is *really* making me think I was too hard on Haskell |
|
|
|
Post #AuCgvc3hwnVPDajq52 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@mcc Ada is the language that was used for the intro classes for the CS program… |
|
|
|
Post #AuCgvcFPFIrZnsDBJY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Maybe the problem with Ada was that the things it was trying to do were too adv… |
|
|
|
Post #AuCgvcXq8lbmj2pu2y by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Guh. Part 1 done. It was ok once I actually had my data loaded into memory, but… |
|
|
|
Post #AuCgvcrKyHCjhVxTRA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I pushed through Part 2 just to get it over with. I could have done a very clea… |
|
|
|
Post #AuCgvdBtjpeQjHZtU8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
There's a lot I'm curious about in Ada. I'd really like to know mor… |
|
|
|
Post #AuCgvdVkY1WxiqrkQa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
A problem I anticipated with this "Babel of Code" project and sure am… |
|
|
|
Post #AuD4alHKs41sdDhdeS by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@mcc that is the most “design by committee” thing I ever heard |
|
|
|
Post #AuR2sPeoW9Lh5jPdqa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
#BabelOfCode 2024Week 9.5??Language: SparkAgainst my better judgement, but sinc… |
|
|
|
Post #AuR2sPmG4TItSotaS0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
gnatprove-x86_64-linux-14.1.0-1.tar.gz turns out to be 412MB gzipped, and conta… |
|
|
|
Post #AuR2sPsHi47llViOqO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Spark is immediately proving itself interesting. My very first error:puzzle.adb… |
|
|
|
Post #AuR2sPzNHhnO7V23tY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
More odd friction. It turns out Ada/Spark don't allow integer narrowing on … |
|
|
|
Post #AuR2sQ5ktytqRI19qC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Continuing with the "couldn't you do the math yourself?" complain… |
|
|
|
Post #AuR2sQDCSIr2oNV6Rc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mcc If this is a fixed-width type, you could overflow, right? |
|
|
|
Post #AuR2sQJE5tfv74Juq0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jrose @mcc or otherwise exceed the bounds. |
|
|
|
Post #AuR2sQpq8dlMkDZxfk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Okay I guesss I got frustrated too early. It turns out that I can avoid all thi… |
|
|
|
Post #AuR2sRi4sz9FSQxHDE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I realize I'm focusing on entry-level nitpicks here, but I do notice this i… |
