外围体育投注

Press J to jump to the feed. Press question mark to learn the rest of the keyboard shortcuts

Ada: When the software HAS to work

r/ada

8
pinned by moderators
Posted by8 months ago
Moderator of r/adaArchived
8
2 comments
22
Crossposted by7 days ago
Posted by7 days ago
5 points
22
0 comments
167
promotedPosted by2 days ago
167
49 comments
15
Crossposted by7 days ago
Posted by2 months ago

外围体育投注Hey everyone, I'm pleased to announce that Tucker Taft and I will be co-chairing the HILT (High Integrity Language Technologies) workshop this year as part of the larger conference on November 15-20. The conference is tentatively planned to take place in Chicago, but may be hosted virtually, or a combination thereof, depending on the evolution of the COVID-19 pandemic.

This is the 6th HILT workshop, and will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications.

外围体育投注We are currently accepting proposals for presentations, due by September 4th. The workshop program committee will select presentations and organize them into sessions.

Attendees wishing to present at the workshop should prepare extended abstracts (approx. 1-3 pages) for the proposed presentations. Full papers (6-8 pages) are also acceptable.

外围体育投注Key areas of interest include:

  • 外围体育投注Safe and Productive Languages and Frameworks for the development of structured parallel and/or distributed applications (e.g. Rust, Concurrent Collections, Ada 202X, Parsl)

  • 外围体育投注Broadly available technologies to support large dataset analysis and machine learning workloads (e.g. TensorFlow, Apache Spark)

  • Practical tools for applying static analysis and formal methods to parallel and/or distributed/cloud applications (e.g. SPARKProver, Java Pathfinder)

  • 外围体育投注Underlying Portability Frameworks to support higher level capabilities (e.g. OpenMP, OpenACC, OpenCL, MPI)

  • Key technologies to bring high-performance computing to more traditional programming environments (e.g. advanced IRs supporting parallelism and heterogeneity such as MLIR and Tapir/LLVM)

Please visit the for more information, and to submit your proposals.

Hope to see some of you there 😉 Feel free to reach out to me directly if you have any questions.

13 points
15
3 comments
15
Posted by10 days ago

AZip becomes a sort of binary quine (self-install feature)...

15
1 comment
22
Posted by13 days ago

GWindows is a full Microsoft Windows Rapid Application Development framework for programming GUIs (Graphical User Interfaces) with Ada.

外围体育投注GWindows works with the GNAT development system (could be made pure Ada with some effort).

Changes to the framework are detailed in gwindows/changes.txt or in the News forum on the project site.

GWindows Project site:

外围体育投注GWindows GitHub clone:

Enjoy!

22
0 comments
15
Posted by15 days ago

外围体育投注For anyone who wants to have an idea of how our favorite language is evolving, check out the meeting minutes of the ARG who is responsible for maintaining the language. It is a great way to get an insight about the technical challenges with adding new language features.

15
1 comment
32
Crossposted by16 days ago
Posted by16 days ago
48 points
32
1 comment

About Community

Pointers to news, articles, and other items of interest about the Ada programming language.
4.3k

Members

136

Online


Created May 28, 2008

r/ada Rules

1.
Cryptocurrency Spam
2.
Not Americans with Disabilities Act
3.
Does not reference Ada

Ada and SPARK resources