Menu

#Symbol

1168 posts

Feed·
20 of 1168 posts
Terveystalo Oyj 2026 Q3 - Results - Earnings Call Presentation (OTCMKTS:TTALF) 2026-10-24
🖼️
0Read More

Terveystalo Oyj 2026 Q3 - Results - Earnings Call Presentation (OTCMKTS:TTALF) 2026-10-24

All Articles on Seeking Alpha·4 days ago
#wPPAATTD

2026-10-24. The following slide deck was published by Terveystalo Oyj in conjunction with their 2026 Q3 earnings call.

15s
Novartis AG (NVS) Discusses REMODEL Trial Results for Remibrutinib in Relapsing Multiple Sclerosis - Slideshow (NYSE:NVS) 2026-10-23
🖼️
0Read More

Novartis AG (NVS) Discusses REMODEL Trial Results for Remibrutinib in Relapsing Multiple Sclerosis - Slideshow (NYSE:NVS) 2026-10-23

All Articles on Seeking Alpha·5 days ago
#jLYLUjnr
#seekingalpha#chart#stock#transcripts#symbol

2026-10-23. The following slide deck was published by Novartis AG in conjunction with this event.

15s
How Gödel’s Proof Works
🖼️
142Read More

How Gödel’s Proof Works

Hacker News·3 months ago
#hXSxouzO
#quantamagazine#number#formula#axioms#symbol

His incompleteness theorems destroyed the search for a mathematical theory of everything. Nearly a century later, we’re still coming to grips with the consequences.

15s
0Read More

We have proof automation now

Hacker News·3 months ago
#ILPzfSzk
#imperialviolet#symbol#state#bits#states

I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants.…

15s
Symbolica 2.0: programmable symbols – Symbolica | Modern Computer Algebra
🖼️
0Read More

Symbolica 2.0: programmable symbols – Symbolica | Modern Computer Algebra

Hacker News·5 months ago
#fRh9ztn4
#symbolica#args#symbol#gamma#evaluator

Technical articles and release notes about Symbolica, symbolic computation, numerical methods, and high-performance computer algebra.

15s
Symbol·Form·Expression·Meaning (SFEM): A Four-Dimensional Cognitive Architecture for General Intelligence
🖼️
0Read More

Symbol·Form·Expression·Meaning (SFEM): A Four-Dimensional Cognitive Architecture for General Intelligence

DEV Community: ai·lengjingzju·5 months ago
#hx2ynOJp
#dev#layer#meaning#symbol#form

Author: Leng Jing Version: v0.0.3 Date: 2026-06-03 Statement: The "Symbol·Form·Expression·Meaning"...

15s
The Trinity Moment: When a Local AI Model, altFINS CLI, and an M1 Max Started Working Like One Tool
🖼️
0Read More

The Trinity Moment: When a Local AI Model, altFINS CLI, and an M1 Max Started Working Like One Tool

DEV Community·CryptoOne·6 months ago
#tJ7qi7ej
#why#ai#agents#model#symbol

From Dev Community: The Trinity Moment: When a Local AI Model, altFINS CLI, and an M1 Max Started Working Like One Tool

15s
How to Use One Forex API for Real-Time US, HK Stocks & Precious Metals
🖼️
0Read More

How to Use One Forex API for Real-Time US, HK Stocks & Precious Metals

DEV Community·kalos·6 months ago
#uLFPFU4W
#api#python#software#coding#symbol

As a developer building trading tools, I used to deal with a messy stack: separate APIs for US...

15s
Volatility Risk Premium in 30 Lines of Python (And the 5 Mistakes That Wreck It)
🖼️
0Read More

Volatility Risk Premium in 30 Lines of Python (And the 5 Mistakes That Wreck It)

DEV Community·tomasz dobrowolski·6 months ago
#l2updlBR
#python#finance#quant#close#symbol

The VRP formula, a worked SPY example, a 30-line Python implementation, and the five pitfalls that quietly produce a number that looks right but isn't.

15s
Opaque Types Without `unique symbol`: A Lighter Branded-Types Pattern
🖼️
0Read More

Opaque Types Without `unique symbol`: A Lighter Branded-Types Pattern

DEV Community·Gabriel Anhaia·6 months ago
#eVCGe9la
#typescript#types#generics#brand#string

Branded types without unique symbol — phantom-string-literal brands compose better, with one collision trade-off. Pattern + use cases.

15s
How I built a fake market data generator for trading UIs, no API keys, zero dependencies
🖼️
0Read More

How I built a fake market data generator for trading UIs, no API keys, zero dependencies

DEV Community·Love Pareek·6 months ago
#T3AocCC5
#javascript#showdev#testing#feed#symbol

From Dev Community: How I built a fake market data generator for trading UIs, no API keys, zero dependencies

15s
How to Stream Stable Millisecond Ticks for Gold & Silver
🖼️
0Read More

How to Stream Stable Millisecond Ticks for Gold & Silver

DEV Community·kalos·6 months ago
#1dCcv7dW
#websocket#api#python#fintech#symbol

If you’ve ever built a trading dashboard, bot, or real‑time monitor for XAUUSD / XAGUSD, you know...

15s