|
Canada-0-EXPLOSIVES 公司名錄
|
公司新聞:
- Comparing the development costs and other benefits of Ada . . . - Ada Forum
Comparing Development costs of C and Ada at Rational Software '95 Podcast Episode · Beyond memory safety with the Ada SPARK programming language · 09 26 2025 · 52m
- Setting up the Ada Language Server in VIM - General - Ada Forum
I am new to Ada programming and just want to setup my editor with basic language support (go to definition, rename, etc) This has been quite frictionless with Javascript, Typescript, Python and Bash, for basic cases, but I am struggling getting this working in Ada This is what I want to achieve: check out a repo like ALS and open a given file (like this and be able to “Go to Definition
- Vikram-3201: India’s Custom 32-bit Processor Built for Ada
India’s first 32-bit microprocessor, Vikram-3201, was entirely designed and developed by the country It has its own custom instruction set and was specifically designed to work seamlessly with the Ada programming language, due to being in widespread use in mission-critical systems, particularly in aerospace and defence applications Even a custom compiler and other tools were developed for
- Printing a float value into a string - General - Ada Forum
I’m trying to output float values (actually, double float values) so that an exponent is only present if the value would otherwise not fit into the output buffer So for example 20 1 becomes 20 1 or 20 100000 (and not 2 0100E+01) but 1 0E20 becomes 1 000000E+20 But if try to write the number to a String using Put from Float_IO, if I specify a positive Default_Exp I always get the exponent
- Laurie Wired Video - General - Ada Forum
Laurie discusses Ada (and aerospace programming) in her latest video:
- Irenic language comparisons and questions: Ada and Rust; AoC 2023 Day . . .
Questions Well after solving day 13 in Ada with “traditional” for loops and if statements, I went back and translated the Ada solution to a Rust solution However, it wasn’t idiomatic Rust, so I reworked it, eliminating every for loop and if statement for which a qualified iterator would do the job
- Machine learning in Ada (an ONNX runtime binding) - Ada Forum
As an Ada enthusiast, I’ve always wanted to try my hand at machine learning, but was discouraged by the fact that Python seemed to be the only language supported by most ML frameworks However, I recently discovered the Open Neural Network Exchange (ONNX) format, a universal way of representing machine learning models, and a library for working with it One thing I love about ONNX is that
- Visual compelling demonstrations to showcase parrallel features
With the arrival of Ada 2022’s parallel features (parallel loops, blocks, and expressions) in gcc, it would be great to have visually compelling demonstrations to showcase their potential—both in terms of performance and code simplicity
- Why RTOS + Ada? - General - Ada Forum
Two reasons: Firstly, the Ada RTS and Ada tasking provide higher-level services than a typical RTOS, making for easier and safer programming For example, protected objects instead of semaphores or message queues Secondly, if your Ada program uses Ada tasking, you can run it on any Ada platform, for example a PC I have often tested multi-threaded embedded applications on PCs, relying on the
- Why := and not just = for variable assignment? - General - Ada Forum
Ada uses := for assignment because it’s an Algol-family language, derived from Pascal, which use that as the assignment symbol Using = for assignment leads to the symbol for equality being less intuitive and easy to understand, and results in some common errors that are easily avoidable with another assignment symbol
|
|