Was sollen und was können Lettische Volksschulen? : Der Berathung derer, die dafür wirken können

http://tartu.ester.ee/record=b2428484~S1*es

Predigt bei der Eröffnung der evangelisch-lutherischen Synode Livlands in der Stadt-Kirche zu Walk am 12. August 1834

https://www.ester.ee/record=b4003001*es

Casual-Predigten

http://tartu.ester.ee/record=b2417149~S1*es

Sidekick compilation with xDSL

Traditionally, compiler researchers either conduct experiments within an existing production compiler or develop their own prototype compiler; both options come with trade-offs. On one hand, prototyping in a production compiler can be cumbersome, as they are often optimized for program compilation speed at the expense of software simplicity and development speed. On the other hand, the transition from a prototype compiler to production requires significant engineering work. To bridge this gap, we introduce the concept of sidekick compiler frameworks, an approach that uses multiple frameworks that interoperate with each other by leveraging textual interchange formats and declarative descriptions of abstractions. Each such compiler framework is specialized for specific use cases, such as performance or prototyping. Abstractions are by design shared across frameworks, simplifying the transition from prototyping to production. We demonstrate this idea with xDSL, a sidekick for MLIR focused on prototyping and teaching. xDSL interoperates with MLIR through a shared textual IR and the exchange of IRs through an IR Definition Language. The benefits of sidekick compiler frameworks are evaluated by showing on three use cases how xDSL impacts their development: teaching, DSL compilation, and rewrite system prototyping. We also investigate the trade-offs that xDSL offers, and demonstrate how we simplify the transition between frameworks using the IRDL dialect. With sidekick compilation, we envision a future in which engineers minimize the cost of development by choosing a framework built for their immediate needs, and later transitioning to production with minimal overhead

Autograaf tundmatule

Ulmann, Karl Christian, 1793-1871, baltisaksa teoloog, 1835-42 prof. Tartu Ülikoolis, 1839-41 TÜ rektor, tegutsenud ka RiiasSentents: Wo der Geist des Herren ist, da ist Freiheit . Allkiri ja kuupäe

Das gegenwärtige Verhältniss der evangelischen Brüdergemeinde zur evangelisch-lutherischen Kirche in Liv- und Ehstland : mit Berücksichtigung von J. N. R. Quarnstubbe's Buch: "Auch ein Wort in Sachen Herrenhut's in Livland, Leipzig 1861"

https://www.ester.ee/record=b2021066*es

FPL: Fast Presburger arithmetic through transprecision

Presburger arithmetic provides the mathematical core for the polyhedral compilation techniques that drive analytical cache models, loop optimization for ML and HPC, formal verification, and even hardware design. Polyhedral compilation is widely regarded as being slow due to the potentially high computational cost of the underlying Presburger libraries. Researchers typically use these libraries as powerful black-box tools, but the perceived internal complexity of these libraries, caused by the use of C as the implementation language and a focus on end-user-facing documentation, holds back broader performance-optimization efforts. With FPL, we introduce a new library for Presburger arithmetic built from the ground up in modern C++. We carefully document its internal algorithmic foundations, use lightweight C++ data structures to minimize memory management costs, and deploy transprecision computing across the entire library to effectively exploit machine integers and vector instructions. On a newly-developed comprehensive benchmark suite for Presburger arithmetic, we show a 5.4x speedup in total runtime over the state-of-the-art library isl in its default configuration and 3.6x over a variant of isl optimized with element-wise transprecision computing. We expect that the availability of a well-documented and fast Presburger library will accelerate the adoption of polyhedral compilation techniques in production compilers.ISSN:2475-142