Simula语言的区块链
慕璃嫣
包罗万象golang开发语言后端
Simula语言与区块链技术的交汇:构建下一个世代的智能合约引言区块链技术自2008年比特币白皮书发布以来,迅速发展成为一个重要的技术领域。它以去中心化、透明性和不可篡改性为核心特征,为各种应用提供了新的解决方案。在众多编程语言中,Simula语言虽不如Solidity、Go或Rust等更为流行,但其在面向对象编程(OOP)中的创新却为区块链应用的发展提供了独特的视角。本文将探讨Simula语言的
Objective-C语言的软件工程
慕璃嫣
包罗万象golang开发语言后端
Objective-C语言的软件工程引言在软件工程的领域中,编程语言的选择至关重要。随着技术的不断进步,开发者面临着各种编程语言的选择。其中,Objective-C作为一种成熟且广泛应用的编程语言,尤其是在苹果生态系统中,仍然扮演着重要的角色。本文将从多个方面探讨Objective-C语言在软件工程中的应用,包括历史背景、核心特性、开发流程及其在现代开发环境中的地位。一、Objective-C的历
Haskell语言的数据库交互
AI向前看
包罗万象golang开发语言后端
Haskell语言的数据库交互在现代软件开发中,数据库是存储和管理数据的重要组成部分。Haskell作为一种功能性的编程语言,因其优雅的语法和强大的类型系统,在开发高质量的软件方面得到了广泛的应用。而在很多实际应用中,数据库操作不可或缺,因此如何高效、优雅地在Haskell中进行数据库交互,是一个值得深入探讨的课题。1.Haskell简介Haskell是一种纯粹的函数式编程语言,拥有强大的类型系统
Haskell语言的编程范式
编程|诗人
包罗万象golang开发语言后端
Haskell语言的编程范式及其魅力引言Haskell是一种纯粹的函数式编程语言,自1987年首次发布以来,它一直在学术界和工业界保持着相对高的关注度。Haskell的编程范式与传统的命令式编程有着显著的不同,提供了一种更加优雅和强大的方式来处理计算和数据。本文将详细探讨Haskell语言的编程范式、其核心特性、以及在实际应用中的优势和局限性。一、编程范式的概念编程范式是指编程语言使用的基本风格或
k8s和ipvs、lvs、ipvsadm,iptables,底层梳理,具体是如何实现的
技术服务于生态
kubernetes容器云原生
计算节点的功能:提供容器运行的环境kube-proxy的主要功能:术业有专攻,kube-proxy的主要功能可以概括为4个字网络规则那么kube-proxy自己其实是个daemonset控制器跑的每个节点上都有个的pod它负责网络规则其实呢它还是个小领导它不直接去搞网络规则而是告诉别人,网络规则要怎么搞你来搞告诉谁?1.14版本之前是iptables1.14版本之后是ipvsiptables是个命
现代操作系统一点点
技术服务于生态
linux运维
现代操作系统操作系统为所有其他软件提供基础的运行环境。操作系统包含很多用于控制输入/输出设备的驱动文件也是抽象出来的操作系统的一个主要任务是隐藏硬件,呈现给程序(以及程序员)良好、清晰、优雅、一致的抽象。shell也是操作系统提供给用户的一个用户接口作为资源管理者的操作系统把操作系统看作向应用程序提供基本抽象的概念,是一种自顶向下的观点。按照另一种自底向上的观点,操作系统则用来管理一个复杂系统的各
万字长文解读生成式AI参考架构
俞凡 DeepNoMind
程序人生
本文介绍了构建端到端生产级GenAI应用的参考架构模型,涵盖了从UI/UX设计到多代理系统的各个方面,涉及AI模型的准备、调优、服务以及治理等关键环节。原文:TheGenAIReferenceArchitecture本文将介绍构建端到端GenAI应用的主要架构构件和蓝图,以便为生产做好准备,并且提出了几个在实施和设计基于LLM的应用时需要注意的关键事项。在目标架构中选择GenAI组件的AI成熟度:
k8s中,ingress的实现原理,及其架构。
技术服务于生态
kubernetes容器云原生
图片来源:自己画的图片来源:k8s官网首先,什么是ingress?是服务还是控制器?都不精确ingress是一个api资源service和deployment也是api资源。这几个相互协作,组建成一个对外提供服务的架构。ingress提供的作用是什么?ingress资源的生成,系统会给ingress资源一个ip地址这个ip地址下的不同路径,会定位到后端的不同服务比如ingress资源的ip地址是1
【Leetcode 每日一题 - 补卡】219. 存在重复元素 II
冠位观测者
LeetcodeDailyleetcode算法数据结构
问题背景给你一个整数数组numsnumsnums和一个整数kkk,判断数组中是否存在两个不同的索引iii和jjj,满足nums[i]=nums[j]nums[i]=nums[j]nums[i]=nums[j]且∣i−j∣map=newHashMapset=newHashSet=k){set.remove(nums[i-k]);}}returnfalse;}}
论文笔记(七十)DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning(二)
墨绿色的摆渡人
文章论文阅读
DeepSeek-R1:IncentivizingReasoningCapabilityinLLMsviaReinforcementLearning(二)文章概括摘要:2.方法2.3.DeepSeek-R1:冷启动强化学习2.3.1.冷启动2.3.2.面向推理的强化学习2.3.3.拒绝采样与监督微调2.3.4.面向所有场景的强化学习2.4.蒸馏:赋予小模型推理能力文章概括引用:@article{g
零碎的知识点(十二):卷积神经网络CNN通道数的理解!
墨绿色的摆渡人
零碎知识点cnn深度学习神经网络
卷积神经网络CNN通道数的理解!通道数的核心概念解析1.通道数的本质2.单张灰度图的处理示例:3.批量输入的处理通道与批次的关系:4.RGB三通道输入的处理计算过程:示例:5.通道数的实际意义6.可视化理解(1)单通道输入(灰度图)的过滤器(2)三通道输入(RGB)的过滤器总结通道数的核心概念解析1.通道数的本质在卷积神经网络中,通道数(Channels)表示不同过滤器的数量。每个通道对应一个独立
pytorch小记(七):pytorch中的保存/加载模型操作
墨绿色的摆渡人
pythonpytorch小记pytorch人工智能python
pytorch小记(七):pytorch中的保存/加载模型操作1.加载模型参数(`state_dict`)1.1保存模型参数1.2加载模型参数1.3常见变种1.3.1指定加载设备1.3.2非严格加载(跳过部分层)1.3.3打印加载的参数2.加载整个模型2.1保存整个模型2.2加载整个模型2.3注意事项3.总结4.加载模型的完整代码示例4.1保存和加载参数4.2保存和加载整个模型4.3加载到不同设备
Vue对话式前端界面
WUJI02
裁判文书大模型vue.js前端javascript
一.对话样式的实现用一个messages数组来存放对话信息,信息有两种类型user和botthis.messages.push({type:'user',content:this.userMessage});this.messages.push({type:'bot',content:response.data.reply});模版部分使用:class="['message-content',me
在Android Studio遇到卡在Waiting for all target devices to come online的解决方法
WUJI02
androidstudioandroidide
我在AndroidStudio中遇到了卡在“Waitingforalltargetdevicestocomeonline”的情况,我使用的是api24和api30版本的虚拟机。使用这两个版本的虚拟机是可以打开虚拟机的,但是虚拟机中没有运行我们所写的Android程序。解决办法是选择api27的虚拟机,这里应该是虚拟机Android版本的问题,不是我们清楚数据或者进行冷启动就可以解决的。
第十七题:电话号码的字母组合
冰魄雕狼
leetcode算法leetcodec语言pythonjava数据结构
题目描述给定一个仅包含数字2-9的字符串,返回所有可能的由它组成的字母组合。你可以假设输入字符串至少包含一个数字,并且不超过3位数字。实现思路使用哈希表或数组存储每个数字对应的字符,然后通过递归或迭代的方式生成所有可能的组合。如果字符串长度为n,则可以看作是n层循环,每层循环可以选择对应数字的所有字符之一。算法实现C语言实现#include#include#includevoidbacktrack
第十六题:最接近的三数之和
冰魄雕狼
leetcode算法leetcode数据结构c语言pythonjava
题目描述给定一个包括n个整数的数组nums和一个目标值target。找出nums中的三个整数,使得它们的和与target最接近。返回这三个数的和。假定每组输入只存在唯一答案。示例:输入:nums=[-1,2,1,-4],target=1输出:2解释:与target最接近的和为2(-1+2+1=2)。注意:3intcmp(constvoid*a,constvoid*b){return(*(int*)
vscode 和 pycharm哪个更适合开发
挺住.
人工智能经验分享笔记
在选择Python开发环境时,VisualStudioCode(VSCode)和PyCharm是两个最受欢迎的选择。两者都有强大的功能,但它们的设计理念、用户体验和功能集有所不同。是对两者的详细比较,帮助你选择更适合Python开发的工具。1.概述VisualStudioCode(VSCode):由微软开发,是一个轻量级、开源的代码编辑器,支持多种编程语言。通过扩展插件,VSCode可以扩展为功能
神经网络|(七)概率论基础知识-贝叶斯公式
西猫雷婶
概率论人工智能概率论
【1】引言前序我们已经了解了一些基础知识。古典概型:有限个元素参与抽样,每个元素被抽样的概率相等。条件概率:在某条件已经达成的前提下,新事件发生的概率。实际计算的时候,应注意区分,如果是计算综合概率,比如A已经发生时,B发生的概率,其实计算的目标是P(AB)。条件概率公式的通用表达式为P(B|A)=P(AB)/P(A),乘法表达式为P(AB)=P(B|A)P(A)全概率公式:全概率公式综合了所有条
Switch函数的使用
爱代码的小黄人
C语言学习c语言c++
一个switch语句允许测试一个变量等于多个值时的情况。每个值称为一个case,且被测试的变量会对每个switchcase进行检查。C++中switch语句的语法:switch(expression){caseconstant-expression:statement(s);break;//可选的caseconstant-expression:statement(s);break;//可选的//您
MyBatis 查询结果接收类型的总结与实践
DebugDiver代码深处潜水员
数据库三方件mybatis
MyBatis查询结果接收类型的总结与实践基本情况1.实体类型(JavaBean)2.Map类型3.自定义结果类型4.List集合5.List>6.多参数接收7.自定义对象8.动态结果类型复杂情况1.多表关联查询示例代码2.分页查询示例代码3.动态SQL示例代码4.批量更新/插入示例代码5.存储过程示例代码6.嵌套查询示例代码示例代码8.事务管理示例代码基本情况1.实体类型(JavaBean)实体
Opencv载取任意长度视频
牛andmore牛
#OpenCVopencv载取视频opencv
文章目录使用Opencv截取仍意长度视频。使用Opencv截取仍意长度视频。importcv2importsysdefselect_video(input_path,output_path,start=1,end=-1):"""input_path表示原视频路径output_path表示要保存路径start表示起始的帧,默认从头开始end表示终止帧,默认到结尾"""assertstart=star
Flannel 安装并排错
超级阿飞
k8sclusterlinux运维k8s
安装好flannel插件后,运行flannel的deamonset启动不起相应的pod来,coredns也报错。以下为排错和修复的过程。安装好Flannel后报错在安装好flannel后,可用查看具体的安装yaml文件来了解安装的整个过程和定义的参数,可用将https://raw.githubusercontent.com/flannel-io/flannel/master/Documentati
SpringBoot基础 -- 高级特性
️771
SpringBootspringbootjavaspring后端Springsecurity
SpringBoot基础–高级特性1.简介对SpringBoot高级特性的了解能帮助开发者更好地开发项目、维护和优化应用程序。以下是对SpringBoot高级特性的介绍2.特性2.1Profiles环境配置一般来说开发、测试、生产环境都是不同的,此时应用程序可能需要不同配置,而SpringBoot支持Profiles环境配置。通过创建不同的配置文件(如application-dev.yml、app
venv 文件夹的作用和使用方法
张biubiu
pythonpycharm编辑器
在代码库中发现的venv文件夹通常表示一个Python虚拟环境。这个文件夹用于管理该项目的依赖和环境设置,确保项目在独立的、隔离的环境中运行,避免与其他项目或系统全局的Python环境发生冲突。venv文件夹的作用:创建独立的环境:它包含了项目所需的Python解释器和库,而不会干扰到系统或其他项目中的环境。隔离依赖:项目中所有的包和库都被安装在venv目录中,不会影响到其他项目或全局环境。版本控
Anaconda 虚拟环境 和 Python 虚拟环境 主要的区别
张biubiu
python开发语言
在PyCharm中配置Anaconda虚拟环境和Python虚拟环境主要的区别在于环境的管理方式和用途。下面我会分别解释这两种虚拟环境的特点,并说明它们的差异。1.Anaconda虚拟环境Anaconda是一个针对数据科学、机器学习等应用领域优化的Python发行版,它提供了Python、R和大量的科学计算和数据处理包(如NumPy、Pandas、SciPy、Matplotlib等)的集成,且方便
登录ChatGPT的时候总是卡在“验证你是人类”
张biubiu
chatgpt
登录Chatgpt时总是验证是不是真人,用了网上的三种方法,还是没有解决,最后把电脑连上手机热点,就可以成功使用Chatgpt。网上比较常用的解决办法(以谷歌浏览器为例)切换无痕浏览清除所有cookie。(Ctrl+Shift+Delete)。会提示清除多久的,是24小时之内的,还是一周之内的等等等。更换科学上网节点。((软件的代理位置))如果上面三个都不行的话,建议关闭防火墙试试。关闭防火墙。最
利用opencv库对视频文件进行裁剪
断眉的派大星
opencv人工智能计算机视觉目标检测
利用opencv库对视频文件进行裁剪逐帧裁剪视频。隔帧裁剪。将不同文件夹中的图片,整合到同一个文件夹中并重新命名排序逐帧裁剪视频。importtorchimportcv2importargparseimportosdefparse_args():"""Parseinputarguments"""parser=argparse.ArgumentParser(description='Processp
对于规范和实现,你会混淆吗?
yangshangchuan
HotSpot
昨晚和朋友聊天,喝了点咖啡,由于我经常喝茶,很长时间没喝咖啡了,所以失眠了,于是起床读JVM规范,读完后在朋友圈发了一条信息:
JVM Run-Time Data Areas:The Java Virtual Machine defines various run-time data areas that are used during execution of a program. So
android 网络
百合不是茶
网络
android的网络编程和java的一样没什么好分析的都是一些死的照着写就可以了,所以记录下来 方便查找 , 服务器使用的是TomCat
服务器代码; servlet的使用需要在xml中注册
package servlet;
import java.io.IOException;
import java.util.Arr
[读书笔记]读法拉第传
comsci
读书笔记
1831年的时候,一年可以赚到1000英镑的人..应该很少的...
要成为一个科学家,没有足够的资金支持,很多实验都无法完成
但是当钱赚够了以后....就不能够一直在商业和市场中徘徊......
随机数的产生
沐刃青蛟
随机数
c++中阐述随机数的方法有两种:
一是产生假随机数(不管操作多少次,所产生的数都不会改变)
这类随机数是使用了默认的种子值产生的,所以每次都是一样的。
//默认种子
for (int i = 0; i < 5; i++)
{
cout<<
PHP检测函数所在的文件名
IT独行者
PHP函数
很简单的功能,用到PHP中的反射机制,具体使用的是ReflectionFunction类,可以获取指定函数所在PHP脚本中的具体位置。 创建引用脚本。
代码:
[php]
view plain
copy
// Filename: functions.php
<?php&nbs
银行各系统功能简介
文强chu
金融
银行各系统功能简介 业务系统 核心业务系统 业务功能包括:总账管理、卡系统管理、客户信息管理、额度控管、存款、贷款、资金业务、国际结算、支付结算、对外接口等 清分清算系统 以清算日期为准,将账务类交易、非账务类交易的手续费、代理费、网络服务费等相关费用,按费用类型计算应收、应付金额,经过清算人员确认后上送核心系统完成结算的过程 国际结算系
Python学习1(pip django 安装以及第一个project)
小桔子
pythondjangopip
最近开始学习python,要安装个pip的工具。听说这个工具很强大,安装了它,在安装第三方工具的话so easy!然后也下载了,按照别人给的教程开始安装,奶奶的怎么也安装不上!
第一步:官方下载pip-1.5.6.tar.gz, https://pypi.python.org/pypi/pip easy!
第二部:解压这个压缩文件,会看到一个setup.p
php 数组
aichenglong
PHP排序数组循环多维数组
1 php中的创建数组
$product = array('tires','oil','spark');//array()实际上是语言结构而不 是函数
2 如果需要创建一个升序的排列的数字保存在一个数组中,可以使用range()函数来自动创建数组
$numbers=range(1,10)//1 2 3 4 5 6 7 8 9 10
$numbers=range(1,10,
安装python2.7
AILIKES
python
安装python2.7
1、下载可从 http://www.python.org/进行下载#wget https://www.python.org/ftp/python/2.7.10/Python-2.7.10.tgz
2、复制解压
#mkdir -p /opt/usr/python
#cp /opt/soft/Python-2
java异常的处理探讨
百合不是茶
JAVA异常
//java异常
/*
1,了解java 中的异常处理机制,有三种操作
a,声明异常
b,抛出异常
c,捕获异常
2,学会使用try-catch-finally来处理异常
3,学会如何声明异常和抛出异常
4,学会创建自己的异常
*/
//2,学会使用try-catch-finally来处理异常
getElementsByName实例
bijian1013
element
实例1:
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/x
探索JUnit4扩展:Runner
bijian1013
java单元测试JUnit
参加敏捷培训时,教练提到Junit4的Runner和Rule,于是特上网查一下,发现很多都讲的太理论,或者是举的例子实在是太牵强。多搜索了几下,搜索到两篇我觉得写的非常好的文章。
文章地址:http://www.blogjava.net/jiangshachina/archive/20
[MongoDB学习笔记二]MongoDB副本集
bit1129
mongodb
1. 副本集的特性
1)一台主服务器(Primary),多台从服务器(Secondary)
2)Primary挂了之后,从服务器自动完成从它们之中选举一台服务器作为主服务器,继续工作,这就解决了单点故障,因此,在这种情况下,MongoDB集群能够继续工作
3)挂了的主服务器恢复到集群中只能以Secondary服务器的角色加入进来
2
【Spark八十一】Hive in the spark assembly
bit1129
assembly
Spark SQL supports most commonly used features of HiveQL. However, different HiveQL statements are executed in different manners:
1. DDL statements (e.g. CREATE TABLE, DROP TABLE, etc.)
Nginx问题定位之监控进程异常退出
ronin47
nginx在运行过程中是否稳定,是否有异常退出过?这里总结几项平时会用到的小技巧。
1. 在error.log中查看是否有signal项,如果有,看看signal是多少。
比如,这是一个异常退出的情况:
$grep signal error.log
2012/12/24 16:39:56 [alert] 13661#0: worker process 13666 exited on s
No grammar constraints (DTD or XML schema).....两种解决方法
byalias
xml
方法一:常用方法 关闭XML验证
工具栏:windows => preferences => xml => xml files => validation => Indicate when no grammar is specified:选择Ignore即可。
方法二:(个人推荐)
添加 内容如下
<?xml version=
Netty源码学习-DefaultChannelPipeline
bylijinnan
netty
package com.ljn.channel;
/**
* ChannelPipeline采用的是Intercepting Filter 模式
* 但由于用到两个双向链表和内部类,这个模式看起来不是那么明显,需要仔细查看调用过程才发现
*
* 下面对ChannelPipeline作一个模拟,只模拟关键代码:
*/
public class Pipeline {
MYSQL数据库常用备份及恢复语句
chicony
mysql
备份MySQL数据库的命令,可以加选不同的参数选项来实现不同格式的要求。
mysqldump -h主机 -u用户名 -p密码 数据库名 > 文件
备份MySQL数据库为带删除表的格式,能够让该备份覆盖已有数据库而不需要手动删除原有数据库。
mysqldump -–add-drop-table -uusername -ppassword databasename > ba
小白谈谈云计算--基于Google三大论文
CrazyMizzz
Google云计算GFS
之前在没有接触到云计算之前,只是对云计算有一点点模糊的概念,觉得这是一个很高大上的东西,似乎离我们大一的还很远。后来有机会上了一节云计算的普及课程吧,并且在之前的一周里拜读了谷歌三大论文。不敢说理解,至少囫囵吞枣啃下了一大堆看不明白的理论。现在就简单聊聊我对于云计算的了解。
我先说说GFS
&n
hadoop 平衡空间设置方法
daizj
hadoopbalancer
在hdfs-site.xml中增加设置balance的带宽,默认只有1M:
<property>
<name>dfs.balance.bandwidthPerSec</name>
<value>10485760</value>
<description&g
Eclipse程序员要掌握的常用快捷键
dcj3sjt126com
编程
判断一个人的编程水平,就看他用键盘多,还是鼠标多。用键盘一是为了输入代码(当然了,也包括注释),再有就是熟练使用快捷键。 曾有人在豆瓣评
《卓有成效的程序员》:“人有多大懒,才有多大闲”。之前我整理了一个
程序员图书列表,目的也就是通过读书,让程序员变懒。 程序员作为特殊的群体,有的人可以这么懒,懒到事情都交给机器去做,而有的人又可以那么勤奋,每天都孜孜不倦得
Android学习之路
dcj3sjt126com
Android学习
转自:http://blog.csdn.net/ryantang03/article/details/6901459
以前有J2EE基础,接触JAVA也有两三年的时间了,上手Android并不困难,思维上稍微转变一下就可以很快适应。以前做的都是WEB项目,现今体验移动终端项目,让我越来越觉得移动互联网应用是未来的主宰。
下面说说我学习Android的感受,我学Android首先是看MARS的视
java 遍历Map的四种方法
eksliang
javaHashMapjava 遍历Map的四种方法
转载请出自出处:
http://eksliang.iteye.com/blog/2059996
package com.ickes;
import java.util.HashMap;
import java.util.Iterator;
import java.util.Map;
import java.util.Map.Entry;
/**
* 遍历Map的四种方式
【精典】数据库相关相关
gengzg
数据库
package C3P0;
import java.sql.Connection;
import java.sql.SQLException;
import java.beans.PropertyVetoException;
import com.mchange.v2.c3p0.ComboPooledDataSource;
public class DBPool{
自动补全
huyana_town
自动补全
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml&quo
jquery在线预览PDF文件,打开PDF文件
天梯梦
jquery
最主要的是使用到了一个jquery的插件jquery.media.js,使用这个插件就很容易实现了。
核心代码
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.
ViewPager刷新单个页面的方法
lovelease
androidviewpagertag刷新
使用ViewPager做滑动切换图片的效果时,如果图片是从网络下载的,那么再子线程中下载完图片时我们会使用handler通知UI线程,然后UI线程就可以调用mViewPager.getAdapter().notifyDataSetChanged()进行页面的刷新,但是viewpager不同于listview,你会发现单纯的调用notifyDataSetChanged()并不能刷新页面
利用按位取反(~)从复合枚举值里清除枚举值
草料场
enum
以 C# 中的 System.Drawing.FontStyle 为例。
如果需要同时有多种效果,
如:“粗体”和“下划线”的效果,可以用按位或(|)
FontStyle style = FontStyle.Bold | FontStyle.Underline;
如果需要去除 style 里的某一种效果,
Linux系统新手学习的11点建议
刘星宇
编程工作linux脚本
随着Linux应用的扩展许多朋友开始接触Linux,根据学习Windwos的经验往往有一些茫然的感觉:不知从何处开始学起。这里介绍学习Linux的一些建议。
一、从基础开始:常常有些朋友在Linux论坛问一些问题,不过,其中大多数的问题都是很基础的。例如:为什么我使用一个命令的时候,系统告诉我找不到该目录,我要如何限制使用者的权限等问题,这些问题其实都不是很难的,只要了解了 Linu
hibernate dao层应用之HibernateDaoSupport二次封装
wangzhezichuan
DAOHibernate
/**
* <p>方法描述:sql语句查询 返回List<Class> </p>
* <p>方法备注: Class 只能是自定义类 </p>
* @param calzz
* @param sql
* @return
* <p>创建人:王川</p>
* <p>创建时间:Jul