Microsoft

How Rust, Lean, Aeneas, and AI agents are helping scale formal verification for production cryptographic algorithms At a glance

• SymCrypt develops new verified cryptography using Rust, Aeneas, and Lean to provide higher security assurance.
• We prove that their code safely and correctly implements standard algorithms, notably for post-quantum cryptography.
• We are releasing verified code, specs, properties, and proofs initially for SHA-3 and ML-KEM. 
• Aeneas allows verifying a large subset of Rust code and provides efficient automation in Lean to support the proof effort.
• Agents allow scaling automation by writing proofs that are independently-verifiable.

Introduction and motivation for formal verification

Cryptographic code sits at the foundation of modern computing. It protects operating systems, cloud services, firmware, messaging systems, and the protocols that connect them. Small mistakes can have outsized consequences: a single arithmetic slip, missing bounds check, or incorrect state transition can undermine the security of an otherwise sound design.

Testing and auditing remain essential, but they are not enough on their own. Cryptographic implementations are often optimized, constant-time, architecture-specific, and deliberately low level. The code that ships rarely looks like the clean algorithm in a standard: it contains reductions, bit manipulations, SIMD intrinsics, carefully shaped loops, and portability layers for many environments.

Formal verification addresses this gap by deploying machine-checked proofs instead of relying on testing alone. Rather than merely checking that the code usually behaves correctly, verification implements a precise mathematical specification for all inputs that satisfy the stated preconditions.

In June last year, Microsoft announced we would formally verify new algorithms written in Rust in SymCrypt, the cryptographic provider used across products and services including Windows and Azure. New cryptographic implementations are being written in safe Rust, then verified in the Lean (opens in new tab) formal proof framework using the Aeneas (opens in new tab) toolchain. This applies in particular to post-quantum cryptography, which require fast secure implementations of complex algorithms. This combination gives us two layers of assurance: Rust rules out broad classes of memory-safety bugs, while Lean proofs establish functional correctness against formal specifications derived from standards.

The result is a new verification methodology for production cryptography: verify code as developers write it, preserve performance-oriented implementation choices, and make the proof process scalable enough to keep up with an evolving codebase.

Figure 1. Agents (stochastic, in blue) and tools (algorithmic, in green) for software verification. Human effort focuses on reviewing formalization of standards and main properties. Agents write proofs and intermediate properties. Compilation, code extraction, and proof verification are deterministic, not agentic. Status of verification in SymCrypt

We have open sourced a SymCrypt branch (opens in new tab) that includes formal specifications and proofs. This public branch makes the proof artifacts available alongside the Rust algorithm implementations they validate, showing how the methodology applies to production cryptographic code. SymCrypt is not a standalone research prototype; it is Microsoft’s open-source cryptographic library used across products and services including Windows and Azure Linux.

This first release includes complete proofs for the Rust ML-KEM and SHA3 code that is being used in insiders builds of Windows today. SymCrypt is extending the same Rust, Lean, and Aeneas-based workflow to more Rust-native algorithms and integrating them into production versions for Windows and Linux, including for instance verified Rust code for, e.g., AES-GCM, FrodoKEM, and ML-DSA. The rest of this post uses this SymCrypt work as a concrete example, starting with how public standards become executable Lean specifications.

Turning standards into formal Lean specifications

The first step is to formalize what the algorithm is supposed to do. For cryptographic primitives, the source of truth is usually a public standard: a NIST specification, an IETF RFC, or another carefully reviewed algorithm description.

In our approach, the Lean specification is designed to stay close to the standard. When the standard describes a loop, an array update, or a mathematical operation, the Lean model follows the same structure wherever possible. This syntactic proximity matters: it makes the formal specification easier to audit because reviewers can compare the standard and the Lean side by side.

Lean also lets us write executable specifications. That means we can run the formal model against official test vectors to catch transcription errors, off-by-one mistakes, or misunderstandings of the standard. For algorithms such as ML-KEM, we can go further and prove high-level mathematical properties, such as showing that the formal model of the number-theoretic transform corresponds to the intended operation over the relevant polynomial ring.

A representative example is the number-theoretic transform (NTT) from ML-KEM. The standard describes the algorithm as an in-place transformation over 256 coefficients modulo q, with three nested loops that update pairs of coefficients using successive powers of the constant ζ (= 17).

Here is a direct translation of the NIST standard in Lean, trying to stick as close as possible to the original syntax:

The Lean version deliberately mirrors the structure of the standard: the same loop nest, the same zeta selection, and the same coefficient updates, allowing easy line-by-line human review. At the same time, it is executable and uses mathematical types, so it can be tested against known vectors and connected to higher-level theorems about the NTT’s algebraic meaning. In summary, the Lean specification is a concise, executable, mathematically meaningful model that tracks the standard closely enough to be reviewed by cryptographers and proof engineers alike.

Connecting the formal specification to the code

Once the specification is formalized, the next challenge is to connect it to the implementation. We do not ask developers to rewrite production cryptographic code in a verification-oriented language, nor do we generate code that product teams must then own. Instead, we verify the Rust code that engineers write, exactly as they write it.

Aeneas makes this possible by translating Rust’s mid-level representation into a pure Lean model. Rust’s ownership and borrowing discipline are crucial here. They let Aeneas safely eliminate much of the reasoning about pointer aliasing, liveness, and mutation that makes verification of C-style code so expensive.

For example, a Rust function that updates an array in place becomes, in Lean, a function that explicitly takes and returns a functional array. Mutable borrows are translated into value transformations. This preserves the behaviour that matters while presenting proof engineers with a functional model that is far easier to reason about.

Once in Lean, the function can be equipped with a theorem that states that it refines a formal specification. In other words, for every input satisfying the required bounds and well-formedness conditions, the implementation function returns the same mathematical result as the standard-derived Lean specification.

This style keeps responsibilities cleanly separated. Software engineers continue to write idiomatic, performant Rust. Verification engineers work against generated Lean models and prove theorems about them. The Rust code and the proofs live side by side, but the proof burden does not shape the code into something unnatural.

Going back to the NTT example, its Rust implementation is a function fn ntt(&mut [u16; 256]) that uses a mutable borrow to update an array in-place. The Lean translation purifies it into a function ntt : Array U16 256#usize → Result (Array U16 256#usize) that directly outputs the updated array, while wrapping it into a Result type to explicitly capture the fact that Rust functions may panic.

In this case, the theorem states that, if the array satisfies a well-formedness invariant (ensuring it represents a valid polynomial), then running the Rust model ntt returns the well-formed representation of the result of the mathematical specification Spec.ntt, modulo conversion from low-level arrays to high-level polynomials.

Scaling this to every function in real cryptographic code required substantial automation. Lean’s extensibility lets us build a gradient of automation with tactics for symbolic execution, arithmetic, arrays, and bit-vector reasoning. The experience becomes closer to debugging: automation handles the routine proof obligations, while engineers can inspect and refine the proof when a goal does not close automatically.

Supporting intrinsics and multiple architectures

Production cryptography cannot ignore hardware. SymCrypt must run across environments ranging from embedded and kernel contexts to cloud services. It also needs to take advantage of platform-specific instructions when they are available, including SIMD intrinsics and architecture-specific optimized paths.

A verification story that only works for a portable reference implementation is therefore incomplete. We need to verify the code that actually ships: dispatch logic, optimized routines, and target-specific variants included.

The code below is adapted from the ntt_layer  function that is internally used by the NTT. This function is compiled differently for x86-64 and aarch64, allowing dynamic dispatch to target-specific or portable implementations. On x86-64, it checks the availability of SSE2 instructions, while on aarch64 it checks for Neon.

.gist .gist-meta { display: none !important; }

As rustc’s output is inherently target specific, our toolchain compiles the code several times, one per compilation target for which verification is required, before merging the corresponding models. In effect, this merge operation turns the static dispatch permitted by the cfg attributes in the Rust code into a first layer of dynamic dispatch between x86-64 and aarch64 in the Lean model. Following what the Rust code does, these target specific models then themselves dynamically dispatch to the models of the XMM, Neon, and generic implementations.

Intrinsics require a slightly different treatment. Some low-level wrappers, especially those that manipulate raw pointers or expose platform instructions, are modelled by small, carefully reviewed Lean specifications. Others can be modelled using Rust code, which can be tested against hardware reference documentation, then translated and verified. The surrounding safe Rust code is then verified against those models. This keeps the trusted surface narrow while preserving the performance benefits of hardware acceleration.

The important point is that verification does not require giving up optimization. The methodology is designed to preserve the complexities of production code – including intrinsics, dispatch, and platform-specific implementations – while still proving a single, auditable correctness statement.

Reflecting formal guarantees to the code developer

Formal verification only scales in an engineering organization if developers can understand what has been proved. It is not enough for a proof to exist in a repository; the guarantee must be visible, reviewable, and synchronized to the code that engineers maintain.

To support this, we expose verification results through automatically generated dashboards. These dashboards summarize theorems in developer-facing terms: preconditions, postconditions, covered functions, trusted models, and remaining assumptions. Engineers do not need to open Lean to see what has been verified. For instance, below is the page displayed by the dashboard for our ntt function.

Figure 2. Dashboard page for the theorem that shows the Rust function mlkem.ntt correctly implements the NTT specified in the NIST standard.

The specification clearly presents the theorem statement included in the Lean formal development: it separates the function input and preconditions from the post-condition by putting them above a horizontal line, and use fully qualified names with links to navigate to Rust and Lean definitions.

This feedback loop is especially useful for reviewing assumptions around intrinsics, target-specific code, and boundary conditions. A cryptographic developer can for example check whether the theorem fully captures what they expect their code to guarantee, and notice a formal statement is too weak, or a precondition is wrong.

The dashboards also aligns verification with continuous development. As Rust code changes, Lean models and proofs can be regenerated and replayed. When a proof breaks, that failure becomes a signal: either the implementation changed in a way that needs a proof update, or the change has exposed a real discrepancy with the specification.

This turns formal verification from a one-time research artifact into part of the engineering workflow.

Agentic proofs

The final ingredient is automation beyond traditional tactics: AI agents. Lean is well suited to this because proofs are machine-checked by a small trusted kernel. An agent may propose a proof script, but Lean independently verifies whether the proof is valid.

We use agents in two places. First, they help translate standards into Lean specifications. Because the resulting specification is executable, aligned to the original standard, tested against official vectors, supported by mathematical theorems, and much simpler than an implementation, it can be thoroughly audited even when an agent helped draft it.

Second, agents help write and maintain proofs. With the right libraries, tactics, examples, and documentation, agents can handle large amounts of proof work: unfolding generated models, applying specifications for helper functions, discharging arithmetic obligations, and repairing proofs after refactors.

This is particularly powerful because the Rust code and Lean proofs are separated. Agents do not need to annotate or modify the production Rust implementation to make a proof go through. They operate on the proof side, and the result is accepted only if Lean validates it and the final theorem states the desired guarantee without introducing unreviewed assumptions.

In practice, this changes the economics of verification. Work that previously required months of specialist effort can be accelerated dramatically. The proof engineer’s role shifts from writing every proof by hand to designing specifications, curating automation, reviewing theorem statements, and steering agents to complete their proofs.

Conclusion

Verified cryptography has often faced a difficult trade-off: the strongest guarantees came from specialized toolchains, generated code, and workflows that were hard for product teams to adopt. Rust, Lean, Aeneas, and agentic proof automation let us revisit that tradeoff.

By verifying Rust as written, deriving auditable specifications from standards, supporting optimized multi-architecture implementations, and reflecting proof results back to developers, formal verification can become part of normal cryptographic engineering rather than an after-the-fact research exercise.

That is the long-term promise: cryptographic code that remains fast, portable, maintainable, and developer-owned, while carrying machine-checked evidence that it implements the standards it is meant to realize.

Opens in a new tab

The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.

At a glance

• Aurora 1.5 is a major extension of Microsoft’s Aurora Earth System foundation model that adds 22 more weather variables relevant to energy, agriculture, transport, and climate risk, along with hourly temporal resolution and probabilistic ensemble forecasting.
• Released as open source on GitHub with model checkpoints on Hugging Face, Aurora 1.5 enables researchers and developers to use, evaluate, and build on the model.
• Aurora 1.5 connects open research to Microsoft Weather services, linking the model with data, infrastructure, managed access, and operational use for weather and Earth-system applications.

Aurora 1.5 is a major update to the open Aurora Earth-system foundation model, adding 22 new weather variables for a broader view of atmospheric conditions, hourly forecasts, and probabilistic ensemble forecasting. Developed by Microsoft Weather as an extension of the original model from Microsoft Research AI for Science, Aurora 1.5 shows how frontier research can move into broader use: open for researchers and developers to evaluate and extend, and designed to support customers where additional data, infrastructure, and operational assurance is needed. As climate and weather-related risks continue to affect communities, infrastructure, and economies worldwide, advances in Earth-system forecasting can help improve preparedness and decision-making.

What is Aurora?

Aurora is a foundation model for the Earth system developed by Microsoft Research AI for Science, first introduced in 2024 and published in Nature (opens in new tab) in 2025. It showed that a single model could be adapted to medium-range weather, ocean waves, atmospheric chemistry, and emerging climate applications, including high-resolution weather forecasting through fine-tuning. Its growing use has reinforced the value of an open, collaborative model that is easier to adapt, evaluate, and put to use. 

This next phase of Aurora (opens in new tab) builds on that foundation by making the model openly available for the global community to adapt, extend, and build on. 

What is new in Aurora 1.5?

Aurora 1.5 advances the broader effort to make open weather foundation models practical and scalable for organizations that rely on atmospheric and Earth-system intelligence. Alongside new variables and higher temporal resolution, Aurora 1.5 adds one of the most requested capabilities from users: ensemble forecasting. Because forecasts are sensitive to initial conditions and model uncertainty, ensembles run multiple simulations to show the range and likelihood of possible outcomes. Aurora 1.5 builds on Microsoft Research’s scientific foundation with new product engineering, cloud infrastructure, managed access, and decision-support capabilities. Together, these advances make Aurora 1.5 a valuable enterprise-grade weather solution for organizations. 

Figure 1: Illustration of the capabilities of Aurora 1.5 ensemble for predicting new impactful parameters such as total cloud cover and solar radiation. Ensemble mean and standard deviation are shown. 

The breadth update adds 22 new variables to Aurora’s original 4, including representative surface, pressure-level, wind, temperature, humidity, precipitation, and radiation fields. That broader coverage makes the model more relevant for sectors that depend on integrated Earth-system signals, from energy and agriculture to transport and resilience planning. 

The update to hourly temporal resolution enables fine-grained detail for precision operational guidance, such as the onset of precipitation, trade decisions, or a landfalling tropical cyclone. 

“Aurora 1.5 is a meaningful step toward making weather foundation models more open, useful, and practical. By releasing the model openly, we give researchers, developers, and organizations a clearer path to evaluate it, adapt it, and understand where it can help. Microsoft Weather’s role is to connect that open research foundation with the data, infrastructure, and applied workflows required by enterprises to use weather intelligence responsibly and with confidence.”

Sridhar Iyer, Corporate Vice President, Microsoft AI

Spotlight: Microsoft research newsletter

Microsoft Research Newsletter

Stay connected to the research community at Microsoft.

Subscribe today Opens in a new tab Ensemble Forecasting in Aurora 1.5 Unlocks More Confident Decisions in the Face of Weather Uncertainty

The ensemble version of Aurora 1.5 introduces stochastic perturbations to represent model uncertainty, allowing the generation of multiple forecast members to estimate the spread of possible futures. For a multitude of applications including power systems, transport, agriculture, extreme-weather planning, and climate risk, the model distribution matters as much as the best estimate. 

This ensemble capability was developed through multi-stage fine-tuning on top of the original Aurora model. After expanding the variable set and adding hourly temporal resolution, the team introduced controlled perturbations into the model’s latent conditioning pathway and optimized the ensemble for probabilistic forecast quality. A final round of auto-regressive fine-tuning on ECMWF High Resolution (HRES) analysis data from 2018 to 2023 improved rollout behavior and stability.

Figure 2. Comparing Aurora 1.5’s probabilistic forecasts with the ECMWF ensemble forecast. The shading shows relative probabilistic forecast error, using ECMWF ENS as the baseline: blue areas indicate where Aurora 1.5 performs better, and red areas indicate where it performs worse. Across upper-air geopotential, temperature, and humidity, together with five surface variables, Aurora 1.5 outperforms ECMWF ENS on 88.9% of the evaluated variable-and-lead-time targets. 

Aurora’s ensemble approach summarizes uncertainty across multiple model runs. Its probabilistic forecasts outperform those of the state-of-the-art ECWMF dynamical ensemble on 88.9% of evaluated targets (Figure 1). In evaluations on all 2024–2025 tropical cyclones, Aurora 1.5 substantially reduced track errors, including roughly one-third lower track error when comparing the ensemble median to the original Aurora. An example for the devastating Hurricane Helene shows how Aurora 1.5’s skill translates to high-impact weather applications. 

Figure 3. Hurricane Helene ensemble forecast from Aurora 1.5, showing multiple plausible storm tracks starting at 0 UTC on September 24, 2024. The probabilistic ensemble forecast envelops the verified track, effectively capturing uncertainty in the storm’s progression. Figure 4. Aurora 1.5 reduces track error relative to the original model across lead times. Ensemble mean and median tracks are used for diagnostics, with the median showing the strongest gains, reaching roughly one-third lower error by day 5. Results reflect track position only.  Beyond weather: Aurora as an Earth-system foundation

Beyond medium-range weather applications, Terradot – part of the Microsoft Climate Innovation Fund portfolio—is working with the AI for Good Lab (opens in new tab) and the Microsoft Research Accelerator on TerraNova, using Aurora-derived weather representations (opens in new tab) to estimate and optimize carbon dioxide removal from enhanced rock weathering under real field conditions. Sasankh Munukutla, Co-Founder of Terradot, highlights, “By building on Aurora, we’re significantly advancing our R&D timelines and accelerating our path towards gigaton-scale carbon removal.” This work shows how Earth-system foundation models can support climate mitigation and public-interest science beyond forecasting, including settings where rigorous evaluation and responsible deployment matter.

Aurora is also being explored with partners such as the UK Met Office, exploring how foundation models can work alongside established physics-based systems to tackle problems from weather to climate time scales. The aim is faster, more flexible forecasts that support decision-making without replacing the science behind trusted prediction. 

“Microsoft’s Aurora model is an exciting and promising tool, enabling Met Office scientists to bring their data and expertise to help solve climate problems and provide new kinds of climate information. Met Office and Microsoft scientists and engineers are working together every day to translate lessons from AI weather prediction into the climate information space, sharing expertise in data science and climate science. Aurora is a great platform for learning how to translate these tools for use in climate projection to make the AI climate models of the future.”

— Doug McNeall, Science lead for Data-Driven Climate Modelling, Met Office Hadley Centre  Connecting open models to operational use

Microsoft connects open research, product engineering, responsible deployment, and partner ecosystems so that models can move from scientific advance to evaluated operational use. As an example, Aurora began in Microsoft Research AI for Science and is now being built on for operational use by Microsoft Weather, with AI for Good helping to evaluate public-interest applications. The platform path brings Aurora into Microsoft Foundry and Planetary Computer Pro, alongside Agent skills and Azure services that connect models with geospatial data, scalable infrastructure, and applied workflows. BKW provides an early proof point: the company is using Aurora 1.5 alongside existing operational Microsoft Weather models to support energy operations where weather-dependent generation, infrastructure planning, and environmental data need to come together. 

“This collaboration demonstrates how advanced AI capabilities and robust cloud infrastructure can be applied to one of the most strategic domains — energy, where weather plays a fundamental role. In a time of accelerated transformation, it supports our ambition to operate increasingly renewable-based systems, where generation is inherently weather-dependent, and to better anticipate and manage this variability with greater confidence and precision.” 

Farhat Quiñones Yamshid, Lead, AI and Technology, BKW  From open research to broader impact

Aurora’s open-source availability is intended to help researchers, agencies, companies, and civil society evaluate, apply, and extend the model. Microsoft Weather is building on that open foundation to deliver easier access to Aurora forecasts through managed services, integrations, and responsible deployment paths for organizations that depend on weather and Earth-system intelligence.

Foundation models should complement—not replace—physics-based models and domain expertise. The opportunity is to use them responsibly, with careful evaluation and transparency, and to invite researchers, agencies, companies, and public-interest partners to test where Aurora and related Microsoft Weather capabilities can improve forecasting, planning, and climate resilience in their own settings.

About Microsoft Weather 

Microsoft Weather is the AI-based forecasting team behind weather experiences across Windows, Bing, Copilot, Edge, and MSN, reaching more than a billion devices across 180 countries. The team has been applying AI to operational weather forecasting for more than seven years and has built a proven track record of delivering high-quality forecasts at global scale. Microsoft Weather has won multiple forecasting competitions and was ranked the world’s most accurate global forecast provider by an independent third party for three consecutive years from 2022 to 2024. Building on today’s Aurora 1.5 announcement, the team plans to extend this work in the coming months with additional fit-for-purpose AI weather models designed for enterprise scenarios where forecast quality, speed, uncertainty, and operational decision support matter most.

If you are interested in exploring Aurora and Microsoft Weather solutions for commercial or organizational applications, please contact us at AIWeatherClimate@microsoft.com 

Aurora 1.5 on Microsoft Foundry Aurora 1.5 on GitHub Aurora 1.5 paper Agent Skills for adapting Aurora to new applications

Opens in a new tab

The post Aurora 1.5: Extending open foundation models for weather and Earth-system applications appeared first on Microsoft Research.

At a glance

• Polished charts from simple specs. Flint allows AI agents to reliably generate expressive, visually polished charts from simple, human-editable specifications.
• Semantic types guide design. Flint leverages semantic data types to express meanings of data. They help the compiler choose appropriate scales, baselines, formatting, and color schemes.
• Layouts adapt to the data. Flint automatically manages sizing, spacing, labels, and layout so charts remain readable as cardinality and density change, without explicit user configurations.
• One spec can target multiple backends. A single Flint specification can compile to Vega-Lite, Apache ECharts, or Chart.js without rewriting the chart from scratch.
• Built for agent workflows. The open-source project includes the flint-chart library and the flint-chart-mcp server, so agents can create, validate, and render charts directly in chat or coding environments.

Figure 1. Flint supports a diverse collection of visualizations with its simple spec, which can be rendered with visualization libraries like Vega-Lite, Echarts, and Chart.js.

Creating a good chart requires many design decisions: how dates should be parsed, whether a scale should start at zero, how values should be formatted, how much room labels need, and which colors make the data easier to read. Modern visualization libraries such as Vega-Lite, Apache ECharts, and Chart.js expose these controls, but there is a trade-off: Short specifications that rely on system defaults often produce uninspiring charts, while polished visualizations require detailed specifications with purposely chosen parameters that are often verbose, fragile, and error-prone.

This trade-off becomes sharper as large language models (LLMs) and AI agents take on more visualization work. Agents are especially prone to errors when they must manage complex, low-level specification details, and the resulting fragile code can be difficult for people to inspect, repair, or reuse. Ideally, we need something in between: a compact specification that agents can produce reliably, people can edit directly, and a system can compile into a well-designed chart.

To address this challenge, we introduce Flint (opens in new tab), a visualization intermediate language for AI-driven chart creation. Flint helps AI agents create expressive, attractive charts from simple, human-editable chart specs. Instead of requiring verbose low-level parameters for scales, axes, spacing, and layout, the Flint compiler derives optimized chart settings from the data, semantic types, chart type, and encodings. The same Flint spec can render through multiple backends, including Vega-Lite, Apache ECharts, and Chart.js.

Figure 2. Flint compiles a compact, human-editable chart specification into a complete backend-native specification and rendered visualization. In this heatmap example, the Flint spec names semantic types (period as YearMonth, newUsers as Profit) and maps fields to visual channels. The compiler derives the Vega-Lite details, including temporal parsing, axis formatting, color scale, cell sizing, legend configuration, and layout. How Flint works

Figure 2 illustrates the how the Flint compiler turns a compact chart specification into a refined heatmap.

To produce a high-quality heatmap, traditionally, we need to explicitly tell the system with low-level chart properties about how to process the period field, how to properly label MonthYear values, size individual heatmap cells, and choose a color scale that appropriately represents positive and negative newUsers values. Without these configurations, visualization libraries must guess from field names and raw values, which can lead to charts that are technically valid but potentially misleading. While they are important, hard-coding these details can be difficult and error-prone, and they make specification fragile and hard for users to understand or adapt.

In Flint, these low-level details are systematically managed, where the compiler infers them from high-level data and chart specifications. Here, the data specification captures semantic types and optional metadata, and the chart specification defines the chart type and maps fields to visual channels such as x, y, color, size, or facet. From this information, the compiler derives the parsing rules, scales, axes, aggregations, formatting, color schemes, layout, and generates the backend-native specification, which is used to render the final polished visualization. This frees users from explicitly setting fragile and error-prone low-level details.

Furthermore, because the intermediate representation is separate from any single rendering library, Flint can target backends with very different APIs and programming models. Users can keep the same compact chart intent while compiling to Vega-Lite, ECharts, or Chart.js, and choose the backend whose capabilities best fit the visualization.

Spotlight: AI-POWERED EXPERIENCE

Microsoft research copilot experience

Discover more about research at Microsoft through our AI-powered experience

Start now Opens in a new tab Flint for AI-assisted visualization

Flint is well suited to LLM-based chart generation because semantic types are often easier for models to infer than the full set of low-level visualization parameters. Field names, value patterns, and common data knowledge can help an agent recognize whether a column represents a date, price, percentage, country, ranking, or correlation. Once those meanings are explicit, the compiler can handle many design decisions that would otherwise appear as brittle, library-specific code.

In our research study, we compared Flint with DirectVL, a baseline that asks the model to directly generate full (more complex) Vega-Lite specifications in a LLM self-evaluation pipeline. Across three tested models based on testing data from Tidy Tuesdays, Flint received higher overall LLM-judge scores: 16.27 vs. 15.91 with GPT-5.1, 16.16 vs. 15.60 with GPT-5-mini, and 15.91 vs. 15.34 with GPT-4.1. In fact, Flint has been so powerful and reliable that it is now used to power Data Formulator (opens in new tab), a Microsoft Research project for AI-assisted data analysis and visualization.

To make Flint easy for your agents to access, we also release flint-chart-mcp, a Model Context Protocol (MCP) server that allows agents to create, validate, and render charts inside a chat or coding environment. MCP calls can embed data inline or read configured local files, and the server can open an interactive chart view so users can inspect and refine the results.

Figure 3. Once you set up the flint-chart-mcp with your favorite AI client, the agent can generate interactive visualizations powered by Flint to answer your data exploration questions. Try Flint

Flint is open source and ready to use:

• Project site: https://microsoft.github.io/flint-chart/ (opens in new tab)
• GitHub: https://github.com/microsoft/flint-chart (opens in new tab)
• Flint MCP server instruction: https://microsoft.github.io/flint-chart/#/mcp (opens in new tab)

Flint points toward a shared semantic layer for visualization, where people and AI agents can work with compact chart intent while a compiler handles the careful low-level details. We invite the community to explore the project and build on it.

Opens in a new tab

The post Flint: A visualization language for the AI era appeared first on Microsoft Research.

Situs judi IDN Slot online yang resmi dan terbaik adalah tempat untuk player yang ingin melakukan taruhan dengan cara online. di dalamnya kamu akan menemukan permainan sabung ayam yang sudah terkenal di Indonesia. game sabung ayam sendiri adalah permainan yang sangat disukai oleh para pecinta ayam aduan tidak hanya di Indonesia saja tapi juga di berbagai belahan dunia. Dikarenakan adanya larangan perjudian, sekarang seluruh pecinta ayam aduan melakuka taruhan dengan sistem online. karena itu kamu bisa mencoba game ini di agen judi resmi dan terpercaya untuk dapatkan keseruan tanpa batas di dalamnya.

Beragam Keunggulan Yang Ditawarkan Situs Sabung Ayam Online Resmi Indonesia

Kebanyakan petaruh di Indonesia yang melakukan taruhan sabung ayam diwajibkan untuk memilih agen atau situs judi sabung ayam terbaik terlebih dahulu. Karena ketika pemilihan agen dapat dilakukan oleh player, tentu saja hal ini akan memudahkan jalannya dalam mendapatkan keuntungan dengan mudah. agen judi sabung ayam terbaik sendiri menawarkan beberapa keungguln yang membuat petaruh suka dan jatuh hati saat bermain di dalamnya. berikut ini sudah ada keunggulan yang akan kamu temukan di dalam situs judi sabung ayam resmi untuk para player di indonesia:

• Fitur Live Streaming

Untuk keunggulan yang akan kamu dapatkan pertama kali adalah live streaming. Jadi perlu diketahui, lewat fitur yang satu ini, kamu akan menemukan sebuah perlombaan secara langsung. Fitur live streaming memungkinkan para player untuk merasakan sensasi bermain yang sangat mirip seperti pada bandar darat langsung. Karena itu kebanyakan player akan lebih memilih bermain game sabung ayam bersama agen judi yang menyediakan ftur live streaming di dalamnya supaya taruhan lebih menyenangkan.

Para player yang ingin bermain dapat masuk ke dalam pertandingan lewat stus atau aplikasi. Jadi cobalah untuk temukan agen-agen yang memiliki fitur ini di dalamnya. karena ketika kamu ada di dalam sebuah agen judi sabung ayam dengan fitur seperti ini, itu artinya kamu sudah berhasil dapatkan agen terbaik. disini kamu bisa melakukan taruhan dengan aman dan nyaman serta mendapatkan hasil yang begitu menggiurkan.

• Hadir untuk semua kalangan

Kemudian, kamu juga akan menemukan banyak sekali player yang ikut bermain di dalam agen judi seperti ini. karena itu, game ini hadir untuk semua kalangan player yang membuatnya semakin populer. Game ini bisa diakses dengan mudah oleh player karena alat main yang digunakan hanyalah sebuah smartphone yang dihubungkan ke jaringan internet saja.

Jadi apabila kamu sudah menemukan jaringan internet di dalam smartphone milik kamu, kamu bisa akses sabung ayam online kapan saja dan dimana saja. kamu juga dapat menikmati permainan ini dengan penawaran tanpa batas yang membuat game ini sangat sayang bila dilewatkan begitu saja. jadi cobalah untuk melakukan pemilihan situs sabung ayam sampai menemukan agen seperti ini.

• Terjamin kEamanannya

Dan yang terakhir adalah mendapatkan game sabung ayam yang sudah terjamin keamanannya. Ini adalah salah satu keunggulan yang juga akan kamu dapatkan dari situs judi sabung ayam. Jadi apabila saat ini kamu mengikuti taruhan sabung ayam secara online, keamanan yang ada di dalam agen patut untuk kamu perhatikan dengan benar.

Pasalnya ketika kamu berada di dalam sebuah agen yang keamanannya tidak begitu terjamin, tentu saja kamu harus memperhatikan sistemnya dulu di dalam agen. Karena semua player yang bermain berhak mendapatkan keamanan pada saat berada di dalam agen. Keamanan dan kenyamanan adalah dua hal penting yang akan membantu player untuk bisa dapatkan keuntungan di setiap harinya. player yang bermain game taruhan online juga tidak perlu khawatir jika nanti tidak bisa mendapatkan keseruan pada game yang dimainkan.

Itulah beberapa keunggulan yang akan kamu dapatkan saat berada di dalam agen judi sabung ayam online resmi dan terpercaya. jadi apabila saat ini kamu tertarik dengan game ini, kamu harus temukan situs-situs dengan semua daftar keunggulan di atas untuk dapatkan keuntungan di setiap harinya.

Originally posted 2022-07-12 00:42:47. …

Bermain game judi Joker123 apk online adalah salah satu aktivitas yang saat ini sedang banyak dilakukan oleh player. aktivitas ini disukai oleh player karena bisa mendatangkan penghasilan dalam jumlah yang besar. karena itu, apabila saat ini kamu suka dengan taruhan sabung ayam, pastikan kamu bertaruh dengan strategi. Jika kamu punya strategi untuk bermain game sabung ayam, kesempatan kamu dalam mendapatkan kemenangan akan jauh lebih besar. kamu juga bisa menikmati hasil yang menggiurkan lewat kemenangan yang sudah berhasil diraih.

Berikut Ini Beberapa Strategi Main Sabung Ayam Online Yang Jarang Diketahui Oleh Player

Banyak petaruh mendambakan kemenangan dalam game sabung ayam yang dimainkan. Karena itu, jika kamu salah satunya, maka strategi dalam permainan harus kamu ketahui sejak awal. Jika kamu tahu strategi apa saja yang mesti dilakukan pada saat betting, hal ini akan membantu kamu dalam mendapatkan penghasilan yang besar. nah berikut ini sudah kami rangkum beberapa strategi untuk yang ingin bermain game sabung ayam dengan sistem online:

• Memilih Pertandingan yang Tepat

Dikarenakan ada banyak pertandingan sabung ayam yang akan ditemukan di agen judi terpercaya, maka kamu perlu mencari pertandingan yang memang sudah diketahui dengan baik. Banyanya pertandingan sabung ayam membantu para petaruh untuk memilih yang benar-benar memguntungkan. Jangan pernah berpikir jika semua pertandingan bisa kamu nikmati. jadi sebaiknya cari informasi yang banyak dan lengkap terkait pertandingan yang akan diikuti nanti. Jika sudah mengetahui pertandinganya, barulah kamu bisa dapatkan kemenangan dalam game dengan mudah.

• Amati Hasil Riwayat Pertandingan Terdahulu

Kemudian, strategi kedua untuk player yang ingin bermain game judi sabung ayam adalah mengamati hasil riwayat pertandingan dari kedua ayam yang diadu. Nantinya, kamu akan bertemu dengan ayam berwarna merah dan biru. Disini kamu harus pandai dalam memilih ayam yang dirasa bisa memenangkan pertarungan. Tapi untuk melakukan analisa, dibutuhkan informasi yang lengkap. Kamu bisa perhatikan hasil riwayat dari kedua ayam yang akan diadu.

Biasanya di agen judi sabung ayam online, player bisa menemukan hasil riwayat tersebut dengan mudah. informasi seperti ini tentu saja dibutuhkan oleh player. apalagi yang baru saja masuk ke dalam dunia taruhan adu ayam online itu sendiri. jadi bagi para pecinta ayam aduan, lakukan strategi yang kedua ini dan kamu bisa dapatkan kemenangan dengan mudah.

• Modal Harus Dikelola dengan Baik

Strategi main game sabung ayam yang ketiga adalah modal harus dikelola dengan baik. Jadi buat yang ingin bermain taruhan sabung ayam, kamu harus pastikan jika modal yang akan dikeluarkan sudah melalui perhitungan yang matang. Jangan pernah berpikir jika uang yang kamu punya saat ini bisa kamu jadikan chip. Kamu harus perhatikan dulu berapa jumlah chip yang dibuthkan supaya nanti memudahkan proses deposit yang akan kamu lakukan.

Kebanyakan petaruh pemula langsung bertaruh dengan modal yang banyak.padahal jika hal ini dilakukan akan membuat taruhan yang dilakukan player justru tidak bisa memberikan keuntungan ataupun penghasilan. Maka dari itu, kamu tetap harus membatasi penggunaan modal yang akan dikeluarkan di setiap harinya. karena ini adalah bagian dari strategi yang perlu dilakukan oleh player yang bertaruh. Jika sudah mengaturnya, kerugian besar pasti tidak akan pernah kamu rasakan.

• Bermain dI Situs Terbaik

Dan yang terakhir adalah bermain game sabung ayam di situs judi terbaik. ini merupakan strtegi bermain game judi sabung ayam ketiga yang mesti dilakukan player. jadi untuk yang ingin bermain game sabung ayam, coba pilih dan pilah situsnya dulu. Jika kamu sudah menemukan situs judi terbaik, kamu pasti akan mendapatkan tempat yang bisa berikan kenyamanan untuk playernya.

Itulah beberapa strategi main game judi sabung ayam online yang jarang diketahui oleh player. jadi untuk petaruh yang ingin bermain harus mengikuti strategi di atas untuk bisa dapatkan peluang menang yang besar. jika kamu bisa dapatkan kemenangan dalam permainan sabung ayam, silahkan tarik dananya untuk dapatkan untung menjanjikan. Selamat mencoba dan semoga bermanfaat.

Originally posted 2022-06-08 00:34:09. …

Memang sekarang ini banyak sekali game judi joker123 online yang beredar di internet atau dunia maya dengan begitu bebasnya. Meski game judi dimainkan via onine, tetap saja harus ada modal untuk bisa mengakses dan menikmati keseruan pada game tersebut. begitu pun dengan game judi poker online, semua yang bermain game poker pastinya harus mempelajari dan memahami bagaimana caranya agar modal yang dibawa bisa memberikan hasil yang luar biasa. Karena itu, coba simak beberapa cara di bawah ini untuk pemula yang ingin bermain game poker tapi membawa modal dalamjumlah sedikit.

Hal-Hal Yang Perlu Dilakukan Saat Main Poker Online Memakai Modal Kecil

Permainan poker tidak dapat dipungkiri adalah game judi online yang membutuhkan modal bermain di dalamnya. Modal yang diperlukan pada saat bermain game poker adalah uang asli. Karena itu, ketika kamu berhasil dapatkan kemenangan, maka kemenangan tersebut akan membantu kamu untuk dapatkan penghasilan dalam jumlah yang sangat besar. jadi sudah tidak perlu heran lagi mengapa saat ini banyak petaruh yang bermain game poker dengan modal kecil. Jika kamubisa melakukan taruhan dengan modal kecil, kamu pasti akan bertaruh dengan aman. berikut ada beberapa hal yang sebaiknya dilakukan saat main poker dengan modal kecil:

• MEnguasai Permainannya Dulu

Hal pertama yang mesti dilakukan oleh player pada saat bermain game poker memakai modal kecil adalah menguasai permainannya terlebih dahulu. Jadi disini kamu harus tahu jika penguasaan terhadap permainan judi poker sangat diperlukan oleh player. karena ketika kamu menguasai permainannya dengan baik, akan ada banyak hal positif yang bisa kamu dapatkan nanti.

Jika kamu termasuk salah seorang pemain baru atau pemula, mungkin kamu perlu waktu yang cukup banyak agar bisa mempelajari dan memahami aturan dalam game poker dengan baik. Jika kamu sudah melakukannya, barulah kamu boleh melakukan taruhan dengan uang asli dengan pemahaman yang kamu miliki. Karena kamu pasti bisa mengolah kartu yang didapatkan dengan benar jika penguasaan terhadap permainan sudah kamu dapatkan.

• Memakai Konsentrasi Tingkat Tinggi

Kemudian, kamu juga perlu memakai konsentrasi tingkat tinggi pada saat bermain game poker. Ini adalah hal kedua yang perlu dilakukan oleh player. jangan pernah berpikir jika segala kondsii bisa kamu pakai untuk bermain game judi poker online. pasalnya kamu hanya bisa memenangkan permainan poker jika berada dalam konsentrasi. Kamu harus berkonsentrasi penuh pada taruhan dan fokus dengan segala tahapan yang kamu lalui untuk dapatkan kemenangan dengan mudah.

Kebanyakan player di Indonesia yang bermain tanpa konsentrasi justru akan mengalami kerugian dalam jumlah yang sangat besar. karena itu, kamu harus pastikan jika waktu dan tempat yang dipergunakan untuk bermain sudah tepat. pasalnya hanya dengan cara itu sja, kamu pasti bisa dapatkan taruhan yang lebih gampang untuk dimenangkan.

• Memanfaatkan Trik Jitu

Trik dibutuhkan oleh player pada saat bermain game judi poker. Salah satu trik yang tidakboleh sampai kamu lewatkan adalah trik bluffing atau menggertak. Karena disini kamu harus tahu jika trik bluffing akan sangat membantu kamu untuk mengalahkan player laiin yang duduk di meja taruhan online. jadi trik ini harus kamu lakukan dengan penuh keberanian agar player lain percaya dan segera keluar.

Jika kamu memakai trik yang satu ini, pastikan kamu melakukannya di moment yang tepat. Tidak masalah meski saat ini kartu yang kamu miliki tidak begitu bagus. Jika kamu punya kartu yang tidak terlalu baik nilainya, kamu hanya perlu mengolahnya saja dan berani untuk bluffing. Karena tidak ada satupun player yang bisa mengetahui nilai kombinasi kartu yang kamu dapatkan saat ini. jadi coba untuk melakukan trik yang ketiga ini agar bisa memenangkan permainan denga mudah.

Itulah beberapa hal yang harus dilakukan oleh player bila bermain game judi poker online memakai modal dalamjumlah yang kecil. Jadi apabila saat ini kamu sedang tertarik untuk bermain taruhan poker, kamu boleh melakukan taruhan dengan sejumlah trik di atas. Selamat mencoba dan semoga bermanfaat. 

Originally posted 2022-05-23 00:16:33. …

Beberapa cara sepertinya perlu kamu lakukan apabila ingin bermain game judi idnplay download online dengan aman dan nyaman. karena itu, apabila saat ini kamu mengikuti game sabung ayam, pastikan kamu melakukan taruhan dengan cara yang benar. Game ini sudah bisa diakses dan dinikmati dengan cara online. karena itu terdapat kemudahan pada saat mengakses permainannya. Kemudahan dalam mengakses game taruhan sabung ayam tentu saja dikarenakan akses ke dalam game yang hanya membutuhkan smartphone dan internet saja. jadi kamu bisa bermain dimanapun kamu mau dengan mudah.

Beberapa Cara Mengikuti Taruhan Sabung Ayam Online Dengan Aman

Berbeda halnya dengan game sabung ayam yang dimainkan secara langsung, permainan sabung ayam yang kini diakses via online tentu saja jauh lebih aman. karena kamu bisa akses game ini dimana saja yang kamu mau. Hanya dengan smrtphone dan internet saja, akses ke dalam game sudah bisa dilakukan dimanapun kamu mau. Karena itu, rata-rata player lebih suka bermain game sabung ayam dengan sistem online. jadi apabila kamu tetarik, coba simak cara mengikuti taruhan sabung ayam berikut ini agar prosesnya dapat berjalan dengan aman dan nyaman:

• Mendaftar di Situs Judi Resmi

Pertama, kamu harus melakukan pendaftaran di situs judi yang resmi. Ini menjadi cara pertama yang harus kamu lakukan apabila ingin mengikuti taruhan sabung aym secara online. pendaftaran yang dilakukan di dalam agen judi resmi akan membantu kamu supaya bisa dapatkan akun member dengan segera. Data-data yang diberikan ke dalam agen harus data asli. Jangan pernah berpikir jika kamu bisa pergunakan data orang lain pada saat mendaftar di dalam agen sabung ayam.

Siapkan semua data diri yang akan diperlukan pada saat mendaftar. Karena itu, apabila saat ini kamu tertarik untuk bermain nanti, tidak ada salahnya untuk melakukan persiapan yang matang. Pasalnya jika kamu mempersiapkan semuanya dengan matang, hal ini akan membantu kamu supaya bisa menyelesaikan proses daftar dengan mudah. kamu juga bisa mendapatkan akun member tanpa harus dalam waktu yang lama.

• Melakukan Deposit yang Pertama

Kemudian, kamu harus melakukan yang namanya deposit untuk pertama kalinya. Deposit ke dalam stus judi sabung ayam online adalah langkah kedua yang mesti dilakukan oleh player. jadi untuk yang saat ini melakukan transaksi deposit ke dalam agen judi sabung ayam, maka kamu perlu meminta terlebih dahulu nomor rekening agen  lewat cs yang bertugas. Tenang saja, cs akan membantu kamu supaya bisa mendapatkan nomor rekening terbaru milik situs sehingga tidak ada lagi kesalahan yang dilakukan player saat bertaruh.

Deposit ke dalam agen judi sabung ayam sudah semestinya dilakukan di waktu yang tepat. jadi untuk player yang ingin bermain game sabung ayam, jangan pernah bertransaksi jika kamu sendiri tidak tahu apakah bank dalam keadaan online atau tidak. Jadi saat deposit, kamu harus melakukannya ketika bank dalam keadaan online. Dengan begitu, transaksi akan berjalan dengan lancar dan kamu bisa mendapatkan chip untuk bermain taruhan di setiap harinya.

• Memulai Taruhan dengan Bet Kecil

Dan cara terakhir untuk yang ingin mengikuti taruhan sabung ayam adalah memulai taruhan dengan bet kecil. Jadi untuk yang saat ini ingin bermain game sabung ayam, kamu perlu memasang taruhan dengan bet kecil terlebih dahulu. Jangan buru-buru melakukan pemasngan taruhan dengan bet besar. karena kamu akan mengalami kerugian yang besar jika langsung mengikuti taruhan dengan bet besar.

Bermain game sabung ayam dapat dilakukan dengan bet besar dan juga bet kecil. Jika kamu bermain game sabung ayam dengan bet kecil, kemungkinan untuk kamu bisa mendapatkan kemenangan akan jauh lebih besar. berbeda dengan taruhan yang dilakukan dengan bet besar dimana kebanyakan petaruh akan lebih terfokus hanya pada kemenangan dan sisa uang yang dimiliki saja. sehingga mereka lupa dengan kekalahan dan kerugian yang kerap diberikan game ini untuk playernya.

Itulah beberapa cara mengikuti taruhan sabung ayam online yang aman untuk pemula. Jadi supaya kamu bisa bertaruh nanti, coba ikuti satu per satu semua cara main di atas untuk dapatkan untung yang besar.

Originally posted 2022-05-07 00:40:10. …

Dalam bermain game judi poker88 online, tentu kamu harus mengetahui terlebih dahulu sejumlah tips yang akan membantu kamu agar bisa menjalankan taruhan dengan baik. Tips bermain game judi poker sejatinya diperlukan oleh semua player terutama yang masih pemula. Karena ketika tips bermain game poker sudah diketahui oleh player, tentu hal ini akan membantu mempermudah proses taruhan yang akan dilakukan. maka dari itu, coba disimak dulu beberapa tips bermain game judi poker di bawah ini apabila ingin melakukan taruhan dengan mudah dan nyaman.

Beragam Tips Yang Diperlukan Jika Ingin Bermain Game Di Agen Poker Online

Pada saat bermain game judi poker, semua player tentu saja berharap jika mereka bisa mendapatkan hasil keuntungan dalam jumlah besar. tapi sayangnya, sebagai pemula, banyak hal yang sejatinya perlu kamu ketahui terlebih dahulu. Jika kamu tahu banyak hal tentang game yang dimainkan, tentu saja kemungkinan untuk kamu bisa dapatkan kemenangan akan semakin besar. karena itu, coba simak tips bermain game judi poker berikut ini agar kesempatan meraup untung besar akan semakin terbuka lebar:

• Membaca Info Tentang Aturan Main Poker

Pertama, coba baca informasi tentang aturan main game poker yang benar. Jadi untuk yang saat ini suka dengan game judi poker, kamu harus pastika jika informasi di dalam permainan poker sudah kamu dapatkan sejak awal. Banyak hal yang mesti diketahui oleh player salah satunya adalah kombinasi dalam game poker itu sendiri. jadi disini kamu harus mengetahui informasi tentang kombinasi yang ada di dalam game poker supaya bisa dapatkan susunan terbaik pada saat bermain taruhan.

Aturan main game poker lainnya yang perlu diketahui oleh player adalah stategi main yang akan dibutuhkan atau berguna pada saat bermain. jadi kamu harus tahu jika strategi dalam game poker juga dibutuhkan. Salah satu strategi yang sangat populer di dalam dunia betting adalah strategi bluffing. Jadi kamu bisa melakukan bluffing untuk menggertak player lain agar mau keluar dari taruhan yang dimainkan.

• Modal Tampil

Kemudian. Pada saat bermain game judi poker, kamu juga harus punya yang namanya modal tampil. Player yang ingin bermain game poker sudah sepatutnya melakukan deposit terlebih dahulu. Apabila sudah melakukan deposit, barulah uang yang dibawa ke dalam permainan disetorkan ke dalam rekening agen. Dengan uang tersebut, kamu bisa bermain taruhan poker di setiap harinya. kamu bisa mengikuti permainan poker tanpa harus menunggu waktu-waktu tertentu.

Dalam game poker, chip memang begitu dibutuhkan oleh semua player yang bertaruh. Maka dari itu, apabila saat ini kamu tengah tertarik untuk bermain judi poker online, jangan pernah beranggapan jika game poker ini bisa kamu akses atau mainkan tanpa chip atau modal di dalamnya. tanpa adanya modal, game apapun tidak akan bisa diakses termasuk game judi poker itu sendiri.

• Bermain Sabar

Dan yang ketiga adalah bermain game taruhan poker dengan penuh kesabaran. Ini menjadi tips selanjutnya yang tidak boleh dilupakan oleh player di Indonesia. Karena ketika kamu berharap untuk terjun ke dalam game taruhan poker, tentu saja kesabaran menjadi salah satu hal yang sangat dibuthkan disini. Kamu bisa dapatkan banyak kemenangan dan keuntungan bila lebih bersabar dalam menjalankan taruhan online.

Sudah banyak petaruh di Indonesia yang saat ini melakukan taruhan dengan sikap terburu-buru. Bukan hanya memberikan efek kerugian dalam jumlah yang besar saja, jika kamu buru-buru mengikuti kegiatan betting yang ada khawatirnya nanti kerugian dalam jumlah besar juga akan kamu alami nanti. Kesabaran adalah salah satu teknik bermain yang sangat penting untuk dilakukan oleh para player indonesia.

Itulah beberapa tips yang harus dilakukan oleh player apabila ingin bermain bersama agen judi poker online yang terbaik. jadi apabila saat ini kamu mengikuti semua tips bermain di atas, kemugkinan untuk kamu bisa dapatkan keuntungan akan semakin besar. bahkan kamu juga bisa menikmati kesuksesan lewat game ini di setiap harinya. selamat mencoba.

Originally posted 2022-04-10 00:30:54. …

Pembuatan akun member di dalam agen judi idnplay poker online adalah salah satu informasi yang pastinya akan dibutuhkan oleh semua player pemula di indonesia. karena player pemula yang bermain game judi poker akan membutuhkan trik-trik supaya proses pembuatan akun member dapat berjalan mudah dan nyaman. trik membuat akun judi poker sudah sepatutnya dipelajari oleh pemula. Jadi jika kamu salah satu pemula yang saat ini tertarik dengan game poker, coba simak dulu beberapa trik membuat akun judi di bawah ini yang harus dipelajari oleh pemula.

Beragam Trik Untuk Player Yang Ingin Membuat Akun Judi Poker Online

Semua yang sudah terjun ke dalam dunia taruhan pasti ingin mencoba game judi poker yang kini bisa diakses dengan sistem online. terdapat begitu banyak perbedaan yang dimiliki game poker offline dan online. karena itu, jika kamu belum pernah mencoba game ini dengan sistem online, tentu kamu perlu menyimak dulu uraian kali ini. pasalnya banyak sekali hal penting yang sepatutnya diketahui termasuk salah satunya adalah panduan membuat akun judi poker. Berikut ini diantaranya trik membuat akun judi poker yang perlu dipelajari oleh pemula:

• Main di Situs yang Direkomendasikan Orang-orang

Pertama, kamu harus mainkan game judi poker di situs yang sudah direkomendasikan banyak orang. Ini adalah cara main pertama yang perlu dilakukan oleh player. jika kamu bermain game judi poker, kamu tidak boleh salah dalam memilih situs judi. Situs yang dipilih harus situs yang terpercaya. adapun langkah memilih situs poker adalah melihat lisensi resmi dalam situs judi itu sendiri. jadi kamu harus mencari situs judi poker yang sudah mendapatkan sertifikat sebagai situs resmi terlebih dahulu.

Kemudian, kamu juga perlu melakukan taruhan di dalam situs yang sudah memiliki fasilitas dan layanan terlengkap di dalamnya. jadi untuk yang saat ini ingin bermain game judi poker, kamu harus perhatikan dulu apakah situs yang dipilih adlah situs yang sudah dilengkapi dengan pelayanan yang nyaman atau tidak. Karena situs judi terbaik pasti akan memberikan pelayanan terbaik untuk para player yang bermain.

• Siapkan Dana

Kemudian, kamu perlu menyiapkan dana untuk bisa deposit ke dalam situs judi poker online. Bagi yang ingin bermain game poker, kamu perlu memiliki dana dan rekening atas nama kamu sendri. Jika kamu belum membuat rekening bank, silahkan buat dengan memakai nama kamu sendiri. karena pihak agen tidak akan memproses transaksi yang nama akun banknya berbeda dengan nama pemilik akun judi yang dibuat.

• Mengisi Form Data

Langkah ketiga untuk player yang ingin membuat akun judi poker adalah mengisi form data. Jadi apabila kamu sudah menemukan situs judi dan menyiapkan dana yang cukup, ini adalah langkah ketiga yang perlu dilakukan. silahkan isi data-data yang benar. Adapun data yang sebaiknya diisi dengan data kamu sendiri adalah nama akun atau username, nomor rekening bank yang digunakan, jenis bank yang digunakan dan banyak lagi yang lain.

Jika kamu ingin mendapatkan kemudahan dalam melakukan pengisian data diri, usahakan untuk mempersiapkan data-data yang diperlukan. Persiapan data diri sebelum proses pendaftaran dilakukan adalah salah satu langkah yang mesti dilakukan oleh player. karena itu, kamu bisa isi form data dengan cara atau trik satu ini.

• Memulai Taruhan

Dan langkah terakhir yang perlu dilakukan adalah memulai taruhan. ini adalah salah satu langkah membuat akun judi yang terakhir kali mesti dilakukan oleh player. jika kamu sudah memulai taruhan online, itu artinya kamu bisa melakukan taruhan kapan saja. tapi disini kamu harus periksa dulu apakah taruhan yang kamu lakukan sudah kamu mengerti dengan baik atau tidak. Jika tidak, usahakan untuk mempelajari terlebih dahulu aturan main di dalamnya.

Itulah beberapa trik membuat akun judi poker online yang sudah sepatutnya dipelajari dan dipahami oleh semua pemula di Indonesia. jika kamu sudah mempelajarinya, kamu pasti bisa membuat akun member dengan segera. Bahkan waktu yang dibutuhkan nanti hanya beberapa menit saja jika semua langkah sudah benar atau sesuai.

Originally posted 2022-03-25 00:07:14. …

Apabila kamu saat ini begitu tertarik untuk bermain game judi PKVGames online, tentu kamu harus tahu alasan mengapa game ni begitu digilai player di Indonesia. diantara banyaknya games di indonesia saat ini, para player akan lebih suka dengan game sabung ayam. Tentu bukan tanpa alasn mengapa banyak peminat judi online di indonesia suka dengan game ini. Jadi perlu kamu ketahui, game sabung aym adalah game taruhan online yang sangat menarik dan menyenangkan. Jika kamu bermain game sabung ayam, itu artinya kamu tidak perlu repot pergi keluar rumah untuk bisa akses game ini. cukup smartphone dan internet saja, game ini bisa kamu akses dengan mudah.

Berikut Ini Beberapa Alasan Yang Membuat Game Sabung Ayam Online Digilai Oleh Player

Game sabung ayam yang dimainkan secara online bisa kamu akses dan nikmati dengan memakai smartphone dan internet. Jika dulu game ini bisa diakses dengan cara pergi ke sebuah tempat khusus dulu, berbeda dengan sekarang. Kamu sudah bisa mengikuti permainan dengan hanya menggunakan sebuah smartphone. Bahkan akses ke dalam game pun bisa dilakukan dimana saja yang diinginkan. Apabila kamu gemar memainkan game secara online, berikut ini ada beberapa hal menarik yang akan kamu temukan nanti:

• Lebih Murah

Jika dibandingkan dengan permainan judi sabung ayam via offline, game sabung ayam yang dimainkan secara online akan jauh lebih murah. Inilah yang membuat para petaruh sangat suka dengan game judi yang dimainkan secara online. pasalnya untuk mengakses game ini, para player hanya perlu ponsel pintar, internet dan modal puluhan ribu rupiah untuk bisa mengakses game ini. jadi tidak perlu repot melakukan taruhan dengan modal besar karena modal sedikit sudah bisa membantu kamu untuk dapatkan keuntungan yang menjanjikan.

Meski taruhan sabung ayam diakses dengan memakai sistem online, tetap saja para player harus punya modal untuk bertaruh. Karena itu, dengan modal bermain inilah, kamu pasti akan dapatkan taruhan yang lebih menguntungkan. Bukan Cuma itu saja, kamu juga akan dapatkan taruhan yang sangat menyenangkan karena fasilitas betting yang tersedia di dalam agen sabung ayam itu sendiri.

• Banyak Pilihannya

Kemudian, kamu juga akan menemukan lebih banyak pilihan pada saat game sabung ayam dimainkan secara online. pilihan game sabung ayam yang diakses secara online jauh lebih banyak. tak heran jika para player yang bermain game nanti akan menemukan kemudahan dalam memilih jenis yang akan dimainkan. Di dalam agen sabung ayam terpercaya, para player dapat memilih turnamen mana yang akan diikuti pad saat betting nanti.

Maka dari itu, untuk yang saat ini gemar bermain game sabung ayam, jangan pernah melupakan keunggulan yang kedua ini. kamu bisa memanfaatkan beragam pilihan yang ada di dalam agen sabung ayam online terprcaya untuk dapatkan kemenangan dengan mudah. kamu juga bisa dapatkan kesenangan lewat permainan yang kamu ikuti nanti.

• Banyak Bonusnya

Dan yang ketiga adalah menemukan banyak bonus yang untungnya sangat menggiurkan. Jadi untuk para player yang ingin bermain judi sabung ayam, bonus di dalam permainan bisa kamu nikmati di setiap harinya. tapi disini kamu harus tahu jika bonus di dalam agen sabung ayam sangatlah beragam. Kamu akan menemukan bonus mulai dari bonus untuk pendatang baru, bonus bagi yang melakukan deposit d setiap harinya, bonus rollingan dan banyak lagi.

Karena itu, jika kamu ingin bermain game sabung ayam, kamu tidak boleh lupa jika di dalam agen judi sabung ayam terdapat bonus yang akan meningkatkan penghasilan kamu dalam bertaruh. Jika kamu sudah mendapatkan banyak bonus, keuntungan besaar pasti akan segera didapatkan.

Itulah beberapa hal yang membuat permainan judi sabung ayam online lebih digilai player. karena itu, jika kamu sudah melakukan taruhan sabung ayam di dalam agen judi yang terbaik, taruhan akan berjalan dengan mudah. prosesnya sangat menyenangkan sehingga semua petaruh pasti akan betah dan nyaman meski bertaruh dalam waktu lama. Selamat mencoba.

Originally posted 2022-03-03 00:36:34. …

Pada saat bermain game judi login pragmatic play online, para player diwajibkan untuk mengetahui dulu apa saja trik-trik bermain yang akan membantu mereka supaya bisa dapatkan kemenangan dengan mudah. trik bermain game poker tidak hanya dibtuuhkan oleh yang masih pemula saja tapi yang pro dan handal sekalipun akan memerlukan trik supaya bisa dapatkan kemenangan dalam taruhan poker online. ketika kamu bermain dengan sejumlah trik, tentu saja kemenangan pasti akan jauh lebih gampang untuk didapatkan. Karena itu, trik bermain game poker sejatinya begitu dibutuhkan oleh semua player terutama yang masih pemula. Jika kamu salah satunya, coba simak terus pembahasannya.

Trik-Trik Yang Sangat Dibutuhkan Saat Main Game Poker Online

Banyak petaruh di Indonesia yang saat ini dibuat kebingungan lantaran tidak memahami trik bermain game poker dengan baik. Padahal ketika kamu terjun ke dalam taruhan poker yang dinikmati via online,tentu saja hal ini akan membantunya agar bisa dapatkan kemenangan lebih gampang. Sudah menjadi rahasia umum jika player yang bermain game poker ingin dapatkan kemenangan sekaligus terhindar dari kata kekalahan. Karena itu, coba simak beberapa trik berikut ini agar kamu bisa dapatkan kemenangan pada permainan judi poker:

• Pertimbangkan Banyak Hal Terlebih Dahulu

Di dalam permainan judi poker, para player dituntut untuk membuat pertimbangan-pertimbangan terlebih dahulu. Banyak hal yang sejatinya harus dipertimbangkan oleh player terutama setelah melihat kartu yang ada di tangan dan di atas meja. Player yang ingin bermain game poker bisa mengikuti permainan ini dengan sangat mudah dengan cara menghafal semua kombinasi dalam permainan ini. jika sudah bisa menghafal kombinasi dalam permainan poker, hal ini akan membantu player untuk dapatkan kemenangan lebih mudah.

Banyak hal yang tidak boleh dilupakan pad saat memasang taruhan pada permainan poker. Para player yang bermain game poker harus mempertimbangkan jumlah uang yang dikeluarkan. Player yang sudah berada di meja taruhan pun harus tahu dan pandai dalam membuat keputusan apakah akan lanjut atau tidak.

• Cerdas dalam Melakukan Bluffing

Kedua, cobalah untuk cerdas dalam melakukan bluffing. Ini menjadi trik kedua yang bisa dipelajari oleh pemula dan player pro di Indonesia. bluffing sendiri mejadi salah satu teknik yang dikenal oleh para player poker online. pasalnya dari sekian banyak strategi yang ada, sepetrinya kebanyakan player lebih memilih strategi satu ini untuk dapat mengalahkan lawan dalam bermain taruhan poker. Lawan main game poker biasanya akan keluar dari room setelah mendapatkan gertakan seperti ini.

Hanya saja, pada saat membuat gertakan kepada player lawan, pastikan kamu punya kartu yang memang memiliki potensi menang lebih besar. tapi jika tidak, sebaiknya cari moment terbaik untuk kamu bisa melakukan strategi yang satu ini. karena jika kamu tidak punya kartu dengan nilai yang baik tetapi berani melakukan gertakan seperti ini, khawatirnya nanti taruhan yang kamu lakukan justru hanya memberikan kegagalan.

• Bermain dengan Tenang

Dan yang terakhir adalah mainkan game ini dengan penuh ketenangan. Ini juga menjadi salah satu hal yang begitu dibutuhkan oleh semua player yang tengah bermain game poker. Jadi ketenangan dalam bermain game poker dibutuhkan oleh semua petaruh yang ada di indonesia. jadi apabila kamu melakukan taruhan pkoer dengan sistem online, ketenangan dalam bertaruh adalah salah satu hal yang penting untuk dimiliki semua player.

Jika kamu bisa bersikap tenang dan santai pada taruhan yang dijalankan, sudah pasti hasilnya nanti akan jauh lebih baik. Kamu bisa mendapatkan hasil yang sangat maksimal dari taruhan yang dijalankan. Sebab semua petaruh akan mendapatkan kesempatan terbaik mereka dalam meraih kombinasi terbaik jika bermain dengan penuh ketenangan seperti ini.

Demikian informasi mengenai trik poker online yang dibutuhkan oleh player agar bisa dapatkan banyak kemenangan. Jika kamu bisa mengikuti semua trik dalam permainan poker di atas, tentu hal ini akan membantu kamu untuk bisa dapatkan peluang menang dan untung yang jauh lebih menjanjikan. Selamat mencoba dan semoga bermanfaat.

Originally posted 2022-01-09 00:21:19. …

Permainan judi s128 apk adalah salah satu game yang diminat oleh kalangan penjudi di Indonesia. peminat game ini datang dari semua kalangan. Jadi tak heran jika kebanyakan petaruh di Indonesia lebih suka dengan game ini dibanding permainan judi online yang lain. apabila kamu tertarik untuk bermain game poker dengan cara online, pastikan kamu sudah paham dengan panduan dasar di dalamnya terlebih dahulu. Pemahaman tersebut akan sangat berguna supaya kamu bisa dapatkan keuntungan besar dengan cara yang mudah.

Beragam Trik Agar Dapatkan Kemenangan Dalam Game Judi Poker Online

Cara menentukan pemenang dalam game ini adalah player yang bisa bertahan sampai akhir. Jadi apabila kamu bermain game judi poker, pastikan kamu selalu bertahan hingga di level akhir atau sampai tidak ada satu pun player yang duduk bersama kamu di dalam meja taruhan poker. Maka dari itu, usahakan untuk dapat melakukan taruhan dengan benar sehingga kemenangan bisa segera kamu dapatkan. Nah, bagi yang masih baru atau pemula dan belum pernah mempelajari trik bermain game poker, berikut ini sudah kami rangkum beberapa trik dapatkan kemenangan yang perlu kamu lakukan:

• Membawa modal yang cukup

Untuk trik bermain game judi poker yang pertama adalah membawa modal yang cukup. Jadi untuk para playeryang ingin bermain game poker, pastikan kamu sudah mengetahui berapa jumlah modal yang akan dibawa ke dalam taruhan. pasalnya modal memegang peranan penting untuk player yang ingin bertaruh. Jika kamu punya modal yang cukup, kemenangan bukanlah hal yang sulit didapat. Bahkan dengan modal yang kamu miliki, kamu juga bisa mainkan game poker berulang kali dengan mudah dan praktis.

Nah, untuk player yang saat ini ingin bermain game poker, kamu harus lakukan yang namanya deposit dulu. Jadi uang yang kamu punya bisa disetorkan ke rekening milik situs. Jika sudah disetorkan, modal yang semula berupa uang asli akan berubah menjadi chip. Dengan chip ini, kamu bisa bermain taruhan kapan saja kamu mau. Bahkan kamu juga bisa mengakses dan menikmati permainan dimana saja dengan mudah dan nyaman.

• Berpindah Posisi

Kemudian, trik jitu kedua untuk player yang ingin dapatkan kemenangan dalam game judi poker online adalah berpindah posisi. Ini adalah salah satu cara terbaik untuk player yang ingin menang. Jadi buat player yang ingin bermain game poker, kamu boleh berpindah ke kursi yang lain jika kursi yang kamu duduki saat ini masih belum bisa memberikan kamu banyak kemenangan.

Sudah banyak petaruh yang berhasil dapatkan kemenangan ketika mereka mengambil semua peluang yang ada. Jadi apabila saat ini kamu ingin bermain game poker, berpindah posisi menjadi langkah kedua yang tidak boleh sampai kamu lewatkan begitu saja. kamu harus pindah ke posisi atau meja yang lain untuk dapatkan kesempatan menang lebih besar.

• Tentukan Waktu yang Pas

Dan yang terakhir adalah menentukan waktu yang pas untuk bermain taruhan online. waktu bermain game judi poker sebenarnya bisa kapan saja. mengingat game ini selalu tersedia 24 jam di setiap harinya. jadi kamu bisa menikmati game ini kapan saja baik di pagi hari, siang, bahkan di waktu dini hari sekalipun.

Jika kamu ingin mengejar kemenangan dalam taruhan poker, maka waktu yang pas adalah salah satu solusi yang tepat untuk kamu bisa dapatkan keuntungan. Jadi buat yang ingin bermain game poker, pemilihan waktu disini begitu dibutuhkan oleh player. Jika kamu sudah berhasil menemukan waktu yang tepat, kemungkinan untuk kamu dapatkan kemenangan akan semakin mudah. kamu bisa bermain dengan penuh dan fokus jika waktu yang digunakan saat bettingsudah tepat.

Itulah beberapa trik jitu untuk dapatkan kemenangan dalam game judi poker online. jadi apabila saat ini kamu sudh mengikuti semua trik di atas dengan baik, coba lihat hasil yang didapatkan. Karena petaruh yang bermain dengan trik yang tepat akan mendapatkan hasil keuntungan yang jauh lebih besar. selamat mencoba.

Originally posted 2022-01-08 00:14:24. …

Hari-hari ini, kita menghabiskan lebih banyak waktu di internet daripada sebelumnya. Salah satu konsekuensi yang tidak diinginkan dari revolusi digital adalah semakin populernya hiburan online. Judi Download Joker123 online adalah salah satu hiburan yang menarik perhatian orang-orang di seluruh dunia. Bermain judi secara onlineatau di perangkat seluler telah menjadi cara paling populer untuk bersantai bagi banyak orang. Judi berbasis online  berada di garis depan tren ini, menawarkan hiburan yang cepat, menyenangkan, dan objektif. Pada artikel ini, kami akan menunjukkan kepada kamu bagaimana memilih permainan atau game pada judi dengan baik.

Cara Pilih Permainan Judi Online

Beragam cara dapat kamu lakukan apabila ingin mendapatkan permainan judi yang terbaik. meski tidk mudah, tapi pemilihan game judi adalah salah satu hal yang mesti dilakukan. berikut ini sudah kami rangkum informasi untuk player yang ingin memilih permainan pada judi secara online. Beberapa diantaranya adalah sebagai berikut.

• Pilih Yang Bisa Menghasilkan Banyak Uang

Sebelum kamu dapat menemukan permainan yang sempurna untuk diri kamu sendiri, kamu harus terlebih dahulu mengidentifikasi komponen terpenting dari permainan kamu. Tidak mengherankan jika banyak pemain ingin menghasilkan uang sebanyak mungkin, tetapi bagaimana kamu memilih permainan yang tepat untuk itu? Jika kamu mencari keuntungan yang cukup besar untuk berhenti dari pekerjaan harian kamu, kamu disarankan untuk mencari permainan judi online yang populer karena kerap memberikan hasil besar untuk para playernya.

Biasanya game-game seperti ini adalah game yang hanya mengedepankan hoki semata. Tapi meski bisa memberikan hasil yang besar, tetap saja para player yang bertaruh harus pandai dalam melakukan taruhan dengan teknik yang cemerlang. Ini akan membantu kamu untuk bisa dapatkan kemenangan meski game yang dimainkan adalah game yang hanya mengedepankan keberuntungan.

• Pilih Untuk Mencari Kemenangan Berulang

Beberapa orang memainkan permainan slot termasuk judi dengan harapan memenangkan jackpot besar, sementara yang lain lebih memilih probabilitas tinggi untuk memenangkan jackpot kecil secara teratur. Ada beberapa jenis permainan atau game judui yang dirancang untuk memungkinkan kamu memenangkan hadiah kecil seperti itu secara teratur. Hanya saja, untuk dapat memenangkan game-game yang seperti ini, tetap dibutuhkan teknik dan usaha di dalamnya.

Kamu juga perlu melakukan latihan di setiap harinya supaya semakin mengenal permainan yang akan diikuti nanti. Karena semua petaruh yang ingin mencari kemenangan berulang harus pandai dan jeli dalam memilih permainan. Jika berhasil temukan kemenangan berulang dalam taruhan yang dimainkan, kamu pasti akan meraup hasil besar. meski bermodalkan puluhan ribu, tetap saja untung hingga jutaan rupiah bisa segera kamu nikmati dengan mudah. 

• Maksimalkan permainan yang sudah dipilih

Bagi yang sudah berhasil menemukan permainan judi terbaik. pastinya kamu harus memaksimalkan keuntungan dalam taruhan yang dimainkan. Apalagi game yang kamu akses dan nikmati saat ini adalah game yang memakai uang asli di dalamnya. karena itu, penggunaan uang asli dalam game taruhan online sudah sepatutnya menjadi motivasi untuk kamu melakukan taruhan dengan giat.

Karena hanya dengn cara ini saja, kamu bisa dapatkan kesempatan besar dalam meraih yang namanya kemenangan. Kamu juga bisa meningkatkan penghasilan kamu dalam bertaruh ketika game-game yang dipilih adalah game yang sudah sesuai dengn basic atau kapasitas kamu sebagai seorang petaruh. 

• Berhenti Setelah Menang

Jangan lupa, setelah kemenangan besar berhasil didapatkan, hentikan segera taruhannya. Karena ketika kamu menghentikan taruhan yang kamu mainkan, hal ini akan sangat membantu kamu untuk dapatkan hasil dari kemenangan yang sudah diraih. Maka dari itu, sudah sepatutnya untuk kamu menghentikan semua taruhan yang kamu lakukan apabila kemenangan berhasil dicapai. Tapi disini kamu harus tetapkan target menang agar tahu kapan harus berhenti dari taruhan. 

Itulah tadi beberapa cara menentukan permaiann dalam hal bermain judi online. Semoga artikel ini dapat bermanfaat untuk kamu, khususnya yang ingin memulai keberuntungan pada permainan sejenis ini. Ingatlah untuk terus memastikan jika kamu telah tepat dalam mengambil langkah karena jika salah sedikitpun maka kamu akan menemui kerugian.

Originally posted 2022-09-01 00:46:49. …

Ce qui est toujours plaisant lors de montée de version d’un outil, restera toujours la découverte des nouveautés  et ensuite … le recherche délicate des fonctions d’origine … sans parler des fonctions désormais absentes … A chaque migration, l’outil ...

Il est vraiment difficile d’arriver à suivre toutes les nouveautés et autres informations diverses et variés sur SharePoint et Office 2016, On peut passer à coté de certaines …pas d’une nouveauté mais plutôt d’une disparition, d’une feature deprecate...

The lower layers in the modern computing infrastructure are written in languages threatened by exploitation of memory management errors. Recently deployed exploit mitigations such as control-flow integrity (CFI) can prevent traditional return-oriented programming (ROP) exploits but are much less effective against newer techniques such as Counterfeit Object-Oriented Programming (COOP) that execute a chain of C++ virtual methods. Since these methods are valid control-flow targets, COOP attacks are hard to distinguish from benign computations. Code randomization is likewise ineffective against COOP. Until now, however, COOP attacks have been limited to vulnerable C++ applications which makes it unclear whether COOP is as general and portable a threat as ROP. This paper demonstrates the first COOP-style exploit for Objective-C, the predominant programming language on Apple’s OS X and iOS platforms. We also retrofit the Objective-C runtime with the first practical and efficient defense against our novel attack. Our defense is able to protect complex, real-world software such as iTunes without recompilation. Our performance experiments show that the overhead of our defense is low in practice.

Modeling relation paths has offered significant gains in embedding models for knowledge base (KB) completion. However, enumerating paths between two entities is very expensive, and existing approaches typically resort to approximation with a sampled subset. This problem is particularly acute when text is jointly modeled with KB relations and used to provide direct evidence for facts mentioned in it. In this paper, we propose the first exact dynamic programming algorithm which enables efficient incorporation of all relation paths of bounded length, while modeling both relation types and intermediate nodes in the compositional path representations. We conduct a theoretical analysis of the efficiency gain from the approach. Experiments on two datasets show that it addresses representational limitations in prior approaches and improves accuracy in KB completion.

Time-travel debugging (TTD) lets developers step backward as well as forward through a program’s execution. TTD is a powerful mechanism for diagnosing bugs, but previous approaches suffer from poor performance due to checkpoint and logging overhead, or poor fidelity because important information like GUI state is not tracked. In this paper, we describe how to provide highperformance and high-fidelity TTD to programs written in managed languages. Previous high-performance debuggers treat components external to the program like the GUI as black boxes, but that is not sufficient for highfidelity time-travel. Instead, we advocate for a gray-box approach that keeps these components live and in sync with the program during time-travel. The key insight is that managed runtime APIs expose most of the functionality required to do this; where it does not, we extend the runtime with a small number of non-intrusive interrogative interfaces. To demonstrate the power of our gray-box approach, we implement ReJS, a time-traveling debugger for web applications. ReJS imposes imperceptible tracing overhead, and its logs typically grow less than 1 KB/s. As a result, ReJS is performant enough to be deployed in the wild; real client machines can ship buggy execution traces across the wide area to developer-side machines for debugging.

We present fast and compact implementations of FourQ (ASIACRYPT 2015) on field-programmable gate arrays (FPGAs), and demonstrate, for the first time, the high efficiency of this new elliptic curve on reconfigurable hardware. By adapting FourQ's algorithms to hardware, we design FPGA-tailored architectures that are significantly faster than any other ECC alternative over large prime characteristic fields. For example, we show that our single-core and multi-core implementations can compute at a rate of 6389 and 64730 scalar multiplications per second, respectively, on a Xilinx Zynq-7020 FPGA, which represent factor-2.5 and 2 speedups in comparison with the corresponding variants of the fastest Curve25519 implementation on the same device. These results show the potential of deploying FourQ on hardware for high-performance and embedded security applications. All the presented implementations exhibit regular, constant-time execution, protecting against timing and simple side-channel attacks.