PtrMan

This article gives information about mathematical details which come up when one tries to build a realistic space simulation game with realistic physics. Focus here is on physics of various kinds, not graphics or networking because these topics are well treated at other places.

Example code is given in C#, because the language is high level and easy to understand and fast enoguh for copy and paste.

How to compute the thrust of multiple thrusters to fullfill the goal to accelerate in a direction or increase the rotational velocity?

This is a problem of mathematical optimization, which is related to operational research. One good method is to use optimization in the form of https://en.wikipedia.org/wiki/Linear_programming , more specifically the simplex algorithm .

patham9

from collections import deque
from copy import deepcopy
import sys
import time
import random

# THE WORLD
world = """
oooooooooooo
o   o   f  o

kevinkirkup

AI/ML training, tools and links

Research

• Generative AI at Work
• Papers w/ Code

Training

• Emerging Architectures for LLM Applications

patham9

;; Stdlib extension
(= (max $1 $2) (if (> $1 $2) $1 $2))
(= (min $1 $2) (if (< $1 $2) $1 $2))
(= (TupleConcat $Ev1 $Ev2) (collapse (superpose ((superpose $Ev1) (superpose $Ev2)))))

;; Truth functions
(= (Truth_c2w $c) (/ $c (- 1 $c)))
(= (Truth_w2c $w) (/ $w (+ $w 1)))
(= (Truth_Deduction ($f1 $c1) ($f2 $c2)) ((* $f1 $f2) (* (* $f1 $f2) (* $c1 $c2))))
(= (Truth_Abduction ($f1 $c1) ($f2 $c2)) ($f2 (Truth_w2c (* (* $f1 $c1) $c2))))

veekaybee

Anti-hype LLM reading list

Goals: Add links that are reasonable and good explanations of how stuff works. No hype and no vendor content if possible. Practical first-hand accounts of models in prod eagerly sought.

Foundational Concepts

Pre-Transformer Models

PtrMan

training data to finetune a LMt

purpose of the LMt:

• input is typically a goal and the LM has to figure out commands on how to realize the goal (just like AutoGPT).

source of the data:

• some of the data was generated with StarCoder with specific prompts

pdtgct

The LLaMA model weights may be converted from Huggingface PyTorch format back to GGML in two steps:

1. download from decapoda-research/llama-7b-hf and save as pytorch .pth
2. use the ggerganov/llama.cpp script, convert-pth-to-ggml.py to convert from pytorch .pth to GGML

This process will result in ggml model with float16 (fp16) precision.

Prerequisite

patham9

"""
 * The MIT License
 *
 * Copyright 2023 The OpenNARS authors.
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is

automenta

https://www.dhs.gov/medialibrary/assets/videos/23065 AUDREY - Public Safety Agencies Pilot Artificial Intelligence to Aid in First Response | Homeland Security Skip to main content Official websites use .gov A .gov website belongs to an official government organization in the United States. Secure .gov websites use HTTPS

https://dataverse.jpl.nasa.gov/dataset.xhtml?persistentId=hdl:2014/53408 Trusted and exPlainable Artificial Intelligence for Saving Lives (TruePAL) Technology for First Responder Safety Project Introduction - Root No abstract provided but the video is more like advertisement to push the project :)

https://www.spiedigitallibrary.org/conference-proceedings-of-spie/12101/121010G/Neurosymbolic-hybrid-approach-to-driver-collision-warning/10.1117/12.2620209.pdf Neurosymbolic hybrid approach to driver collision warning - SPIE Digital Library

PtrMan

collection of minimal Nim programs to accomplish simple tasks

keywords: Nim keywords: code snippets