5HT

error[E0433]: failed to resolve: use of unresolved module or unlinked crate `asn1_suite`
 --> tests/certificate_parse.rs:5:5
  |
5 | use asn1_suite::authenticationframeworkcertificate::AuthenticationFrameworkCertificate;
  |     ^^^^^^^^^^ use of unresolved module or unlinked crate `asn1_suite`
  |
  = help: if you wanted to use a crate named `asn1_suite`, use `cargo add asn1_suite` to add it to your `Cargo.toml`

error[E0433]: failed to resolve: use of unresolved module or unlinked crate `asn1_suite`
 --> tests/roundtrip.rs:1:5

5HT

tonpa@TRISTELLAR:~/depot/longchenpa/longchenpa.guru$ tree -dL 4 .
.
├── 'khor.zhag
│   ├── 'brug.yul
│   ├── bal.yul
│   │   └── yang.le.shod
│   ├── bod
│   │   └── gangs.ri.mtho.dkar
│   ├── pa.ki.si.than
│   ├── rgya.gar

5HT

Перелік проблемних сторінок на ендпойнті 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

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

tonpa@TRISTELLAR:~/depot/skynetrt/rt$ tree -dL 4 .
.
├── apps
│   ├── init
│   ├── nsh
│   └── skynet
├── drivers
│   ├── eeprom
│   ├── fdt
│   ├── i2c

5HT

maxim@raspberrypi:~/depot/bitedits/rts $ tree -d -L 4 .
.
├── apps
│   ├── hello
│   ├── init
│   └── nsh
├── drivers
│   ├── devicetree
│   ├── eeprom
│   ├── i2c

5HT

# macOS

#
# Automatically generated file; DO NOT EDIT.
# NuttX/x86_64 Configuration
#

#
# License Setup
#

5HT

# linux

#
# Automatically generated file; DO NOT EDIT.
# NuttX/x86_64 Configuration
#

#
# License Setup
#

5HT

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 *)

5HT

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