Skip to content

Instantly share code, notes, and snippets.

View 5HT's full-sized avatar
🌐
I'm very skeptical that person without empathy can create beautiful mathematics.

Namdak Tonpa 5HT

🌐
I'm very skeptical that person without empathy can create beautiful mathematics.
View GitHub Profile
Перелік проблемних сторінок на ендпойнті FHIR/INGREDIENTS при видачі по 100
https://drlz.info/api/docs/#/FHIR/apps_api_fhir_routers_get_ingredients
Fatal Error: <<"Traceback (most recent call last):\n File \"/usr/local/lib/python3.7/site-packages/ninja/operation.py\", line 105, in run\n return self._result_to_response(request, result, temporal_response)\n File \"/usr/local/lib/python3.7/site-packages/ninja/operation.py\", line 202, in _result_to_response\n result = response_model.from_orm(resp_object).dict(\n File \"/usr/local/lib/python3.7/site-packages/ninja/schema.py\", line 164, in from_orm\n return super().from_orm(obj)\n File \"pydantic/main.py\", line 574, in pydantic.main.BaseModel.from_orm\npydantic.error_wrappers.ValidationError: 21 validation errors for NinjaResponseSchema\nresponse -> items -> 78 -> substance -> strength -> concentrationRatio -> denominator -> value\n none is not an allowed value (type=type_error.none.not_allowed)\nresponse -> items -> 79 -> substance -> strength -
@5HT
5HT / sem-compare.txt
Last active July 30, 2025 06:19
Semaphore Implementation in TRON, QNX, BeOS and NuttX
Let's Write Scientific Article About Comparison of Semaphore Implementation in different Real-Time OS: TRON, QNX, BeOS, NuttX:
Our Intention is to buils refined API on all thoese API to achieve best real-time performance and idiomatic implementation.
Could you propose your version of Real-Time Semaphore implementation that is far better in terms of provability
of correcntess (simplicity) and performance?
BeOS:
status_t acquire_sem(sem_id sem);
status_t acquire_sem_etc(sem_id sem, uint32 count, uint32 flags, bigtime_t timeout);
@5HT
5HT / SkynetRT.tree
Last active July 31, 2025 12:39
tree -d -L 4 .
tonpa@TRISTELLAR:~/depot/skynetrt/rt$ tree -dL 4 .
.
├── apps
│   ├── init
│   ├── nsh
│   └── skynet
├── drivers
│   ├── eeprom
│   ├── fdt
│   ├── i2c
maxim@raspberrypi:~/depot/bitedits/rts $ tree -d -L 4 .
.
├── apps
│   ├── hello
│   ├── init
│   └── nsh
├── drivers
│   ├── devicetree
│   ├── eeprom
│   ├── i2c
@5HT
5HT / .config
Last active July 3, 2025 13:38
NuttX Configuration macOS
# macOS
#
# Automatically generated file; DO NOT EDIT.
# NuttX/x86_64 Configuration
#
#
# License Setup
#
@5HT
5HT / .config
Last active July 3, 2025 13:22
NuttX Configuration Linux
# linux
#
# Automatically generated file; DO NOT EDIT.
# NuttX/x86_64 Configuration
#
#
# License Setup
#
Parameter Point : Set.(* Define congruence of segments, written as AB ≡ CD *)
Parameter Cong : Point -> Point -> Point -> Point -> Prop.
Notation "A B ≡ C D" := (Cong A B C D) (at level 70).(* Define betweenness: B is between A and C, written A-B-C *)
Parameter Bet : Point -> Point -> Point -> Prop.
Notation "A - B - C" := (Bet A B C) (at level 70).(* Define perpendicularity: line AB ⊥ CD *)
Parameter Perp : Point -> Point -> Point -> Point -> Prop.
Notation "A B ⊥ C D" := (Perp A B C D) (at level 70).(* Congruence is an equivalence relation *)
Axiom Cong_refl : forall A B, A B ≡ A B.
Axiom Cong_sym : forall A B C D, A B ≡ C D -> C D ≡ A B.
Axiom Cong_trans : forall A B C D E F, A B ≡ C D -> C D ≡ E F -> A B ≡ E F.(* Identity axiom for congruence *)
Volume VIII: Consciousness
==========================
Kuhn arrays all the theories on a linear spectrum, simplistically and roughly,
from the most physical on the left (at the beginning) to the least physical
on the right (near the end).
* Physicalism
* Non-Reductive Physicalism
* Integrated Information Theory
Ця система типів є фундаментом і алгебраїчної геометрії тому шо квантор узагальнення Pi
є нетривіальним ізоморфізмом до розшарування Fiber Bundle, використовується як
основний примітив алгебраїчної геометрії.
type term =
I) Мова складається з 5 слів. 2 слова універсальні для всіх типізованих мов програмування.
1) Перше слово --- це "Змінна" --- інтуітивно природнє поняття, яке показує іменоване алфавітами або числами місце в програмі-реченні, що може містити інші програми-речення.
$ ./gradlew bootRun
> Task :bootRun
. ____ _ __ _ _
/\\ / ___'_ __ _ _(_)_ __ __ _ \ \ \ \
( ( )\___ | '_ | '_| | '_ \/ _` | \ \ \ \
\\/ ___)| |_)| | | | | || (_| | ) ) ) )
' |____| .__|_| |_|_| |_\__, | / / / /
=========|_|==============|___/=/_/_/_/